Capitolul

1
0

Capitolul 1

CAPITOLUL 1

Elemente de algebr booleean

Algebra Boole a fost conceput de ctre matematicianul englez George Boole
(1815 1864) ca o metod simbolic de tratare a funciilor logicii formale. Abia n
1938, Claude Shannon avea s o utilizeze pentru prima oar la analiza circuitelor de
comutaie.
Algebra Boole, cunoscut i sub denumirea de Algebra logic sau Calculul
propoziional, opereaz cu propoziii despre care se poate afirma c sunt adevrate
sau false. Fiecrei propoziii i se poate asocia o variabil (numit variabil logic
sau binar) care ia valoarea 1 cnd propoziia este adevrat i 0 cnd propoziia
este fals.
Exemple:
Fie un ntreruptor X cruia i asociem variabila x, fig. 1.1 a.
X

(x)
a)

(y)

b)

Fig. 1.1. Explicativ pentru propoziiile simple

a) ntreruptorul X este (nu este) acionat
b) bobina releului Y este (nu este) excitat
Propoziia "ntreruptorul X este acionat" poate fi adevrat (x=1) sau fals
(x=0).
Similar, pentru bobina de releu Y, fig. 1.1 b, se poate construi propoziia
"Bobina Y este excitat", propoziie care poate fi adevrat (y=1) sau fals (y=0).

Propoziiile pot fi simple (cazul exemplelor anterioare) sau compuse.

Propoziiile compuse sunt cele a cror valoare de adevr depinde de valoarea
de adevr a propoziiilor simple din care se compun i de tipul legturilor logice
dintre acestea.
Legturile logice (operaiile) de baz sunt prezentate n tab. 1.1.
Se observ c denumirile i simbolurile operaiilor logice difer de la un
domeniu la altul. n cele ce urmeaz, vom utiliza aproape exclusiv notaiile din
matematic.

Elemente de algebr booleean

Tab. 1.1. Denumirea i simbolizarea operaiilor de baz

Matematic
Prima lege de compoziie
(suma logic)
x1+ x2
A doua lege de compoziie
(produsul logic)
x1 x2
Elementul invers

Logic

Tehnic

Disjuncie
x1 x2
Conjuncie
x1 x2

SAU (OR)
x1 x2
I (AND)
x1 x2

Negaie
x

NU (NOT)

Propoziia compus poart numele de funcie logic sau funcie binar i ia

valoarea logic 1 cnd este adevrat i 0 cnd este fals.
Funcia logic este complet definit cu ajutorul unui tabel finit (tabel de
adevr) avnd n primele coloane valorile logice ale propoziiilor simple
(considerate independente) i n ultima coloan - valorile logice ale funciei, obinute
prin aplicarea operaiilor logice asupra valorilor logice corespunztoare ale
propoziiilor simple.

1.1. Funcii logice elementare

Pornind de la expresia general a unei funcii de n variabile binare,
y = f (x1, x2, ..., xn),
(1.1)
observm c numrul total de termeni care se pot construi cu ajutorul celor n
variabile binare este m = 2n, iar numrul total de funcii care rezult combinnd ntre
ei cei m termeni este:
m
n
m!
N fn C 0m C1m ... C nm
2m 22
j 0 j!(m j)!
(1.2)
Particulariznd relaiile (1.2) pentru n = 0, 1 i 2 variabile, obinem:
- pentru n = 0, Nf0 = 2 funcii i anume y1 = 0 i y2 = 1;
- pentru n = 1, deci y = f (x), Nf1 = 4 funcii i anume y1 = 0, y2 = 1, y3 = x, y4
=

x;

- pentru n = 2, deci y = f (x 1, x2), se obin Nf2 = 16 funcii pe care le

prezentm n tabelul 1.2.
Dei tabelul 1.2 este sugestiv prin el nsui, prezentm n continuare unele
observaii i comentarii utile:
- ordinea x2x1 a variabilelor din tabelele de adevr decurge din modul de
scriere binar a unui numr zecimal:
(N)zec. = 2n-1xn + 2n-2xn-1 + ... + 21x2 + 20x1 = (xnxn-1 ... x2x1)bin.,
(1.3)

Capitolul 1

unde xn este - dup cum se observ - bitul cel mai semnificativ, iar x 1 - bitul cel mai
puin semnificativ.
Tab. 1.2. Funcii logice de dou variabile

Nr.
crt.

CIRCUITUL
Structura
Denumirea
releistic

Tabelul de
adevr

FUNCIA LOGIC
Schema logic
Simbolul i
echivalent
expr. alg.

Denumirea

1.

Circuit
deschis

y1 = 0

Element
nul

2.

Circuit
nchis

y2 = 1

Element
unu

3.

4.

5.

6.

X1

x1

8.

Inversor

X1

x1

X2

x2

X2

X1 X2
x1

Neinversor

Inversor

x2

7.

Neinversor

x2

X1
X2 x1
x2

Y
y

Y
y

x1
0
1

y3
0
1

x1

x1
0
1

y4
1
0

x2
0
1

x2
0
1

y3

Identitate

x1

y4

Negaie

y5
0
1

x2

y5

Identitate

y6
1
0

