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

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

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