Logical equivalent of p→(p∨q) is
~p∧~q
~p→(p∧q)
q→(p→q)
p→~q
From truth table
pqp∨qp→(p∨q)q→(p→q)TTTTTTFTTTFTTTTFFFTT