**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:**