x2

y6

Negaie

x1
x2

y7 Conjuncie

x1
x2

Negarea
y8 conjunciei

I
(AND)

x2 x1 y7
0 0 0
0 1 0
1 0 0
1 1 1

I-NU
(NAND)

x2 x1 y8
0 0 1
0 1 1
1 0 1
1 1 0

y3 = x1

y4 = x1

y5 = x2

y6 = x 2

y7 = x1 x2

y8 =

Elemente de algebr booleean

CIRCUITUL
Nr.
crt.

Structura
releistic

Denumirea

FUNCIA LOGIC
Schema logic
Simbolul i
echivalent
expr. alg.

Tabelul de
adevr

Denumirea

x1 x 2
X1

9.

X2 x1

x2

10.

X1 X2
x2

x1

X1

11.

X2
x2

x1

Y
y

SAU-NU
(NOR)

Y
y

COINCIDEN
(NXOR)

X1 X2
Y
y

12.

SAU
EXCLUSIV
(XOR)

x2

x1

X1

13.

SAU
(OR)

X2 x1
x2

Y
y

X1 X2

x1

14.
x2

(nu are
denumire
consacrat)

INTERDICIE

x2 x1 y9
0 0 0
0 1 1
1 0 1
1 1 1

x1
x2

y9= x1 + x2

x2 x1 y10
0 0 1
0 1 0
1 0 0
1 1 0

x2 x1 y11
0 0 1
0 1 0
1 0 0
1 1 1

x2 x1 y12
0 0 0
0 1 1
1 0 1
1 1 0

x2 x1 y13
0 0 1
0 1 0
1 0 1
1 1 1

x2 x1 y14
0 0 0
0 1 1
1 0 0
1 1 0

y9

x1
x2

x1
x2

x1
x2

y11

x1
x2

y11
Echivalen
x1 x 2

y11=x1~x2=

x1x 2

y12

y13

y12 Negarea
echivay12=x1x2= lenei
x1x 2 x1x 2

x1
x2

y13

y13=

x1
x2
x1
x2

y10 Negarea
disjunciei

x1
x2

x1
x2

y10=
x1 x 2

Disjuncie

y14

x 1+x2

Implicaie
direct

y14 Negarea
implicay14=
iei
x1 x 2
directe

Capitolul 1

Nr.
crt.

CIRCUITUL
Structura
Denumirea
releistic

FUNCIA LOGIC
Tabelul de
adevr

Schema logic
echivalent

Simbolul i
expr. alg.
=x1

X1

15.

X2 x
x

1
2

X1 X2

16.

Y
y

x1 x2 y

(nu are
denumire
consacrat)

INTERDICIE

x2
0
0
1
1

x1 y15
0 1
1 1
0 0
1 1

x2
0
0
1
1

x1 y16
0 0
1 0
0 1
1 0

x1
x2

x1
x2

y15

y15 Implicaia
invers

x1
x2

y15=x1+

x1
x2
y16

y16

y16=
x1 x 2
=

Denumirea

Negarea
implicaiei
inverse

x2

Exemplu:
(6)zec. = 221 + 211 + 200 = (110)bin.

- cele 16 funcii apar n perechi (funcia i inversa ei);

- y1 i y2, nu depind de x1 i x2, deci nu sunt funcii ci constante;
- y3 (y5) i y4 (y6), nu depind de x2 (x1), deci nu sunt funcii de dou variabile,
ci doar de una singur;
- din tabelele de adevr ale funciilor y 7 i y8, care corespund circuitelor I
(AND), respectiv I-NU (NAND), observm c y7=1 (y8=0), numai dac I x1 I x2
sunt 1 logic, deci I ntreruptorul X1 I ntreruptorul X2 sunt acionate;
- din tabelele de adevr ale funciilor y 9 i y10, care corespund circuitelor SAU
(OR), respectiv SAU-NU (NOR), observm c y9=1 (y10=0), numai dac SAU x1,
SAU x2, SAU ambele sunt 1 logic, deci SAU ntreruptorul X1, SAU X2, SAU ambele
sunt acionate;
- y11=1, numai atunci cnd valorile logice ale variabilelor de intrare
COINCID, deci ntreruptoarele X1 i X2 sunt fie ambele neacionate, fie ambele
acionate;
- y12=1, numai atunci cnd SAU x1, SAU x2, EXCLUSIV ambele sunt 1 logic;
- y13=0 (y14=1), numai dac x1=1 i x2=0, deci numai dac X1 este acionat i
X2 este neacionat;
- y15=0 (y16=1), numai dac x1=0 i x2=1, deci numai dac X1 este neacionat
i X2 este acionat.
Exprimarea matematic a unei funcii logice necesit introducerea axiomelor
i a regulilor de calcul ale algebrei Boole.

Elemente de algebr booleean

1.2. Axiomele algebrei Boole

