Bazele Tehnologiei Informaţiei

Curs 8

Prof. dr. Răzvan Daniel Zota

Facultatea de Cibernetică, Statistică şi Informatică Economică
ASE Bucureşti
zota@ase.ro
http://zota.ase.ro/bti

Jan 3, 2021 1
 Forme de reprezentare ale functiilor booleene

Forme canonice:
 Forma minterm (FCD – forma canonica disjunctiva) – SUMA de
produse – variabilele sau complementele lor in cadrul unui mintermen
sunt legate prin operatia booleana ŞI, iar mintermenii sunt legati prin
operatia booleana SAU.
 Forma maxterm (FCC – forma canonica conjunctiva) – PRODUS de
sume – variabilele sau complementele lor in cadrul unui maxtermen sunt
legate prin operatia booleana SAU, iar maxtermenii sunt legati prin
operatia booleana ŞI.

Reprezentare grafica cu ajutorul diagramelor Venn

Jan 3, 2021 2
 Mintermeni/maxtermeni pentru o functie de 2 variabile
booleene

Functie de 2 variabile

x y Mintermeni Maxtermeni
mi Mi
0 0 m0  x y M0  x  y

0 1 m1  x y M1  x  y

1 0 m2  x y M2  x  y

1 1 m3  xy M3  x  y

Jan 3, 2021 3
 Mintermeni/maxtermeni pentru o functie de 3 variabile
booleene

Functie de 3 variabile

x y z Mintermeni Maxtermeni
mi Mi

0 0 0 m0  x y z M0  x  y  z
0 0 1 m1  x yz M1  x  y  z
0 1 0 m2  x y z M2  x  y  z
0 1 1 m3  x yz M3  x  y  z
1 0 0 m4  x y z M4  x  y  z
1 0 1 m5  x yz M5  x  y  z
1 1 0 m6  xy z M6  x  y  z
1 1 1 m7  xyz M7  x  y  z
Jan 3, 2021 4
 Proprietati mintermeni/maxtermeni

Mintermenii sunt formati din combinatia variabilelor sau a

complementelor lor pentru care functia are valoarea 1.
Maxtermenii sunt formati din combinatia variabilelor sau a
complementelor lor pentru care functia are valoarea 0.

mi  M i
M i  m i , i

Jan 3, 2021 5
 Proprietati mintermeni/maxtermeni (cont.)

P1. Produsul logic intre doi termeni mi si mj (i # j) al unei functii

booleene de n variabile este egal cu 0:
mi  m j  0, i  j

P2. Suma logica dintre doi termeni Mi si Mj (i # j) al unei functii

booleene de n variabile este egal cu 1:

M i  M j  1, i  j

Jan 3, 2021 6
 Proprietati mintermeni/maxtermeni (cont.)

P3. O functie booleana de n variabile poate fi reprezentata printr-o suma

logica de mintermeni mi (respectiv un produs logic de maxtermeni Mi)
sub forma:
2 n 1
f ( x1 , , xn )  (
i 0
i  mi )

2 n 1
f ( x1 , , xn )  ( i  M i ), i   0,1 - numere caracteristice
i 0

Jan 3, 2021 7
 Proprietati mintermeni/maxtermeni (cont.)

P4. Complementul unei functii booleene de n variabile scrise in FCC

poate fi exprimat in mod unic prin relatia:
2 n 1
f ( x1 ,  , xn )  (
i 0
i  mi )
iar complementul unei functii booleene de n variabile
scrise in FCD poate fi exprimat in mod unic prin :
2 n 1
f ( x1 ,  , xn )  ( i  M i ), i   0,1
i 0

Jan 3, 2021 8
 Proprietati mintermeni/maxtermeni (cont.)

P5. Daca o functie booleana de n variabile este scrisa in FCD si contine

2n termeni distincti de n variabile atunci ea este egala cu 1.
In aceleasi conditii, daca functia este scrisa in FCC, atunci ea este egala
cu 0.
2 n 1
f ( x1 , , xn )  m i  1 (FCD)
i 0

2 n 1
f ( x1 , , xn )  M i  0 (FCC)
i 0

Jan 3, 2021 9
 Proprietati mintermeni/maxtermeni (cont.)

P6. Orice mintermen mi al unei functii booleene de n variabile scrise in

FCD este egal cu produsul logic a 2n-1 termeni Mj, respectiv orice
maxtermen Mi al unei functii booleene de n variabile scrisa in FCC este
egal cu suma logica a 2n-1 termeni mj:

mi  M j , j  0  2 n  1
j i

M i  m j , j  0  2 n  1
j i

Jan 3, 2021 10
 Functii booleene de 2 variabile

Pentru o functie de 2 variabile avem urmatoarele forme canonice:

f ( x, y )   0 m0  1m1   2 m2   3m3 (FCD)

f ( x, y )  ( 0  M 0 )(1  M 1 )( 2  M 2 )( 3  M 3 )(FCC)

De aici rezulta 16 functii de doua variabile, in forma cu

mintermeni/maxtermeni, din cele 16 combinatii posibile pentru
( 0 , 1 ,  2 ,  3 )

Jan 3, 2021 11
 Functii booleene de 2 variabile

Functia Simbol Denumire

F_0 0 FALSE
F_1 A∩B AND
F_2 A ∩ !B A AND NOT B
F_3 A A
F_4 !A ∩ B NOT A AND B
F_5 B B
F_6 A xor B XOR
F_7 AUB OR
F_8 A nor B NOR
F_9 A XNOR B XNOR
F_(10) !B NOT B
F_(11) A U !B A OR NOT B
F_(12) !A NOT A
F_(13) !A U B NOT A OR B
F_(14) A nand B NAND
F_(15) 1 TRUE

Jan 3, 2021 12
 Funcţiile booleene de 2 variabile

f 0  0  functia ZERO (FALSE)

f1  xy  functia SI
f 2  x y  functia INHIBARE
f 3  x  functia IDENTITATE
f 4  x y  functia INHIBARE
f 5  y  functia IDENTITATE
f 6  x y  x y  functia SAU - EXCLUSIV(XOR)
f 7  x  y  functia SAU (SAU - INCLUSIV)

Jan 3, 2021 13
 Funcţiile booleene de 2 variabile (cont.)

f 8  x  y  x y  functia SAU - NU (NOR)

f 9  x y  xy  functia COINCIDENTA
f10  y  functia NU
f11  x  y  functia IMPLICARE
f12  x  functia NU
f13  x  y  functia IMPLICARE
f14  x  y  x  y  functia SI - NU (NAND)
f15  1  functia UNU (TRUE)

Jan 3, 2021 14
 Dezvoltarea unei functii booleene

Fie functia : f ( x, y, z )  x  y z
Sa se aduca la FCD.
f(x,y,z)  x(y  y )  y z(x  x )  x y  x y  xy z  x y z 
x y(z  z )  x y(z  z )  xy z  x y z  x yz  x y z  x yz  x y z  xy z  x y z 
m0  m1  m2  m3  m6

Jan 3, 2021 15