$\begin {array} {1 1} (A) \; equivalent \;to \;p \leftrightarrow q \\ (B) \; equivalent \;to\; \sim p \leftrightarrow q \\ (C) \; a \;tautology \\ (D)\; a\; fallacy \end {array}$