Fie o mulime M compus din n elemente (x 1, x2, ..., xn) i operaiile ""
(produs logic) i "+" (sum logic) deja prezentate.
Spunem c mulimea M formeaz o algebr Boole dac:
1. Mulimea M conine cel puin dou elemente distincte:
xi, xj M, cu xi xj.
(1.4)
2. Pentru orice xi, xj M, avem:
xi xj M i xi + xj M, cu 1 i, j n.
(1.5)
3. Operaiile "" i "+" prezint urmtoarele proprieti:
a) comutativitatea:
x1 x2 = x2 x1;
(1.6)
x1 + x2 = x2 + x1;
(1.7)
b) asociativitatea:
x1 x2 x3 = (x1 x2) x3 = x1 (x2 x3) = ... ;
(1.8)
x1 + x2 + x3 = (x1 + x2) + x3 = x1 + (x2 + x3) = ... ;
(1.9)
c) distributivitatea (uneia fa de cealalt):
x1 (x2 + x3) = x1 x2 + x1 x3;
(1.10)
x1 + (x2 x3) = (x1 + x2) (x1 + x3);
(1.11)
4. Ambele operaii admit cte un "element neutru" cu proprietatea:
x 1 = 1 x = x;
(1.12)
x + 0 = 0 + x = x;
(1.13)
5. Pentru orice x M, va exista un element x (non x) cu proprietile:
x x = 0;
(1.14)
x + x = 1.
(1.15)
Relaiile 1.14 i 1.15 poart numele de principiul contradiciei, respectiv principiul terului exclus i se enun astfel:
Principiul contradiciei: o propoziie nu poate fi i adevrat i fals n
acelai timp.
Principiul terului exclus: o propoziie este sau adevrat, sau fals, o a treia
posibilitate fiind exclus.

1.3 Regulile de calcul ale algebrei Boole

Pornind de la axiome, se deduc urmtoarele teoreme care devin reguli de
calcul n cadrul algebrei Boole:
1. Principiul dublei negaii:

Capitolul 1

x = x (dubla negaie este echivalent cu afirmaia).

(1.16)

2. Idempotena:

x
x ... x x ;

(1.17)

x x ...
x x .

(1.18)

3. Absorbia:
x1 (x1 + x2) = x1;
x1 + (x1 x2) = x1.
4. Legile elementelor neutre:
x 0 = 0;
x + 0 = x;
x 1 = x;
x + 1 = 1.
5. Formulele lui De Morgan:
x 1 x 2 x1 x 2 ;

(1.19)
(1.20)
(1.21)
(1.22)
(1.23)
(1.24)
(1.25)

x 1 x 2 x1 x 2 .

(1.26)

Exerciii:
Justificm n continuare relaiile 1.11, 1.19, 1.20, 1.25 i 1.26:
(1.11): x1 + (x2 x3) = (x1 + x2) (x1 + x3).
Se lucreaz n membrul drept, innd seama de relaiile 1.17, 1.10 i 1.24, se
obine succesiv:
(x1 + x2) (x1 + x3) = x1 x1 + x1 x3 + x1 x2 + x2 x3 = (conf. 1.17) =
= x1 + x1 x3 + x1 x2 + x2 x3 = (conf. 1.10) =
= x1 (1 + x3 + x2) + x2 x3 = (conf. 1.24) =
= x1 + x2 x3 = x1 + (x2 x3).
(1.19): x1 (x1 + x2) = x1 x1 + x1 x2 = (conf. 1.17) =
= x1 + x1 x2 = (conf. 1.10) = x1 (1 + x2) = (conf. 1.24) = x1.
(1.20): x1 + (x1 x2) = x1 + x1 x2 = x1 (1 + x2) = (conf. 1.24) = x1.
Relaiile (1.25) i (1.26) se verific cu ajutorul tabelului de adevr (tab. 1.3):
Tab. 1.3. Demonstrarea relaiilor lui De Morgan
rel. 1.25
x2

x1

x1 x2

x1 x2

x1

x2

rel.1.26

x1 +

x1+ x2

x1 x2

x2
0
0
1
1

0
1
0
1

0
0
0
1

1
1
1
0

1
0
1
0

1
1
0
0

1
1
1
0

x1
x2

0
1
1
1

1
0
0
0

1
0
0
0

Elemente de algebr booleean

1.4. Exprimarea algebric a funciilor booleene

O funcie logic de n variabile independente, y = f (x 1, x2, ..., xn), poate fi
exprimat algebric sub form canonic (disjunctiv sau conjunctiv), sub form
elementar (disjunctiv sau conjunctiv) sau sub form neelementar.

1.4.1. Forma canonic

Forma canonic presupune operarea cu termeni canonici. Prin termen
canonic nelegem un termen n care sunt prezente toate variabilele independente,
luate sub form direct sau negat.
1.4.1.1. Forma canonic disjunctiv
n cadrul formei canonice disjunctive (FCD) termenii sunt legai ntre ei prin
disjuncii, iar variabilele - n cadrul fiecrui termen, numit "constituent al unitii" prin conjuncii.
Exemplu:
n cazul unei funcii de dou variabile, tab. 1.4, P k (termenul canonic al FCD) va
fi produsul logic al celor dou variabile, luate direct sau negate, forma direct
corespunznd valorii logice 1 a variabilei, iar cea negat - valorii 0, astfel nct s
rezulte Pk = 1 (de aici denumirea de "constituent al unitii").
Tab. 1.4. Explicativ pentru generarea FCD i FCC ale funciilor de dou variabile
x2

