Binary Logical Connective is Self-Inverse iff Exclusive Or

Source Work

 * Chapter $2$: Propositional Calculus
 * $2.1$. Boolean Operations
 * $2.1$. Boolean Operations

Mistake
Let $\circ$ be a binary logical connective.

Then:
 * $\left({p \circ q}\right) \circ q \dashv \vdash p$

iff $\circ$ is the exclusive or operator.