De Morgan’s first law
not(A) and not(B) = not(A or B)
De Morgans second law
not(A and B) = not(A) or not(B)
X and 0
0
X and 1
X
X and X
X
X and not(X)
0
X or 0
X
X or 1
1 (book says X)
X or X
X
X or not(X)
1
not(not(X))
X
Commutative law
X and Y = Y and X
X or Y = Y or X
XY
X and Y
Associative law
X and (Y and Z) = (X and Y) and Z X or (Y or Z) = (X or Y) or Z
Distributive law
X and (Y or Z) = XY or XZ (X or Y) and (W or Z) = XW + XZ + YW + YZ