Which of the following is a tautology (always true)?
P∨¬PP \lor \neg PP∨¬P
P∧¬PP \land \neg PP∧¬P
P→(P∧Q)P \to (P \land Q)P→(P∧Q)
¬(P∨Q)\neg(P \lor Q)¬(P∨Q)