恆等式 

X + 0 = X
X * 1 = X
X + 1 = 1
X * 0 = 0
X + X = X
X * X = X
X + X' = 1
X * X' = 0
X'' = X
X + Y = Y + X
X * Y = Y * X
X + (Y + Z) = (X + Y) + Z 
X * (Y * Z) = (X * Y) * Z
X  * (Y + Z) = X * Y + X * Z
X + (Y * Z) = (X + Y)  * (X + Z)
(X + Y)' =  X' * Y' 
(X * Y)' = X' + Y'