Dwuęlementowa algebra Boole'a jest to sformalizowane uogólnienie rachunku' zdań w logice matematycznej. Algebra ta, pojmowana abstrakcyjhte, jest to uporządkowana szóstka
gdzie * = {0,1}.
2.2.1. Podstawowe aksjomaty i prawa algebry Boole’a
Działania nluehry B<>olc'a
OH |
AND |
NOT |
NOT |
NOR |
NAMI |
IMPLIKACJA |
RÓWNO I ważność! | |||
Lp. |
*1 |
•Vj |
x,+x, |
•W. |
X, |
■V, . |
jr, + .v, |
•V, -.V, |
X, —> .1*. |
x, <-> x,l |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
l |
0 |
i |
J |
0 |
1 |
0 |
0 • |
1 |
I • |
0 |
2 |
I |
0 |
i |
0 |
0 ■ |
1 |
0 |
1 |
0 |
0 / |
3 |
t |
1 |
i |
I |
0 |
0 |
0 |
0 |
1 |
ii |
Aksjomaty alacbry Bot~.le*a
s«.i 1=0
jr + l«l =
,v - 0 = .v x 0 = .v+.v= I .\*--v =
,V_= -V