Seminar 5

Algebr booleana

Se numete algebr boolean un 4-uplu M, M = <M, , , ~ >, format din orice mulime nevid
M (suportul algebrei), dou operaii binare , : M M M i o operaie unar
~ : M M, care satisfac condiiile (legile):
1) x y = y x
comutativitate (a lui )
2) (x y) z = x (y z)
asociativitate (a lui )
3) x (y z) = (x y) (x z)
distributivitate (a lui fa de )
4) (x y) y = y
absorbie
5) (x (~x)) y = y
legea contradiciei
i respectiv
1) x y = y x.
comutativitate (a lui )
2) (x y) z = x (y z)
asociativitate (a lui )
3) x (y z) = (x y) (x z)
distributivitate (a lui fa de )
4) (x y) y = y
absorbie
5) (x (~x)) y = y
legea tautologiei

Exerciii
1. Demonstrai legile absorbiei, contradiciei i tautologiei folosind tabele de adevr.

Proprieti ale algebrelor booleene

6) x = x
7) x x = 0
8) xx = x
9) x0 = 0
10) x1 = x
11) x1x2xn = 0 dac i numai dac exist
i[n] astfel nct xi = 0 (oricare ar fi n 2 i
oricare ar fi x1, x2, ..., xn B)
12) x1x2xn = 1 dac i numai dac pentru
fiecare i[n] avem xi = 1 (oricare ar fi n 2
i oricare ar fi x1, x2, ..., xn B)
Legile lui de Morgan
13) x1 x 2 ... x n = x1 + x 2 +...+ x n (oricare ar fi
n 2 i oricare ar fi x1, x2, ..., xn B)

6) x = x
7) x + x = 1
8) x + x = x
9) x + 1 = 1
10) x + 0 = x
11) x1 + x2 + + xn = 1 dac i numai dac
exist i[n] astfel nct xi = 1 (oricare ar fi
n 2 i oricare ar fi x1, x2, ..., xn B)
12) x1 + x2 + + xn = 0 dac i numai dac
pentru fiecare i[n] avem xi = 0 (oricare ar fi
n 2 i oricare ar fi x1, x2, ..., xn B)
13) x1 + x 2 +...+ x n = x1 x 2 ... x n (oricare ar fi
n 2 i oricare ar fi x1, x2, ..., xn B)

Exerciii
1. Scriei legile lui de Morgan pentru n = 2 si n = 3.
2. Demonstrai fr a utiliza tabele de adevr urmtoarele egaliti:
a. x(x + y) = x
b. x + xy = x
c. x + x y = x + y
d. x + xy = x + y
e. x( x + y) = xy
f. x (x + y) = x y
g. x(x + y)( x + y) = (x + xy )y
Notaii.
Definiie. Se numete termen n-ar orice produs

t = xi 1 xi 2 ... xi

, unde 0 k n, 1, 2, ... , k B i 1 i1 < i2 < ... < ik n.

Se numete max-termen un termen pentru care k = n. Prin dualizarea definiiei de mai sus se
obin noiunile de factor i maxfactor.

Teorema de descompunere n sum de termeni

Pentru fiecare n N*, f FB(n) i fiecare k [n], avem:

f(x1 , x 2 ,..., x n ) =

1 , 2 ,..., k B

x11 x2 2 ... xk k f(1 , 2 ,..., k , x k+1 ,..., x n )

oricare ar fi x1, x2, ... , xn B.

Exerciii
1. Enunai teorema de descompunere n sum de termeni pentru n = 3 i k = 2, respectiv n =
k = 2.
2. S se construiasc tabelul de adevr i apoi s se gseasc FNDP, FNCP i BDD redus
pentru funciile:
a.
b.
c. x + xyz