Exclusive Or with Factor of Exclusive Or

From ProofWiki
Jump to navigation Jump to search

Theorem

$\paren {p \oplus q} \oplus q \dashv \vdash p$


Proof

\(\ds \paren {p \oplus q} \oplus q\) \(\dashv \vdash\) \(\ds p \oplus \paren {q \oplus q}\) Exclusive Or is Associative
\(\ds \) \(\dashv \vdash\) \(\ds p \oplus \bot\) Exclusive Or with Itself
\(\ds \) \(\dashv \vdash\) \(\ds p\) Exclusive Or with Contradiction

$\blacksquare$


Sources