Determine which of these propositional forms is a contradiction.
P∨¬PP \lor \neg PP∨¬P
P∧¬PP \land \neg PP∧¬P
(P ⟹ Q) ⟺ (¬Q ⟹ ¬P)(P \implies Q) \iff (\neg Q \implies \neg P)(P⟹Q)⟺(¬Q⟹¬P)
(P∧(P ⟹ Q)) ⟹ Q(P \land (P \implies Q)) \implies Q(P∧(P⟹Q))⟹Q