x1

Pk

\f

f0

f1

f15

Sk

P0 = x 2

S0 = x2+x1

P1 = x 2 x1

S1 = x2+ x1

P2 = x2

S2 = x 2 +x1

S3 = x 2 +

...

f10

...

x1

x1
1

P3 = x2x1

x1
Vectorul = {0, 1, 2, 3} din tab. 1.4, ale crui componente k pot lua
valorile 0 sau 1 logic, particularizeaz funcia de dou variabile f (x 1, x2).
2

Se observ c exist 2 2 funcii de dou variabile, sau, n general, 2 2 , unde

s-a notat cu n numrul variabilelor de intrare.
Forma canonic disjunctiv general a unei funcii de dou variabile este deci:
fFCD(x1, x2) = 0 P0 + 1 P1 + 2 P2 + 3 P3,
(1.27)
sau comprimat:

Capitolul 1

9
3

fFCD(x1, x2) =

k Pk .

k 0

(1.28)

Pentru o funcie de n variabile, FCD este:

N 1

fFCD(x1, x2, ..., xn) = k Pk , unde N = 2n.

(1.29)

k 0

1.4.1.2. Forma canonic conjunctiv

n cadrul formei canonice conjunctive (FCC), termenii sunt legai ntre ei prin
conjuncii, iar variabilele - n cadrul fiecrui termen, numit "constituent al lui zero" prin disjuncii.
Relund exemplul funciilor de dou variabile, S k (termenul canonic al FCC, tab.
1.4) va fi suma logic a celor dou variabile luate sub form direct sau negat,
forma direct corespunznd valorii logice 0 a variabilei, iar cea negat - valorii 1,
astfel nct s rezulte Sk = 0 (de aici denumirea de "constituent al lui zero").
2

Cele 2 2 funcii logice de dou variabile se vor obine din FCC prin
particularizarea valorilor componentelor vectorului .
Forma canonic conjunctiv general a unei funcii de dou varibile este deci:
fFCC(x1, x2) = (0 + S0) (1 + S1) (2 + S2) (3 + S3),
(1.30)
sau comprimat:
3

fFCC(x1, x2) = ( k S k ) .
k 0

(1.31)

Pentru o funcie de n variabile, FCC este:

N 1

fFCC(x1, x2, ..., xn) = ( k S k ) , unde N = 2n.

k 0

(1.32)
Cu ajutorul exemplului anterior se poate demonstra c FCD i FCC sunt
echivalente.
Astfel, calculnd f10 n ambele moduri, obinem:
3

f 10FCD(x1, x2) = k Pk = x 2 x1+x2x1 => x1( x 2 + x2) = x1;

k 0

(1.33)
3

f10FCC(x1, x2) = ( k S k ) = (x2 + x1)( x 2 + x1) =>

k0

=> x2x1 + x1 x 2 + x1 = x1 (x2 + x 2 +1) = x1, (1.34)

rezultate care susin afirmaia de echivalen a celor dou forme de exprimare.

Elemente de algebr booleean

10

1.4.2. Forma elementar

Forma elementar (FE) are n alctuire cel puin un termen elementar. Prin
termen elementar nelegem un termen care nu conine toate cele n variabile ale
funciei, deci care nu este canonic.
La forma elementar se ajunge prin minimizare.
Exemplu:
Funcia de trei variabile:
fFE(x1, x2, x3) = x1x2x3 + x1 x 2
(1.35)
este dat sub forma elementar. Termenul x1 x 2 este elementar deoarece nu
conine toate variabilele de intrare. Forma elementar (1.35) se obine prin
minimizare din forma canonic:
fFCD(x1, x2, x3) = x1x2x3 + x1 x 2x3 + x1 x 2 x 3.
(1.36)
ntr-adevr, dnd factor comun x1 x 2 ntre ultimii doi termeni din (1.36) i
aplicnd principiul terului exclus, obinem:
f (x1, x2, x3) = x1x2x3 + x1 x 2(x3 + x 3) = x1x2x3 + x1 x 2.
(1.37)

1.4.3. Forma neelementar

Funciile logice scrise sub form canonic sau elementar (ambele,
disjunctive sau conjunctive) pot fi aduse la forma neelementar (FNE) dac exist
variabile sau grupuri de variabile comune mai multor termeni.
Comparativ cu formele din care provin, formele neelementare se pot
implementa cu circuite logice avnd un numr mai mic de intrri, dar structurate pe
mai multe niveluri logice.
Exemplu:
Pornind de la funcia:
f (x1, x2, x3) = x1x2x3 + x1 x 2 x 3,
(1.38)
dat n FCD, observm c variabila x1 este comun ambilor termeni i, prin
urmare, putem scrie:
f FNE(x1, x2, x3) = x1(x2x3 + x 2 x 3),
(1.39)
unde forma (1.39) este neelementar.
Implementarea formelor (1.38) i (1.39) conduce la circuitele din fig. 1.3.
Se remarc scderea numrului de intrri/poart i creterea numrului de
niveluri logice n cazul implementrii FNE, fig. 1.3 b.
x1
x2
x3
x1
x2
x3

niv. 1

