Non-Equivalence as Equivalence with Negation/Formulation 2

Theorem

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