Exclusive Or with Contradiction

Theorem
An exclusive or with a contradiction:


 * $p \oplus \bot \dashv \vdash p$