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

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