Non-Equivalence as Equivalence with Negation/Formulation 1

Theorem

 * $\neg \paren {p \iff q} \dashv \vdash \paren {p \iff \neg q}$

This can be expressed as two separate theorems: