Cancellation of Meet in Boolean Algebra

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

Let $a, b, c \in S$.

Let:

Then:
 * $a = b$

Proof
Follows from Cancellation of Join in Boolean Algebra through the Duality Principle

Also see

 * Cancellation of Join in Boolean Algebra