If p and q are two statements, then $(\mathrm{p}\Rightarrow \mathrm{q})\iff (~\mathrm{q}\Rightarrow \sim \mathrm{p})$ is

• A

  contradiction

• B

  tautology

• C

  neither (a) nor (b)

• D

  None of the above