Which of the following logical formulas are tautologies?
p∨¬pp \lor \neg pp∨¬p
p∧¬pp \land \neg pp∧¬p
(p∧(p→q))→q(p \land (p \rightarrow q)) \rightarrow q(p∧(p→q))→q
p→(p∨q)p \rightarrow (p \lor q)p→(p∨q)