1.1 Prawa algebry Boole'a
Prawo przemienności
A + B = B + A czyli A or B = B or A
AB = BA czyli A and B = B and A
Prawo łączności
(A + B) + C = A + (B + C) czyli (A or B ) or C = A or ( B or C )
(AB)C = A(BC) czyli (A and B) and C = A and (B and C)
Prawo rozdzielności
A(B + C) = AB + AC czyli A and ( B or C) = (A and B) or (A and C)
A + (BC) = (A + B)(A + C) czyli A or ( B and C) = (A or B) and (A or C)
Twierdzenie 4
A + A = A czyli A or A = A
AA = A czyli A and A = A
Twierdzenie 5
znak ¬ to negacja.
AB + A¬B = A czyli (A and B) or (A and not(B))
(A + B) (A + ¬B) = A czyli (A or B) and (A or not(B)) = A
Prawo Absorbcji
A + AB = A czyli A or (A and B) = A
A(A+B) = A czyli A and (A or B) = A
Twierdzenie 7
0 + A = A czyli 0 or A = A
0A = 0 czyli 0 and A = A
Twierdzenie 8
1 + A = A czyli 1 or A = A
1A = A czyli 1 and A = A
Prawo pochłaniania
¬A + A = 1 czyli not(A) or A = 1
¬AA = 0 czyli (not(A) and A) = 0
Twierdzenie 10
A + ¬AB = A + B czyli A or (not(A) and B) = A or B
A(¬A + B ) = AB czyli A and (not(A) or B) = A and B
Prawa de Morgana
¬(a + b) = ¬a¬b czyli not(A or B) = not(A) and not(B)
¬(AB) = ¬A or ¬B czyli not(A and B) = not(A) or not(B)