Determine the truth value of the formula (P ⟹ Q)∧(P∧¬Q)(P \implies Q) \land (P \land \neg Q)(P⟹Q)∧(P∧¬Q) for any P,QP, QP,Q.
Tautology
Contradiction
Contingent
True only if PPP is false