NOT
|
|
AND
0 and 0 = 00 and 1 = 01 and 0 = 01 and 1 = 1
|
OR
0 or 0 = 00 or 1 = 11 or 0 = 11 or 1 = 1
|
Associative law
(X and Y) and C = X and (Y and C) = X and Y and C(X or Y) or C = X or (Y or C) = X or Y or C
|
Distributive law
X and (Y or C) = (X and Y) or (X and C)X or (Y and C) = (X or Y) and (X or C)
|
Commutative law
X and Y = Y and XX or Y = Y or X
|
DeMorgan's Theorem
not(X and Y) = not(X) or not(Y)not(X or Y) = not(X) and not(Y)
|
|
|
