Cancellation of Join in Boolean Algebra

Theorem
Let $\struct {S, \vee, \wedge, \neg}$ be a Boolean algebra.

Let $a, b, c \in S$, and suppose that:

Then $a = b$.

Proof
Hence the result.

Also see

 * Cancellation of Meet in Boolean Algebra