Which of the following is true for any two statements p and q? 

• A

  $~[p\vee (~q\left)\right]\equiv (~p)\wedge q$

• B

  $(p\vee q)\vee (~p)\wedge q$

• C

  $(p\wedge q)\wedge (~q)\text{ is a contradiction }$

• D

  $~[p\wedge (~p\left)\right]\text{ is a tautology }$