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