Documente Academic
Documente Profesional
Documente Cultură
CAPITOLUL 1
Bazele acestei algebre au fost puse de G. Boole n a doua jumtate a secolului al XIX lea i
fundamentate de C. Shanon n anul 1938. n Romnia studii importante n acest domeniu sau fcut
de ctre matematicianul George Moisil.
Fie M o multime nevid dar finit si dou operatii definite prin -reuniune i -
intersectie sau echivalentele lor logice (SAU)- disjuncie si ({I)-conjuncie atunci vom avea
urmtoarea definiie:
Def. 1. Se defineste termenul de latice (structur algebric) ca fiind un triplet format din
mul]imea M si cele dou operaii L=(M, ,,).
Fie A,B si C M, n cadrul laticei regsim urmtorele axiome:
Axioma 1-ABBA si ABBA pentru orice A,BM
proprietatea de comutativitate.
Axioma 2 - A(BC)= (AB) C i A(BC)= (AB) C
proprietatea de asociativitate pentru orice A,B si C.M.
Axioma 3 - A(AB)=A si A(AB)=A pentru orice A si B M.
proprietatea de absor]ie.
Axioma 4 - AA=A si AA=A pentru orice AM.
proprietatea de idempoten.
Principiul dualitii pentru latici subliniaz faptul c nlocuirea unui operator cu altul modific cele
trei axiome.
CAP.1. ELEMENTE DE ALGEBRA BOOLEANA. TEORIA SISTEMELOR DE NUMERATIE
0 1
0 0 0
1 0 1
0 1
1 0
K K = BN2
KK = si
0, x K
f (x) =
1, x K
n
Se caut numrul de funcii pentru un domeniu de n variabile binare 2 N = 2 2
Concluzie: Deoarece pentru fiecare X BN2 funcia poate lua numai valorile 0 si 1 rezult ca
n
numrul funcilor boolene distincte este finit si egal cu 2 2 .
1.3. Aplicaii.
Pe baza postulatelor algebrei booleene s se demonstreze urmatoarele identiti:
A +B+A +B = A
A + AB = A + B
A + AB = A + B
A + AB = A + B
A ( A + B) = A + AB = A
AB + AC + BC = AC + BC
A +B+A +B = A
AB + BC + CA = AB + BC + CA
A B = AB + AB = B A = A B
A 1 = 1
A0= A
( A + B)( B + C )( C + A ) = AB + BC + CA
( A + B)( A + C ) = AC + AB
AC ( B + C ) = ABC