Which of the following logical expressions is a tautology?
P∧¬PP \land \neg PP∧¬P
P∨¬PP \lor \neg PP∨¬P
P→¬PP \rightarrow \neg PP→¬P
P↔¬PP \leftrightarrow \neg PP↔¬P