Question: The statement $(\mathrm{p} \rightarrow(\mathrm{q} \rightarrow \mathrm{p})) \rightarrow(\mathrm{p} \rightarrow(\mathrm{p} \vee \mathrm{q}))$ is:
a contradiction
equivalent to $(p \wedge q) \vee(\sim q)$
a tautology
equivalent to $(p \vee q) \wedge(\sim p)$
Correct Option: , 3
Solution:
