Exclusive Or is Negation of Biconditional

Theorem
Exclusive or is commutative:


 * $p \oplus q \dashv \vdash \neg \left({p \iff q}\right)$