Является ли высказывание тождественно истинным (тавтологией), или тождественно ложным (противоречием), или не тем и не другим:

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

P ∨ Q & P ⇒ Q;