| 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 |