Which of these is a contradiction?
P∨¬PP \lor \neg PP∨¬P
P∧¬PP \land \neg PP∧¬P
P ⟹ PP \implies PP⟹P
P ⟺ PP \iff PP⟺P