Tema: Funcii logice

Noiunea de funcie logic sau funcie boolean se definete n acelai mod ca i n

cazul algebrei clasice.
Funcia logic de n variabile y = f(x1, x2, , xn ) este o aplicaie care pune n
corespondena fiecarei din combinaii de valori ale variabilelor x1, x2, , x valoarea 0 sau 1
a variabilei y.
Variabilele x1, x2, , xn se numesc variabile independente sau argumente, iar variabila y
variabil dependent sau funcie de argumente x1 x2, , xn .
Prin urmare, domeniul de definiie al funciei y = f(x1, x2, , x n este mulimea tuturor
combinaiilor posibile
000
001

111
ale valorilor argumentelor x1, x2, , xn , n total 2 combinaii, iar domeniul valorilor funciei
logice este mulimea {0,1}.
Funciile logice pot fi definite prin tabele, formule i metode grafice.
Tabelul de adevr al funiei logice y = f(x1, x2, , x n) este un tabel care include toate
combinaiile posibile ale valorilor argumentelor x1, x2, , xn i valorilor corespunztoare
ale variabilei dependente y.
De exemplu, tabelul de adevr al unei funcii logice de 3 variabile:
X1
0
0
0
0
1
1
1
1

X2
X3
Y
0
0
1
0
1
0
1
0
1
1
1
0
0
0
1
0
1
0
1
0
0
1
1
0
Fig. 4.3. Tabelul de adevr al unei funcii logice de trei variabile

Tabelul include 8 rnduri i 2 coloane: prima pentru combinaiile posibile ale valorilor
argumentelor x1, x2, x3 i a doua pentru valorile corespunztoere ale variabilei dependente y.
Definirea funciei logice prin formule se face atribuind variabilei dependente y valorile
expresiilor logice ce conin argumentele x1, x2,, xn.
De exemplu,
1) Y=x;
2) Y=x1x2;
3) Y=x1x2Vx3;
4) Y=x1x2Vx3.
Cunoscnd formula unei funcii logice, poate fi calculate tabelul ei de adevr. De
exemplu, tabelul de edevr al funciei
Y=x1x2Vx3.
va fi cel prezentat n figura 4.3. Ca s ne convingem de aceasta, este suficient s calculm tabelul
de adevr al expresiei logice x1x2Vx3.

Funcii logice frecvent utilizate

Numrul funciilor logice posibile poate fi determinat prin urmtoarele relaii.
ntruct orice funcie logic poate fi definite cu ajutorul tabelului de adevr, numrul
funciilor posibile de n variabile coincide cu numrul tabelelor distincte de adevr.
Pentru a defeni o funcie logic, n coloan y a tabelului de adevr se indic valorile
funciei 0 sau 1 pentru fiecare din cele 2n combinaii ale valorilor argumentelor.ntruct tabelul
de adevr are 2 n , exist
m = 2 2n
funcii logice de n variabile, ce se noteaz prin yj, j=0,1,,m-1.
De exemplu, n cazul cnd n=1, exist m=22 =4 funcii logice, reprezentate n figura 4.4.
X
0
1

Y0
Y1
Y2
0
1
0
0
0
1
Fig. 4.4. Funcii logice de o singur variabil

Y3
1
1

Funciile y0 i y3 numesc funcia constanta 0 i, respectiv, constanta 1. Funcia

y1 este funcia logic NU, sau negaia iar cea rmas se numete funcia de repetare.
Pentru n=2 exist
m=24=16
Funcii logice, reprezentate n figura 4.5
X1

X2

Y0

Y1

Y2

Y3

Y4

Y5

Y6

Y7

Y8

Y9

Y1
0

Y11

0
0
1
1

0
1
0
1

0
0
0
0

1
0
0
0

0
1
0
0

1
1
0
0

0
1
0
1
0
1
0
1
1
0
1
1
0
0
1
1
1
1
1
1
0
0
0
0
0
0
0
0
1
1
1
1
Fig. 4.5. Funcii logice de dou variabile

Y1
2

Y1
3

Y1
4

Y1
5

0
0
1
1

1
0
1
1

0
1
1
1

1
1
1
1

Funciile y0 i y15 sunt funciile deja cunoscute, constanta 0 i respective 1:

Y0=f(x1,x2)=0;
Y15=f(x1,x2)=1.
Funcia y8 poate fi scris n forma:
Y8=f(x1,x2)=x1x2.
n mod firesc, funcia y8 va avea denumirea funcia logic I sau conjunctiva.
Funcia y14 poate fi scris n forma:
Y14=f(x1,x2)=x1Vx2.
Prin urmare, funcia y14 va avea denumirea funcia logic SAU sau disjuncia.
Funciile logice NU, I, SAU, induse de operatorii elementary, respectiv, -, &, V se numesc
funcii logice elementare.
Din figura 4.5. se observ c
y1 = x1 v x 2.
Funcia dat se numete funcia logic SAU NU.
Funcia
y7 = f(x1 , x2 ) = x1 x2
Funcia data se numete funcia logic I-NU.

Funcia
y9 = f(x1 , x2 ) = x1 x2 v x1 x2
are valoare 1 numai cnd x1 = x2 =0 sau x1 = x2 =1. Aceast funcie se numete funcie logic
coinciden sau echivalen i se noteaz prin simbolul =.
n continuare vom prezenta tabelele de adevr al funciilor logice NU, I, SAU, I-NU,
SAU-NU i COINCIDEN.
NU
x
0
1

x
1
0

x1
0
0
1
1

I
x2
0
1
0
1

x1
0
0
1
1

SAU
x2
0
1
0
1

x1Vx2
0
1
1
1

X1
0
0
1
1

I-NU
X2
0
1
0
1

X1X2
1
1
1
0

x1x2
0
0
0
1

SAU-NU
X1
X2
X1 V
X2
0
0
1
0
1
0
1
0
0
X1
X2
X1
=
1
1
0 X2
0
0
1
COINCIDEN
0
1
0
1
0
0
1
1
1

Exemplu
Alctuii tabelul de adevr al urmtoarei funcii logice:
Y=x1Vx2x3.
X1
0
0
0
0
1
1
1
1

X2
0
0
1
1
0
0
1
1

X3
0
1
0
1
0
1
0
1

Y
1
1
1
0
1
1
1
1