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