The statement $(\mathrm{p}\to (\mathrm{q}\to \mathrm{p}\left)\right)\to (\mathrm{p}\to (\mathrm{p}\vee \mathrm{q}\left)\right)$ is

• A

  equivalent to $(\mathrm{p}\wedge \mathrm{q})\vee (~\mathrm{q})$

• B

  a contradiction 

• C

  equivalent to $(\mathrm{p}\vee \mathrm{q})\wedge (~\mathrm{p})$

• D

  a tautology