Absorption Laws (Boolean Algebras)

Theorem
Let $\left({S, \vee, \wedge}\right)$ be a Boolean algebra, defined as in Definition 1.

Then for all $a, b \in S$:


 * $a = a \vee \left({a \wedge b}\right)$
 * $a = a \wedge \left({a \vee b}\right)$

That is, $\vee$ absorbs $\wedge$, and $\wedge$ absorbs $\vee$.

Proof
Let $a, b \in S$.

Then:

as desired.

The result:


 * $a = a \wedge \left({a \vee b}\right)$

follows from the Duality Principle.