Exclusive Or with Contradiction

Theorem
An exclusive or with a contradiction:
 * $p \oplus \bot \dashv \vdash p$