Формула алгебры высказываний называется выполнимой, если

  • она принимает значение "Истина" при некоторых значениях входящих в нее переменных высказываний
  • она является частью выполнимой формулы
  • она является частью тождественно истинной формулы
  • при всех значениях входящих в нее переменных высказываний она принимает значение "Ложь"
Для просмотра статистики ответов нужно залогиниться.