Exclusive Or is Negation of Biconditional

Theorem
Exclusive or is equivalent to the negation of the biconditional:


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