Условие задачи
Составить таблицы истинности для следующих формул и указать, какие из формул являются выполнимыми, какие опровержимыми, какие тождественно истинными (тавтологиями), а какие тождественно ложными (противоречиями):
2) (Р∧(Q ∨ ¨P))∧((¨Q ⇒ P) ∨ Q)
Ответ
Составим таблицу истинности для формулы
(Р(Q P))((Q P) Q)