| Name | Equation(s) |
|---|---|
| Commutative | x∧y = y∧xx∨y = y∨x |
| Associative | x∧(y∧z) = x∧y∧zx∨(y∨z) = x∨y∨z |
| Distributive | x∧(y∨z) = (x∧y)∨(x∧z)x∨(y∧z) = (x∨y)(x∨z) |
| Idempotent | x∧x = xx∨x = x |
| Double negative | ¬¬x = x |
| Complementary | x∧¬x = 0x∨¬x = 1 |
| Intersection | x∧1 = xx∧0 = 0 |
| Union | x∨1 = 1x∨0 = x |
| De Morgan's | ¬(x∧y) = ¬x∨¬y¬(x∨y) = ¬x∧¬y |
| Absorption | x(x∨y) = x∨(x∧y) = x |
| Identity | x∧1 = xx∨0 = x |