AND Operations ()

00 10 01 11 0+0 1+0 0+1 1+1 = = = = = = = = 0 0 0 1 0 1 1 1 A0 A1 AA AA' A+0 A+1 A+A A+A' A'' = = = = = = = = 0 A A 0 A 1 A 1

OR Operations (+)

NOT Operations (')

0' = 1 1' = 0 = A

Associative Law
(AB)C = A(BC) = ABC (A+B)+C = A+(B+C) = A+B+C

Distributive Law
A(B+C) = (AB) + (AC) A+(BC) = (A+B) (A+C)

Commutative Law
AB = BA A+B = B+A

Precedence
AB = AB AB+C = (AB) + C A+BC = A + (BC)

DeMorgan's Theorem
(AB)' = A' + B' (A+B)' = A' B' (NAND) (NOR)