Условие:
Определить построением таблиц истинности, какие из следующих формул языка классической пропозициональной логики являются выполнимыми, противоречивыми, общезначимыми:
Решение:
Ответ
((p q) (q p))
Формула является общезначимой
((q ˅ p) (p q))
Формула является общезначимой
((q p) ˅ r)