Which of the following is not true?

(a) \((\mathrm{p} \wedge \sim \mathrm{q}) \longleftrightarrow(\mathrm{p} \rightarrow \mathrm{q})\)
\(\mathrm{x} \longleftrightarrow \mathrm{y}\) is a contradiction from table.
(b) \(\{(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{q} \rightarrow \mathrm{r})\} \rightarrow(\mathrm{p} \rightarrow \mathrm{r})\{\mathrm{y} \wedge \mathrm{z}\} \rightarrow \mathrm{w}\) \(A \rightarrow W\) is a tautology from table.
(c) \(\mathrm{p} \rightarrow(\mathrm{q} \wedge \mathrm{r}) \equiv(\mathrm{p} \rightarrow \mathrm{q}) \wedge(\mathrm{p} \rightarrow \mathrm{r})\)
\(\mathrm{p} \rightarrow \mathrm{G} \equiv \mathrm{y} \wedge \mathrm{w}\)
\((\mathrm{p} \rightarrow \mathrm{G}) \equiv \mathrm{C}\), represent logical equivalence from table.
\((d) \sim(p \longleftrightarrow q) \equiv(p \wedge \sim q) \vee(\sim p \wedge q)\)
\(F \equiv x \vee E\)
\(\mathrm{F} \equiv \mathrm{D}\), represent logical equivalence from table.