Exclusive Or as Disjunction of Conjunctions

Theorem

 * $p \oplus q \dashv \vdash \paren {\neg p \land q} \lor \paren {p \land \neg q}$