Which of these expressions represents a 'tautology'?
P∧¬PP \land \neg PP∧¬P
P∨¬PP \lor \neg PP∨¬P
P ⟹ ¬PP \implies \neg PP⟹¬P
P ⟺ ¬PP \iff \neg PP⟺¬P