| (1) | x + 0 = x | (2) | x * 0 = 0 |
| (3) | x + 1 = 1 | (4) | x * 1 = x |
| (5) | x + x = x | (6) | x * x = x |
| (7) | x + x' = 1 | (8) | x * x' = 0 |
| (9) | x + y = y + x | (10) | xy = yx |
| (11) | x + (y + z) = (x + y) + z | (12) | x(yz) = (xy)z |
| (13) | x(y + z) = xy + xz | (14) | x + yz = (x + y)(x + z) |
| (15) | (x + y)' = x'y' | (16) | (xy)' = x' + y' |
| (17) | (x')' = x | - | - |