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