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)