Teorema aljabar boolean

T₁. Communitative Law :

a.       A + B = B + A

b.      A . B = B . A

T_2. Associative Law :

a.       (A + B) + C = A + (B + C)

b.      (A . B) . C = A . (B . C)

T_3. Distributive Law :

a.       A (B + C) = A . B + A . C

b.      A + (B . C) = (A + B) . (A + C)

T_4. Identity Law :

a.       A + A = A

b.      A . A = A

T_5. Negation Law :

a.       (A’) = A

b.      (A’’) = A

T_6. Redundance Law :

a.       A + A . B = A

b.      A . (A + B) = A

T₇ :

a.       0 + A = A

b.      1 . A = A

c.       1 + A = 1

d.      0 . A = 0

T₈ :

a.       A’ + A = 1

b.      A’ . A = 0

T₉ :

a.       A + A’ . B = A + B

b.      A . (A’ + B) = A . B

T_10. De Morgan’s Theorem

 a. (A + B)' = A' . B'

 b. (A . B)' = A' + B'

 

Sumber: http://www.linksukses.com/2012/11/teorema-aljabar-boolean.html