| 1 | A + 0 = A | 2 | A · 1 = A | 
| 3 | A + 1 = 1 | 4 | A · 0 = 0 | 
| 5 | A + A = A | 6 | A · A = A | 
| 7 |     | 8 |     | 
| 9 |     | 
| 10 | A + B = B + A | 11 | AB = BA | Comutative | 
| 12 | A + (B + C) = (A + b) + C | 13 | A(BC) = (AB)C | Associative | 
| 14 | A(B + C) = AB + AC | 15 | A + BC = (A + B)(A + C) | Distributive | 
| 16 |     | 17 |  ![]()  | DeMorgan's |