niv. 1

niv. 2

niv. 2

niv. 3

x2
x3
f(x1,x2,x3)

x2
x3
x1

f(x1,x2,x3)

Capitolul 1

11

a) FCD

b) FNE
Fig. 1.3. Comparaie FCD - FNE

1.5. Reprezentarea funciilor booleene cu ajutorul diagramelor

Veitch - Karnaugh
Un alt mod de reprezentare a funciilor booleene n afara tabelului de adevr
(TA) l constituie diagrama Veitch - Karnaugh (VK).
Relund exemplul funciei de dou variabile I (AND) al crei tabel de
adevr este tab. 1.5, observm corespondena celor patru combinaii logice ale
variabilelor x1 i x2 cu vrfurile unui ptrat de latur l = 1, desenat n planul (x 1, x2),
fig. 1.4.
Este uor de sesizat faptul c orice sens de deplasare am alege pe conturul
ptratului din fig. 1.4, coordonatele unui vrf difer de coordonatele unui vrf vecin
prin valoarea logic a unui singur bit.
Tab. 1.5. Tabelul de adevr al funciei
I (AND) de dou variabile

x2
0
0
1
1

x1
0
1
0
1

y
0
0
0
1

00

01

10

x2

11

x1
Fig. 1.4. Un model de ordonare
ciclic a combinaiilor logice ale
celor dou variabile de intrare.

Rearanjnd liniile tabelului de adevr (tab. 1.5) dup modelul sugerat n fig.
1.4, obinem tab. 1.6 n care oricare dou linii vecine, inclusiv prima cu ultima,
difer ntre ele prin valoarea logic a unei singure variabile.
Tab. 1.6. Explicativ pentru construirea codului binar

Elemente de algebr booleean

12

reflectat al unei funcii de dou variabile

x2
0
0
1
1

x1
0
1
1
0

y
0
0
1
0

Examinnd primele dou coloane ale tab. 1.6, constatm c ele se pot obine
prin introducerea unei "oglinzi" dup 21 = 2 linii pentru coloana x1 i dup 22 = 4
linii pentru coloana x2.
Desigur, reflectarea n oglind a valorilor logice ale variabilei x 2 nu mai are loc
deoarece numrul de linii ale TA al unei funcii de dou variabile este 22 = 4.
Codul binar reflectat obinut n tab. 1.6 mai este cunoscut i sub denumirea
de cod ciclic sau cod Gray.
Prezentnd tab. 1.6 ntr-o form n care valorile logice alocate variabilelor x 1
i x2 constituie adresele celor 22 = 4 locaii n care funcia ia valori, obinem
diagrama VK a funciei AND de dou variabile, fig. 1.5.
Faptul c diagrama VK are caracter ciclic este evideniat de prima i ultima
coloan care pot fi considerate vecine deoarece difer ntre ele prin valoarea logic a
unui singur bit de adres (00 - 10).
x2x1

00

01

11

10

Fig. 1.5. Diagrama VK a funciei I (AND)

de dou variabile

Diagrama VK din fig. 1.5 poate fi deci privit ca un cilindru obinut prin
curbarea figurii i suprapunerea laturilor din stnga i din dreapta (ngroate n
desen), devenite generatoare.
nx3cazul uneix2funcii (AND)
de trei
x1
y variabile, liniile tabelului de adevr (tab.
1.7) pot fi0 puse n coresponden
cu
coordonatele
vrfurilor unui cub, fig. 1.6.
0
0
0
x3
0
0
1
0
Tab. 1.7. Tabelul de adevr al funciei
0
1
0
0
I (AND) de 3 variabile
100
0
1
1
0
101
1
0
0
0
x1
1
0
1
0
110
111
1
1
0
0
000
1
1
1
1
x
001

010
x

011

Capitolul 1

13

Fig. 1.6. Un model de ordonare

ciclic a combinaiilor logice ale
celor 3 variabile de intrare

Observm i n acest caz, c diferena coordonatelor a dou vrfuri vecine ale

cubului este - orice drum am alege - de un singur bit, fapt care ne sugereaz o
rearanjare a tab. 1.7 pe principiul codului binar reflectat, tab. 1.8.
Tab. 1.8. Explicativ pentru construirea codului binar
reflectat al unei funcii de 3 variabile

x3
0
0
0
0
1
1
1
1

x2
0
0
1
1
1
1
0
0

x1
0
1
1
0
0
1
1
0

y
0
0
0
0
0
1
0
0

Dispunerea "oglinzilor" n tab. 1.8 se face la fiecare 2 1 = 2 locaii n coloana

lui x1, la fiecare 22 = 4 locaii n coloana lui x 2 i la fiecare 23 = 8 locaii n coloana
lui x3.
Diagrama VK corespunztoare tabelului 1.8 poate fi prezentat de maniera
din fig. 1.7 a sau b.
x2x1
00
x3

01

11

10

x1

a)

b)

x3

x2

Fig. 1.7. Dou modaliti de reprezentare a diagramei VK a unei funcii de 3 variabile

Elemente de algebr booleean

14

Ambele prezentri permit evidenierea ciclicitii prin curbarea figurilor,

