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