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 |