Boolean Algebra

Summary of Laws

0) Introduction

1) Axioms and Operations

2) Miscellaneous Simple Relations

3) Absorption and Simplification

4) Associativity

5) Specialization and Generalization

6) De Morgan's Law / Duality

7) Operation Identities

8) Proof Identities

9) Commutativity and Associativity Continued

10) Distributivity Continued

11) Transitivity

12) Monotonicity and Antimonotonicity

13) Consensus and Resolution

14) Miscellaneous