suprapunerea laturilor ngroate i transformarea dreptunghiului n cilindru. n fig.
1.7 b au fost marcate numai zonele n care variabilele iau valoarea logic 1.
Pentru funcii de patru variabile diagrama VK poate fi reprezentat ca n fig.
1.8 a sau b.
n ambele cazuri este respectat principiul ciclitii, ptratul care reprezint
diagrama VK putnd fi transformat n cilindru att n cazul n care se suprapun
laturile verticale, ct i n cazul n care se suprapun laturile orizontale.
ntr-adevr, locaia 0000 este vecin att cu locaia 0010 ct i cu 1000.
Pentru funcii de cinci variabile se utilizeaz dou tabele alturate de tipul
celui din fig. 1.8.a (sau b), unul pentru x5 i altul pentru x 5.
x2x1
00
x4x3

01

11

x1

10

00
01
x3
11
x4

10

a)

x2
b)

Fig. 1.8. Dou modaliti de reprezentare a diagramei VK a unei funcii de 4 variabile

Pentru funcii de mai mult de cinci variabile, utilizarea diagramelor VK

devine anevoioas i este preferabil s se recurg la alte metode, algebrice sau
tabelare.

1.6. Minimizarea funciilor logice

Cu ct o funcie logic are o expresie mai simpl (conine mai puini termeni,
iar termenii - mai puine variabile), cu att circuitul logic rezultat prin
implementarea funciei este mai simplu (conine mai puine pori logice, porile
avnd un numr mai mic de intrri), fiabilitatea sa crete, iar preul de cost scade.
Suntem, prin urmare, deosebit de interesai n simplificarea (minimizarea) formei
analitice a unei funcii booleene, avnd astfel garania obinerii unui circuit logic mai

Capitolul 1

15

simplu i mai performant.

Operaiunea de minimizare poate fi aplicat funciilor logice exprimate sub
form canonic (disjunctiv sau conjunctiv), precum i funciilor logice incomplet
definite.
Minimizarea unei funcii logice poate fi fcut fie cu ajutorul diagramelor
VK, fie prin metode analitice.

1.6.1. Minimizarea cu ajutorul diagramelor VK

Minimizarea funciilor logice cu ajutorul diagramelor VK const n
parcurgerea urmtoarelor etape:
A. Alctuirea diagramei VK i completarea locaiilor acesteia cu valorile
logice corespunztoare termenilor funciei.
Astfel, n cazul unei exprimri sub forma canonic disjunctiv (FCD) a
funciei, fiecrui termen i corespunde o locaie care conine "1" logic, iar n cazul
exprimrii sub form canonic conjunctiv (FCC) - o locaie care conine "0" logic.
Evident, att n cazul FCD ct i n cazul FCC, locaiile crora nu le
corespunde nici un termen canonic vor primi valori logice complementare celor
menionate mai sus, iar cele ce corespund unor stri nedeterminate (cazul funciilor
incomplet definite) se vor marca cu "*" i vor fi interpretate, dup caz, ca "0" sau
"1" logic, n procesul de minimizare.
B. Minimizarea propriu-zis
Minimizarea poate fi de tip disjunctiv sau conjunctiv n funcie de coninutul
"1" sau "0" logic al locaiilor cu care se opereaz.
Ea const din dou etape i anume:
B.1. Gruparea locaiilor vecine ce conin "1" ("0") logic n grupe de cte 20,
1
2 , ..., 2k locaii.
innd seama de faptul c oricare dou locaii vecine din diagrama VK difer
ntre ele prin valoarea logic a unei singure variabile, gruparea a 2 (2 1) locaii vecine
care au acelai coninut conduce la eliminarea acelei variabile care, nregistrnd o
variaie logic de la o locaie la alta, nu poate caracteriza grupul. Prin urmare, n
cazul unei funcii de n variabile, doi termeni canonici coninnd cte n variabile
fiecare i care corespund celor dou locaii vecine grupate, vor fi nlocuii cu un
singur termen format din n-1 variabile;
Generaliznd, gruparea a 2k locaii vecine care au acelai coninut i care
corespund celor 2k termeni canonici formai din cte n variabile fiecare, conduce la
eliminarea a k variabile i, prin urmare, la obinerea unui singur termen format din
n-k variabile.
La realizarea gruprilor de locaii vecine ce conin "1" ("0") logic, este
necesar respectarea urmtoarelor reguli:

Elemente de algebr booleean

16

r1) fiecare locaie din diagrama VK care prezint interes din punct de vedere
al tipului de minimizare utilizat, poate face parte din orict de multe grupri, dar cel
puin din una;
r2) cel mai avansat grad de simplificare se obine dac locaiile ce conin "1"
("0") logic din diagrama VK formeaz un numr minim de grupuri, fiecare grup
coninnd la rndul su un numr ct mai mare de locaii.
B.2. Scrierea formei minimale a funciei
Forma minimal disjunctiv (FMD) sau conjunctiv (FMC) conine atia
termeni cte grupri de locaii au fost realizate. Locaiilor izolate, care nu au putut fi
cuprinse n nici o grupare, le vor corespunde termenii canonici iniiali din care au
provenit. Grupurilor de 2k locaii le vor corespunde termeni elementari formai din
cte n-k variabile care caracterizeaz grupul.
n cadrul FMD (FMC), termenii canonici i/sau elementari, vor fi legai ntre
ei prin disjuncii (conjuncii) iar variabilele n cadrul fiecrui termen se vor afla n
conjuncie (disjuncie) i vor fi luate direct sau negat astfel nct termenul respectiv
s devin un constituent al unitii (al lui zero).
Exemplu:
Considerm o funcie logic de 3 variabile dat fie prin tabelul de adevr (tab.
1.9), fie prin FCD (rel 1.40) sau FCC (rel. 1.41):
Tab. 1.9. Tabelul de adevr al unei funcii de 3 variabile binare
x3

