Axioms and theorems of Boolean algebra
identity 1. X + 0 = X 1D. X • 1 = X
null 2. X + 1 = 1 2D. X • 0 = 0
idempotency: 3. X + X = X 3D. X • X = X
complementarity: 5. X + X' = 1 5D. X • X' = 0
commutativity: 6. X + Y = Y + X 6D. X • Y = Y • X
associativity: 7. (X + Y) + Z = X + (Y + Z) 7D. (X • Y) • Z = X • (Y • Z)