Aksjomaty algebry Boole’a
koniunkcja 0 = 1 |
(9) |
alternatywa T = 0 |
(14) |
o II o X |
(10) |
x + 0 = x |
(15) |
x ■ 1 — X |
(U) |
x + l = 1 |
(16) |
X ■ X = X |
(12) |
X + X = X |
(17) |
X XI II o |
(13) |
X + x = 1 |
(18) |
Prawo |
i przemienności | ||
L ' X2 = X2 ■ Xi |
(19) |
Xi+X2—X2 + Xi |
(20) |
Prawo łączności
xi • (x2 ■ x3) = (x2 ■ xi) ■ x3 (21) xt + (x2 + x3) = (x2+x3)+x3 (22)