Question

Что такое выполнимая формула. (Алгебра высказываний)

Answer 1

Выполнимые формулы - это особый класс формул, которые принимают значения “истина” или “ложь” в зависимости от значений пропозициональных переменных.

Answer 2

Можно поподробнее?

Answer 3

Формула алгебры высказываний F(xi) называется выполнимой (опровержимой), если она хотя бы один раз принимает значение истины (лжи) при каком-либо наборе значений переменных хi, входящих в нее.