Boolean Identities
After Null & Lobur, The Essentials of Computer Organization and
Architecture, Jones and Bartlett, 2003
| Identity Name | AND Form | OR Form |
|---|---|---|
| Identity | 1A = A | 0+A = A |
| Null (or Dominance) Law | 0A = 0 | 1+A = 1 |
| Idempotence Law | AA = A | A+A = A |
| Inverse Law | AA = 0 | A+A = 1 |
| Commutative Law | AB = BA | A+B = B+A |
| Associative Law | (AB)C = A(BC) | (A+B)+C = A+(B+C) |
| Distributive Law | A+BC = (A+B)(A+C) | A(B+C) = AB+AC |
| Absorption Law | A(A+B) = A | A+AB = A |
| DeMorgan's Law | (AB) = A+B | (A+B) = A B |
| Double Complement Law | = A = A |
|