Which expression is a contradiction?
P∨¬PP \lor \neg PP∨¬P
P∧¬PP \land \neg PP∧¬P
P→PP \rightarrow PP→P
P↔PP \leftrightarrow PP↔P