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

Выполнимая формула — это формула алгебры высказываний, для которой можно подобрать такие значения переменных «истина» или «ложь», что вся формула окажется истинной.

Например, формула \(p\lor\neg p\) выполнима, потому что она истинна при любом значении \(p\).

Формула \(p\land\neg p\) невыполнима: она не может быть истинной ни при каком значении \(p\).

0 0 Пожаловаться