Let p and q be two statements. Then,$(~\mathrm{p}\vee \mathrm{q})\wedge (~\mathrm{p}\wedge ~\mathrm{q})$ is

• A

  tautology

• B

  contradiction

• C

  neither tautology nor contradiction

• D

  both tautology and contradiction