x2

x1

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
1
1
0
1
1
1

y FCD x 3 x 2 x1 x 3 x 2 x1 x 3 x 2 x1 x 3 x 2 x1 x 3 x 2 x1





P1

(1.40)

y FCC ( x 3 x 2 x1 )

S1

(1.41)

P2

P3

P4

(x 3 x 2 x1 ) (x 3 x 2 x1 )
.
S2

S3

P5

Capitolul 1

17

Indiferent de la care din cele 3 forme pornim, se obine aceeai diagram VK din
fig. 1.9, n care am notat cu P 1, P2, ..., P5 locaiile ce conin "1" logic i corespund
termenilor din FCD, iar cu S 1, S2, S3 locaiile ce conin "0" logic i corespund
termenilor din FCC.
(x3+x2)
x2x1
00
01
11
10
x3
(x2+x1)

0 0(S1)
1 0
(S3)

0(S2)
1(P3)

1(P1)
1(P4)

1(P2)
1(P5)

x 3x 2
x2
x3x2

x3x1
Fig. 1.9. Diagrama VK a funciei din exemplul considerat
e1) Obinerea FMD
Grupnd, spre exemplu, P1P2, observm c gruparea a 21 = 2 locaii va trebui s
conduc la eliminarea unei singure variabile de intrare din cele 3: x 3 = 0 caracterizeaz ambele locaii i se reine sub forma x 3; x2 = 1 - caracterizeaz
ambele locaii i se reine sub forma x 2; n sfrit, x1 este 1 pentru locaia P 1 i 0
pentru locaia P2, deci x1 variaz n cadrul grupului de locaii P 1P2 i dispare.
Termenul elementar care caracterizeaz complet grupul P 1P2 este x 3 x 2 i se
trece n fig. 1.9.
Procednd analog cu grupul P4P5 se obine termenul elementar x 3x2, iar pentru
grupul P3P4, termenul x3x1.
Relaia 1.40 devine, prin urmare:

y x 3 x 2 x 3 x 2 x 3 x1

,
P1P2

P4P5

P3P4

(1.42)

dar aceasta nu reprezint o form minimal!

ntr-adevr, conform regulii r2, se poate obine un grad i mai ridicat de
simplificare a funciei, grupnd mpreun locaiile P 1P2P4P5. Dup cum rezult din
consideraiile expuse la punctul B.1, gruparea a 22 = 4 locaii va conduce la
eliminarea a dou din cele 3 variabile. Termenul elementar ce va corespunde
grupului P1P2P4P5 se obine astfel: x3 este 0 pentru P1P2 i 1 pentru P4P5, deci
variaz n cadrul grupului de 4 locaii i dispare; x 2 este 1 pentru P1P4 i tot 1
pentru P2P5, deci nu variaz i se reine sub forma x 2; n sfrit, x1 este 1 pentru
grupul P1P4 i 0 pentru P2P5, deci variaz n cadrul grupului de 4 locaii i dispare.
Termenul elementar rezultat este x 2, iar forma minimal disjunctiv a funciei
(1.40) este:
yFMD = x2 + x3x1.
(1.43)
e2) Obinerea FMC
Pentru scrierea FMC, se grupeaz S1S2 i S1S3.
Grupul de locaii S1S2 este caracterizat de x 3 = 0 i x2 = 0. Variabila x1 variaz n

Elemente de algebr booleean

18

cadrul grupului i, necaracterizndu-l, dispare. Termenul elementar rmas este (x 3

+ x2).
Pentru grupul de locaii S1S3 se elimin x3 care variaz n cadrul grupului i
rmne termenul elementar (x2 + x1).
Forma minimal conjunctiv a funciei (1.41) este, prin urmare:
yFMC = (x3 + x2) (x2 + x1).
(1.44)
Comparnd relaiile 1.40 cu 1.43 sau 1.41 cu 1.44, minimizarea formelor
algebrice ale funciei este evident. Totui, pentru eliminarea oricror semne de
ntrebare, implementm n fig. 1.10 i fig. 1.11 formele canonice i cele minimale.
Simplificarea structurilor logice prin minimizare este acum absolut vizibil.
Observaii:
1. Cele dou forme minimale (rel. 1.43 i 1.44) sunt convergente.
ntr-adevr, prelucrnd relaia (1.44) obinem:

x2x2
yFMC = (x3 + x2) (x2 + x1) = x3x2 + x3x1 + + x2x1 =
x2
x 1 x1
) + x3x1 = x2 + x3x1 = yFMD.

