21
Boolean Algebra Theorems
x · 0 = 0
x · 1 = x
x · x = x
x · x = 0
x + 0 = x
x + 1 = 1
x + x = x
x + x = 1
Single variable
x + y = y + x
x · y = y · x
x + (y + z) = (x + y) + z = x + y + z
x (yz) = (xy)z = xyz
x(y + z) = xy + xz
(w + x)(y + z) = wy + xy + wz + xz
x + xy = x
x + xy = x + y
Multiple variables