Which of the following propositional formulas is a contradiction?
((P ⟹ Q) ⟹ P)∧¬P((P \implies Q) \implies P) \land \neg P((P⟹Q)⟹P)∧¬P
((P ⟹ Q) ⟹ Q)∧¬Q((P \implies Q) \implies Q) \land \neg Q((P⟹Q)⟹Q)∧¬Q
(P ⟹ (Q ⟹ P)) ⟹ ¬P(P \implies (Q \implies P)) \implies \neg P(P⟹(Q⟹P))⟹¬P
(¬P ⟹ P)∧¬P(\neg P \implies P) \land \neg P(¬P⟹P)∧¬P