Exclusive Or is Commutative/Proof 1

Theorem
Exclusive or is commutative:


 * $p \oplus q \dashv \vdash q \oplus p$