= x2( 3

(1.45)
1
2. Forma minimal (disjunctiv sau conjunctiv) nu este unic, dei ea conine
un anumit numr (minim) de termeni, fiecare dintre acetia fiind constituit dintr-un
anumit numr (minim) de variabile de intrare. Prin urmare, se pot obine dou sau
mai multe forme "la fel de minimale", dar niciodat o form "mai minimal" dect
alta!

x2
x1
3

x2
x2

x3

yFCD

x1
x3
x2

x3
x1

x1
x3
x2
1

a) implementarea FCD

b) implementarea FMD

yFMD

Capitolul 1

19

Fig. 1.10. Comparaie FCD FMD

x3
x2
x1
x3
x2

x3
x2

yFCC

yFMC

x2
x1

x2
x1

a) implementarea FCC

b) implementarea FMC

Fig. 1.11. Comparaie FCC - FMC

Considernd, pentru exemplificare, diagrama VK din fig. 1.12, constatm c
gruprile P1P3 i P2P5 sunt "obligatorii", n timp ce P4 se poate grupa fie cu P3, fie
cu P5, n ambele variante rezultnd forme "la fel de minimale".
x2x1
00
x3

01

11

10

1P1

1P2

1P3

1P4

1P5

Fig. 1.12. Explicativ pentru obinerea unor forme "la fel de minimale"

1.6.2. Minimizarea prin metoda analitic

Minimizarea prin metoda analitic are acelai domeniu de aplicabilitate ca i
cea realizat cu ajutorul diagramei VK.
Minimizarea de tip disjunctiv pornete de la FCD n care se grupeaz
termenii care difer prin valoarea logic a unei singure variabile (proprietatea de
distributivitate), dup care se elimin variabila care este n disjuncie cu negata sa
(principiul terului exclus).
Exemplu: Relund exemplul de la paragr. 1.6.1, rel. 1.40, etapele minimizrii
prin metoda analitic sunt:
- gruparea perechilor de termeni P1P2, P3P4 i P4P5, dnd factor comun grupurile

Elemente de algebr booleean

20

de variabile comune; observm c termenul P 4 a fost "prins" n dou grupri,

ceeace echivaleaz cu scrierea sa de dou ori, fapt permis de principiul
idempotenei;
- eliminarea parantezelor pe baza principiului terului exclus;
- gruparea termenilor elementari P12 P45, dnd factor comun variabila comun x2;
- eliminarea parantezelor (principiul terului exclus);
- scrierea FMD.
Schematic, etapele minimizrii sunt prezentate mai jos:
yFCD = x 3x2x1 + x 3x2 x 1 + x3 x 2x1 + x3x2x1 + x3x2 x 1;
P1

P2

P3

P4

P5

x x
x x
x x
x 3x2 ( 1 1 ); x3x1 ( 2 2 ); x3x2 ( 1 1 )
1

P12= x 3 x 2

P34=x3x1

P45=x3x2

x x

P1245 = ( 3 3 )x2
1

(1.46)

yFMD = x2 + x3x1.

(1.47)

Minimizarea de tip conjunctiv este similar celei de tip disjunctiv cu urmtoarele

deosebiri: se pornete de la FCC n care se fac gruprile respective, dup care se
elimin variabila care se afl n conjuncie cu negata sa (principiul contradiciei).
Prezentm, pe acelai exemplu, etapele minimizrii de tip conjunctiv:
yFCC = (x3 + x2 + x1) (x3 + x2 + x 1) ( x 3 + x2 + x1);
S1

S2

S3

x1 x 1

S12 = (x3 + x2) + (

x x

S13 = (x2 + x1) + ( 3 3 )

0
yFMC = (x3 + x2) (x2 + x1).

(1.48)
(1.49)

1.6.3. Minimizarea funciilor incomplet definite

n cazul funciilor incomplet definite, vom asocia n diagrama VK simbolul

Capitolul 1

21

"*" pentru acele puncte din domeniul de definiie n care funcia nu este definit.
n timpul minimizrii funciei, simbolului "*" i se atribuie valoarea logic "0"
sau "1", dup cum dicteaz interesele minimizrii.
Exemplu:
Considerm diagrama VK din fig. 1.13, n care simbolul "*" este convenabil s
fie interpretat drept "1" logic. Se obine y x 2 .
x2x1
00
01
11
10
x3

x2

Fig. 1.13. Explicativ pentru minimizarea funciilor incomplet definite

1.6.4. Concluzii
Dei minimizarea prin metoda analitic urmeaz practic aceiai pai cu
minimizarea bazat pe diagrama VK, ea este mult mai dificil dearece gruprile de
termeni sunt mai greu de observat.
Minimizarea bazat pe diagramele VK devine complicat pentru mai mult de
5 variabile de intrare.
ntruct FMD i FMC sunt convergente, este indicat s se utilizeze acea
variant de minimizare care conduce la o form mai simpl. Adeseori se opteaz
ns pentru varianta implementabil cu circuitele logice disponibile la utilizator:
FMC n cazul n care se dispune n majoritate de pori NOR i FMD n cazul n care
se dispune n majoritate de pori NAND.