ALGEBRA BOOLEA

DEFINICJA: Niech dany bdzie niepusty zbir B, w ktrym wyrnione s dwa ele-
menty: 0, 1. W zbiorze tym okrelmy dziaania:
-sumy logicznej: +
-iloczynu logicznego: , przy czym x y xy
-dopenienia logicznego
przy czym priorytet dziaa jest nastpujcy: dopenienie przed iloczynem, iloczyn
przed sum.

Algebr Boolea nazywamy zbir B z powyszymi dziaaniami taki, e dla dowolnych

elementw x, y, z B zachodz prawa:
Prawa przemiennoci (pp)
(2.1) x + y = y + x;
(2.2) xy = yx;
Prawa cznoci (p)
(2.3) (x + y) + z = x + (y + z);
(2.4) (xy)z = x(yz);
Prawa rozdzielnoci (pr)
(2.5) x + (yz) = (x + y) (x + z);
(2.6) x (y + z) = xy + xz;
Prawa identycznoci (pid)
(2.7) x + 0 = x;
(2.8) x 1 = x;
Prawa dopenienia (pd)
(2.9) x + x = 1;
(2.10) x x = 0.

TWIERDZENIE 2.1. W kadej algebrze Boolea prawdziwe s wasnoci:

Prawa idempotentnoci (p2x)
(2.11) x + x = x;
(2.12) x x = x;
Drugie prawa identycznoci (p01)
(2.13) x + 1 = 1;
(2.14) x 0 = 0;
Prawa pochaniania (ppch)
(2.15) (x y) + x = x;
(2.16) (x + y) x = x;

TWIERDZENIE 2.2. W kadej algebrze Boolea spenione s:

Prawa de Morgana (pdM)
(2.17) x + y = x y;
(2.18) x y = x + y

1
oraz
Prawo podwjnej negacji (ppn)
(2.19) x = x.

W informatyce zwykle wykorzystuje si dwuelementow algebr Boolea, gdzie

B = {0, 1}. W przypadku takiej algebry prawdziwo rwnoci mona zweryfikowa za
pomoc tzw. metody zero-jedynkowej.

Zadanie1. Udowodni tezy twierdzenia 2.1.

a)upraszczajc wyraenia boolowskie;
b) metod 0-1.

Zadanie 2. Uproci wyraenia. Sprawdzi poprawno redukcji metod 0-1:

a) (x + y) z;

b) x (x + y);

c) x + (x y);

d) (x + y) + x;

e) x (y z);

f) (x + y)(x y);

g) (x y)(x + y);

h) x(x + xy + yz);

i) x x + y;

j) x + xyz + z;

k) (x + y) + ((y z) x);

l) (x + y)(x + y)(x + z);

m) (x + z + xy + zx) x;

n) xyz + xyz + xyz.

Zadanie 3. Wykaza ponisze rwnoci

a)upraszczajc wyraenia boolowskie;
b) metod 0-1.

1. xy + x = x + y;

2. xy z + y + (x + y) = x + y;

3. x + x y = x + y;

2
4. (xz + zx + z)z = xz;

5. (x + y)(xy) = 0;

6. xz yz + xz + x = 1.