| The Idempotent Laws | AA=A | A+A=A | ||
| The Associative Laws | (AB)C=A(BC) | (A+B)+C=A+(B+C) | ||
| The Commutative Laws | AB=BA | A+B=B+A | ||
| The Distributive Laws | A(B+C)=AB+AC | A+BC=(A+B)(A+C) | ||
| The Identity Laws | AF=F | AT=A | A+F=A | A+T=T |
| The Complement Laws | AA=F | A+A=T | F=T | T=F |
| The Involution Law | A=A | |||
| DeMorgan's Law | AB=A+B | A+B=AB |