Условие:
1) Является ли высказывание тождественно истинным (тавтологией), или тождественно ложным (противоречием), или не тем и не другим:
P ∨ Q & P ⇒ Q;

1) Является ли высказывание тождественно истинным (тавтологией), или тождественно ложным (противоречием), или не тем и не другим:
P ∨ Q & P ⇒ Q;
Упростим выражение: