Что такое выполнимая формула. (Алгебра высказываний)
Формула алгебры высказываний F(xi) называется выполнимой (опровержимой), если она хотя бы один раз принимает значение истины (лжи) при каком-либо наборе значений переменных хi, входящих в нее.
Выполнимые формулы - это особый класс формул, которые принимают значения “истина” или “ложь” в зависимости от значений пропозициональных переменных.
Можно поподробнее?