12

3 Minimizarea cu diagramelor KV

3.1 Prezentare general

Metoda de minimizare cu ajutorul diagramelor Karnaugh-Veitch (diagrame KV) este o metod
grafic de minimizare bazat pe o reprezentare special a tabelului de adevr al funciei minimizate.

Se numete diagram KV o reprezentare bidimensional sau tridimensional a unui tabel de
adevr, care respect condiia de vecintate a ptratelor.
Se spune c dou ptrate ale unei diagrame KV sunt vecine dac coordonatele lor difer la
nivelul unei singure variabile.

Exemple: n Fig. 4 sunt prezentate diagrame KV de 2, 3 i 4 variabile. n Fig. 5 prin arce cu sgei sunt unite
cteva perechi de ptrate vecine logic. Se observ c dou ptrate pot fi vecine logic chiar dac nu sunt vecine fizic. Ca
regul general, ptratele care au o latur comun ori sunt situate simetric n raport cu una dintre axele de simetrie ale
diagramei KV, sunt ptrate vecine logic. Trecerea de la un tabel de adevr la o diagram KV corespunztoare ca numr
de variabile este prezentat n Fig. 6.

x
3
x
2
x
1
0 1
00
10
11
01
x
4
x
3
x
1
x
200 01 11 10
00
10
11
01
x
4
x
3
x
1
x
200 01 11 10
00
10
11
01
n=2
n=4 n=3
x
1
x
2
0 1
1
0

Fig. 4 Fig. 5
f(u,x,y,z)=(0,1,2,4,7,9,12)+
d
(6,15)
u z y x f
0 0 0 0 1
0 1 0 0 1
0 0 1 0 1
0 1 1 0 0
0 0 0 1 1
0 1 0 1 0
0 0 1 1 x
0 1 1 1 1
1 0 0 0 0
1 1 0 0 1
1 0 1 0 0
1 1 1 0 0
1 0 0 1 1
1 1 0 1 0
1 0 1 1 0
1 1 1 1 x
1 1 1 1
1 0 0 0
0 1 x 0
1 x 0 0
u
z
y
x
00 10 11 01
00
10
11
01

Fig. 6

Observaie! Dac se dorete obinerea unei forme minime disjunctive, n diagram se
reprezint de obicei numai valorile 1 i valorile nedeterminate. Pentru a obine forme minime
conjunctive, n diagram se pot reprezenta numai valorile 0 i valorile nedeterminate.

Pentru a simplifica completarea unei diagrame KV direct din reprezentarea simbolic, n
fiecare ptrat al diagramei se introduce echivalentul zecimal al combinaiei binare care reprezint
coordonatele ptratului (atenie la ordinea variabilelor cnd se calculeaz echivalentul zecimal!). O
diagram completat cu indicii zecimali ai ptratelor o vom numi ablon.

13
n Anexa 4 sunt prezentate abloane pentru diagrame KV de 2, 3, 4 ,5, i 6 variabile. Pentru
abloanele cu 4, 5 respectiv 6 variabile, prin linie ngroat au fost marcate i axele de simetrie ale
diagramelor.

Se numete suprafa elementar ntr-o diagram KV, o suprafa n form de dreptunghi
sau ptrat, format din 2
k
ptrate vecine.

Observaie! Regulile de formare corect a suprafeelor elementare n procesul de minimizare
vor fi prezentate ulterior pentru diverse cazuri practice. Ca o regul general, indiferent de caz, nu
se accept suprafee elementare incluse una n alta i fiecare suprafa elementar trebuie s conin
cel puin o valoare determinat (0 sau 1).

Exemplu: n Fig. 7 se prezint suprafee elementare corect definite pentru diagrama KV din Fig. 6.
1 1 1 1
1
1 x
1 x
u
z
y
x
00 10 11 01
00
10
11
01

Fig. 4

Se spune c dou suprafee elementare, indiferent de forma lor, sunt egale geometric dac au
acelai numr de ptrate.

Exemplu: Toate suprafeele elementare din Fig. 8 sunt egale geometric.

Se spune c suprafaa elementar S
i
este egal logic cu suprafaa elementar S
m
dac ambele
suprafee, indiferent de forma i mrimea lor geometric, conin exact aceleai valori determinate
(0 sau 1).

Exemplu: Toate suprafeele elementare din Fig. 9 sunt egale logic.

Se spune c suprafaa elementar S
i
domin suprafaa elementar S
m
dac S
i
conine toate
valorile determinate pe care le conine S
m
, dar conine i alte valori determinate. Mrimea
geometric a celor dou suprafee nu conteaz. Suprafaa elementar S
i
se va numi suprafa
dominant iar suprafaa elementar S
m
se va numi suprafa dominat.

Exemplu: n Fig. 10 suprafaa marcat cu linie continu domin suprafaele marcate cu linie punctat.

x
4
x
3
x
2
00 01 11 10
00
10
11
01
1
1 1
1 1 1
1 x 1
x
1
01 11 10
00
10
11
01
x
4
x
3
x
2
00 01 11 10
00
10
11
01
1
x x
x x 1
x
x
1
01 11 10
00
10
11
01
x
4
x
3
x
2
00 01 11 10
00
10
11
01
x
x x
1 1
x
x
1
01 11 10
00
10
11
01

Fig. 8 Fig. 9 Fig. 10

14
3.2 Determinarea formelor minime disjunctive

Avnd n vedere cele discutate n capitlul 4, rezult imediat c fiecarui ptrat care conine 1 i
corespunde mintermenul m
i
(depinznd de aceleai variabilele ca i funcia dat) al crui indice
zecimal i este echivalentul zecimal al combinaiei binare care reprezint coordonatele ptratului.

Determinarea formelor minime disjunctive cu ajutorul diagramelor KV se bazeaz pe
urmtoarele dou teoreme:

idempotena disjunciei A=A+A (1)
teorema de absorbie Ax+Ax =A (2)

Prima teorem permite ca un ptrat s fac parte din oricte suprafee elementare sunt generate.

Deoarece fiecare ptrat al unei diagrame KV corespunde unui mintermen cu n variabile al
funciei reprezentate n diagram, teorema (2) garanteaz c unei suprafee elementare format din
dou ptrate vecine i corespunde un termen elementar P cu n-1 variabile. n general unei
suprafee elementare cu 2
k
ptrate i corespunde un termen elementar P cu n-k variabile.

Exemplu: Se consider suprafaa elementar orizontal de 4 ptrate din diagrama prezentat n Fig. 8.
Termenul corespunztor acestei suprafee se determin imediat din relaia

A= z y z y u) u ( z y u z y u ) x x ( z y u ) x x ( z y u z y x u z y ux z y x u z y x u = + = + = + + + = + + +

Termenul corespunztor unei suprafee elementare se poate determina foarte simplu direct din
diagrama KV respectnd urmtoarele reguli:

dac pe conturul suprafeei analizate variabila are numai valoarea 1, variabila apare n
form direct n termenul corespunztor suprafeei;
dac pe conturul suprafeei analizate variabila are numai valoarea 0, variabila apare n
form complementat n termenul corespunztor suprafeei;
dac pe conturul suprafeei variabila are att valoarea 0 ct i valoarea 1, variabila dispare
din termenul corespunztor suprafeei.

Procesul de determinare a termenului P corespunztor unei suprafee elementare se numete
decodificarea suprafeei elementare.

n Fig. 11 sunt prezentai toi termenii corespunztori suprafeelor elementare din diagrama
KV prezentat anterior n Fig 4.

1 1 1 1
1
1 x
1 x
u
z
y
x
00 10 11 01
00
10
11
01
yz
uxz
xyz
uxy
xz

Fig. 11

15
n esen, minimizarea cu ajutorul diagramelor KV presupune determinarea unei forme minime
normal disjunctive ca sum logic a termenilor obinui prin decodificarea suprafeelor elementare
i eliminarea termenilor P redundani. Avantajul metodei const n faptul c i eliminarea
termenilor redundani se poate realiza direct din diagram. Eliminarea termenilor redundani se
poate realiza printr-o simpl inspecie vizual prin eliminarea suprafeelor elementare dominate sau
prin aplicarea algoritmului care va fi prezentat n continuare.
Dezavantajul const n faptul c metoda este limitat n practic la cel mult 6 variabile.

Algoritm complet de determinare a formelor minime disjunctive

P1 Pornind de la tabelul de adevr sau de la o reprezentare canonic a funciei se alege
diagrama KV corespunztoare ca numr de variabile i se completeaz cu valorile 1 i x.
P2 Se formeaz toate suprafeele elementare admise, care conin numai 1 ori x (cel puin un
1) i nu sunt incluse n suprafee elementare mai mari.
P3 Se marcheaz cu un asterisc ptratele care conin un 1 inclus ntr-o singur suprafa
elementar (aceste ptrate se numesc ptrate 1 remarcabile). Dac n diagram nu exist nici un
ptrat 1 remarcabil, se trece la pasul P7.
P4 Se decodific suprafeele care conin cel puin un ptrat 1 remarcabil. Termenii
corespunztori acestor suprafee fac parte obligatoriu din forma minima disjunctiv a funciei.
P5 Se reface diagrama KV nlocuind fiecare 1 din suprafeele deja decodificate cu - (are
semnificaia de valoare nedeterminat, ca i x).
P6 Se formeaz toate suprafeele elementare admise care conin 1, x ori - (cel puin un 1) i se
reia algoritmul de la pasul P3. Dac nu se mai poate forma nici o suprafa elementar (nu mai
exist nici un 1 n diagram), se trece la pasul P8.
P7 Se caut suprafeele dominate i se elimin din diagram dac nu sunt geometric mai mari
dect suprafaa dominant. Din dou suprafee logic egale se reine una singur (cea mai mare
geometric dac au dimensiuni diferite). Se reface diagrama fr suprafeele eliminate i se reia
algoritmul de la P3.
Dac nu exist suprafee dominante sau suprafee egale logic care s poat fi eliminate, pot s
apar dou situaii diferite:

a) Toate suprafeele elementare sunt egale geometric (cazul ciclic).
n acest caz se alege arbitrar una dintre suprafee, ca i cum ar conine un ptrat 1 remarcabil,
i se reia algoritmul de la pasul P4.
b) Suprafeele nu sunt egale geometric (cazul semiciclic).
n acest caz se alege arbitrar una dintre suprafeele cele mai mari geometric, ca i cum ar
conine un ptrat 1 remarcabil i se reia algoritmul de la pasul P4.

P8 Se reunesc prin sum logic toi termenii obinui n etapele precedente. Expresia obinut
reprezint acoperirea minim disjunctiv a funciei.
P9 STOP

Observaie! Se observ c n cazul general soluia nu este unic, diverse soluii putnd fi
generate n funcie de alegerile fcute la pasul P7.

Exemplu: n Fig. 12 se prezint etapele minimizrii cu diagrame KV a funciei:

f(u,x,y,z)=(0,4,7,8,10,13,14,15)+
d
(2,5,6,9)

Diagrama KV corespunztoare funciei este prezentat n Fig. 12a iar suprafeele elementare care pot fi generate
n Fig. 12b. Analiznd aceste suprafee se observ c nu exist ptrate 1 remarcabile dar exist suprafee dominate
(marcate cu linie punctat) care pot fi eliminate. Diagrama obinut dup eliminarea suprafeelor dominate este cea din
Fig. 12c.

16
z
y x
00 01 11 10
00
10
11
01
1
x 1 x
1 1
1 1 x
1 1
x
u
01 11 10
00
10
11
01
z
y
x
00 01 11 10
00
10
11
01
1
x 1 x
1 1
1 1 x
1 1
x
u
01 11 10
00
10
11
01
z
y
x
00 01 11 10
00
10
11
01
1
x 1 x
1 1
1 1 x
1 1
x
u
01 11 10
00
10
11
01
z
y
x
00 01 11 10
00
10
11
01
1
x 1* x
1* 1
1 1 x
1 1
x
u
01 11 10
00
10
11
01
a) c) b)
d)
xz
xz
z
y
x
00 01 11 10
00
10
11
01
-
x - -
- 1
- 1 x
- -
-
u
01 11 10
00
10
11
01
e)
z
y
x
00 01 11 10
00
10
11
01
-
x - -
- 1*
- 1* x
- -
-
u
01 11 10
00
10
11
01
f)
xy
ux
z
y
x
00 01 11 10
00
10
11
01
-
x - -
- 1
- 1 x
- -
-
u
01 11 10
00
10
11
01
h)
z
y
x
00 01 11 10
00
10
11
01
-
x - -
- -
- - -
- -
-
u
01 11 10
00
10
11
01
g)
z
y
x
00 01 11 10
00
10
11
01
-
x - -
- 1*
- 1* x
- -
-
u
01 11 10
00
10
11
01
i)
ux
yz
Fig. 9

n Fig. 12.d sunt puse n eviden ptratele 1 remarcabile i suprafeele aferente acestora sunt decodificate,
obinndu-se implicanii primi xz i z x . Acetia sunt implicani primi eseniali deoarece nu mai exist nici o alt
suprafa care s acopere ptratele 1 remarcabile connute n suprafeele care i-au generat. Diagrama refcut dup
eliminarea suprafeelor decodificate anterior este prezentat n Fig. 12e. Se observ c n noua diagram pot fi puse n
eviden dou perechi de suprafee elementare egale logic i egale geometric. Cu linie punctat au fost marcate
suprafeele care au fost alese n mod arbitrar pentru a fi eliminate din fiecare pereche de suprafee egale. Se reface
diagrama ca n Fig. 12f i se decodific suprafeele rmase, care acum conin cte un ptrat 1 remarcabil fiecare. Dup
eliminarea acestor suprafee se obine diagrama din Fig. 12g care nu conine nici un 1, deci procesul de minimizare se
ncheie. n final rezult forma minim disjunctiv:

f(u,x,y,z)= xy x u z x xz + + +

Deoarece alegerea suprafeelor pstrate pentru decodificare n Fig. 12e a fost arbitrar, soluia anterioar nu este
unic. n Fig. 12h i Fig. 12i se prezint determinarea unei alte variante:

f(u,x,y,z)= z y x u z x xz + + +

Determinarea celorlalte variante posibile este recomandat ca exerciiu cititorului.

17
Exemplu: n Fig. 13 sunt prezentate etapele minimizrii cu diagrame KV a funciei:

f(u,x,y,z)=(0,2,6,7,8,9,13,15)

z
y x
00 01 11 10
00
10
11
01
1
1 1
1
1
1 1
1
u
01 11 10
00
10
11
01
a) c) b)
d) e)
uyz
uyz
h)
z
y
x
00 01 11 10
00
10
11
01
1*
- -
1*
-
- -
-
u
01 11 10
00
10
11
01
g)
z
y x
00 01 11 10
00
10
11
01
1
1 1
1
1
1 1
1
u
01 11 10
00
10
11
01
xyz
z
y x
00 01 11 10
00
10
11
01
1
1 1
1
1
- -
1
u
01 11 10
00
10
11
01
z
x
00 01 11 10
00
10
11
01
1
1 1*
1
1*
- -
1
u
01 11 10
00
10
11
01
z
x
00 01 11 10
00
10
11
01
1
1 1*
1
1*
- -
1
u
01 11 10
00
10
11
01
y y
z
x
00 01 11 10
00
10
11
01
1
- -
1
-
- -
-
u
01 11 10
00
10
11
01
y
xyz
z
y
x
00 01 11 10
00
10
11
01
-
- -
-
-
- -
-
u
01 11 10
00
10
11
01
STOP
Fig. 13

Reprezentarea funciei ntr-o diagram KV de 4 variabile i suprafeele elementare care se pot forma n aceast
diagram sunt prezentate n Fig. 13. Se observ imediat c nu exist ptrate 1 remarcabile, suprafee dominate sau
suprafee egale logic, deci procesul de minimizare este blocat. Deoarece toate suprafeele elementare sunt egale
geometric, cazul analizat este un caz ciclic. Aceasta implic necesitatea alegerii arbitrare a unei suprafee ce urmeaz
s fie decodificat, ca i cum ar conine ptrate 1 remarcabile. Suprafaa aleas pentru decodificare i implicantul
corespunztor acesteia apar n Fig. 13b. n continuare, dup eliminarea suprafeei decodificate procesul de minimizare
nu mai prezint nici un fel de dificultate deoarece nu mai apar blocaje. n final se va obine soluia:

f(u,x,y,z)= z y x z y u yz u xyz + + +

i n acest exemplu soluia nu este unic, deoarece pentru deblocare exist opt posibiliti de alegere a primei
suprafee decodificate. Nu toate soluiile obinute vor fi ns diferite ntre ele. Rmne ca cititorul s determine cte
soluii distincte exist.




18
3.3 Determinarea formelor minime conjunctive

Avnd n vedere cele discutate n capitlul 4, rezult imediat c fiecarui ptrat care conine 0 i
corespunde maxtermenul M
i
(depinznd de aceleai variabilele ca i funcia dat) al crui indice
zecimal i este echivalentul zecimal al combinaiei binare care reprezint coordonatele ptratului.

Determinarea formelor minime disjunctive cu ajutorul diagramelor KV se bazeaz pe
urmtoarele dou teoreme:

idempotena disjunciei A=A*A (3)
teorema de absorbie (A+x)(A+x )=A (4)

Prima teorem permite ca un ptrat s fac parte din oricte suprafee elementare sunt generate.

Deoarece fiecare ptrat al unei diagrame KV corespunde unui maxtermen cu n variabile al
funciei reprezentate n diagram, teorema (2) garanteaz c unei suprafee elementare format din
dou ptrate vecine care conin 0 (sau 0 i o valoare nedeterminat) i corespunde un termen
elementar S cu n-1 variabile. n general unei suprafee elementare cu 2
k
ptrate i corespunde un
termen elementar S cu n-k variabile.

Termenul corespunztor unei suprafee elementare se poate determina foarte simplu direct din
diagrama KV, respectnd urmtoarele reguli:

dac pe conturul suprafeei analizate variabila are numai valoarea 0, variabila apare n
form direct n termenul corespunztor suprafeei;
dac pe conturul suprafeei analizate variabila are numai valoarea 1, variabila apare n
form complementat n termenul corespunztor suprafeei;
dac pe conturul suprafeei variabila are att valoarea 0 ct i valoarea 1, variabila dispare
din termenul corespunztor suprafeei.

Determinarea termenului S corespunztor unei suprafee elementare se numete
decodificarea suprafeei elementare.

n Fig. 14 sunt prezentai toi termenii corespunztori suprafeelor elementare din diagrama
KV prezentat anterior n Fig 7.

1 1 1 1
1 0 0 0
0 1 x 0
1 x 0 0
u
z
y
x
00 10 11 01
00
10
11
01
u+x+y
x+y+z
x+y+z
u+y+z
u+x+z
u+y+z

Fig. 14

n esen, minimizarea cu ajutorul diagramelor KV presupune determinarea unei forme minime
normal conjunctive ca sum logic a termenilor obinui prin decodificarea suprafeelor elementare
i eliminarea termenilor S redundani. Avantajul metodei const n faptul c i eliminarea
termenilor redundani se poate realiza direct din diagram. Eliminarea termenilor redundani se

19
poate realiza printr-o simpl inspecie vizual prin eliminarea suprafeelor elementare dominate sau
prin aplicarea algoritmului care va fi prezentat n continuare.
Dezavantajul const n faptul c metoda este limitat n practic la cel mult 6 variabile.

Algoritm complet de determinare a formelor minime conjunctive

P1 Pornind de la tabelul de adevr sau de la o reprezentare canonic a funciei se alege
diagrama KV corespunztoare ca numr de variabile i se completeaz cu valorile 0 i x.
P2 Se formeaz toate suprafeele elementare admise, care conin numai 0 ori x (cel puin un
0) i nu sunt incluse n suprafee elementare mai mari.
P3 Se marcheaz cu un asterisc ptratele care conin un 0 inclus ntr-o singur suprafa
elementar (aceste ptrate se numesc ptrate 0 remarcabile). Dac n diagram nu exist nici un
ptrat 0 remarcabil, se trece la pasul P7.
P4 Se decodific suprafeele care conin cel puin un ptrat 0 remarcabil. Termenii
corespunztori acestor suprafee fac parte obligatoriu din forma minima conjunctiv a funciei.
P5 Se reface diagrama KV nlocuind fiecare 0 din suprafeele deja decodificate cu - (are
semnificaia de valoare nedeterminat, ca i x).
P6 Se formeaz toate suprafeele elementare admise care conin 0, x ori - (cel puin un 0) i se
reia algoritmul de la pasul P3. Dac nu se mai poate forma nici o suprafa elementar (nu mai
exist nici un 0 n diagram), se trece la pasul P8.
P7 Se caut suprafeele dominate i se elimin din diagram dac nu sunt geometric mai mari
dect suprafaa dominant. Din dou suprafee logic egale se reine una singur (cea mai mare
geometric, dac au dimensiuni diferite). Se reface diagrama fr suprafeele eliminate i se reia
algoritmul de la P3.
Dac nu exist suprafee dominante ori suprafee egale logic care s poat fi eliminate, pot s
apar dou situaii diferite:

a) Toate suprafeele elementare sunt egale geometric (cazul ciclic).
n acest caz se alege arbitrar una dintre suprafee, ca i cum ar conine un ptrat 0 remarcabil,
i se reia algoritmul de la pasul P4.
b) Suprafeele nu sunt egale geometric (cazul semiciclic).
n acest caz se alege arbitrar una dintre suprafeele cele mai mari geometric, ca i cum ar
conine un ptrat 0 remarcabil i se reia algoritmul de la pasul P4.

P8 Se reunesc prin produs logic toi termenii S obinui n etapele precedente. Expresia
obinut reprezint acoperirea minim conjunctiv a funciei.
P9 STOP

Observaie! Se observ c n cazul general soluia nu este unic, diverse soluii putnd fi
generate n funcie de alegerile fcute la pasul P7.

Exemplu: n Fig. 15 sunt prezintate etapele obinerii formei minime conjunctive cu ajutorul diagramei KV
pentru funcia:

f(u,x,y,z)=(0,4,7,8,10,13,14,15)+
d
(2,5,6,9)

Diagrama KV corespunztoare funciei i suprafeele elementare care pot fi generate pentru obinerea formei
minime conjunctive sunt prezentate n Fig. 15a. Analiznd aceste suprafee, se observ c exist ptrate 0 remarcabile
puse n eviden n Fig. 15b. Tot n aceast figur sunt decodificate suprafeele care conin ptratele 0 remarcabile.
Dup refacerea diagramei, aceasta nu mai conine nici un 0 deci procesul de minimizare a luat sfrit. Acoperirea
minim conjunctiv obinut este unic i are forma:

f(u,x,y,z)= z) y x u )( z y (x + + + + +

20
z
y x
00 01 11 10
00
10
11
01
1
x 1 x 0
1 0 1
1 1 x
0 1 1
x
0
u
01 11 10
00
10
11
01
z
y
x
00 01 11 10
00
10
11
01
1
x 1 x 0*
1 0* 1
1 1 x
0* 1 1
x
0
u
01 11 10
00
10
11
01
a) b)
x+y+z
u+x+y+z
z
y x
00 01 11 10
00
10
11
01
1
x 1 x -
1 - 1
1 1 x
- 1 1
x
-
u
01 11 10
00
10
11
01
c)
Fig. 15


2.4 Determinarea formelor minime disjunctive cu XOR, AND i 1

Algoritmul de determinare a unor forme minime disjunctive ce conin numai produse logice de
variabile i eventual constanta 1, reunite prin operatorul , este asemntor celui prezentat pentru
determinarea formelor minime disjunctive n paragraful 2.2. Exist totui o deosebire foarte
important n ceea ce privete modul de generare a suprafeelor elementare.

Determinarea formelor minime disjunctive cu XOR, AND i 1 folosind diagramelor KV se
bazeaz pe urmtoarele dou teoreme:

pseudoidempotena (5)

teorema de absorbie AxAx =A (6)

Relaia (5) determin i unica diferen ntre utilizarea diagramelor KV pentru determinarea
formei minime disjunctive n baza AND, OR, NOT i utilizarea diagramelor KV pentru
determinarea formei minime disjunctive n baza XOR, AND, 1.
Datorit pseudoidempotenei un ptrat 1 poate fi introdus ntr-un numr impar de
suprafee elementare iar un ptrat 0 poate fi introdus ntr-un numr par de suprafee
elementare. Valorile nedeterminate pot fi introduse n oricte suprafee elementare este necesar.
Rezult imediat c, utiliznd regulile de mai sus, pot fi generate suprafee mixte, care conin
att 1 ct i 0. La decodificare, fiecare dintre suprafee va fi considerat ca i cum ar conine
numai 1.

Observaie! Regulile de mai sus pentru formarea suprafeelor elementare fac uneori mai
dificil determinarea setului optim de suprafee care pot fi generate dar, n multe cazuri practice nu
este neaprat necesar obinerea soluiei optime.

Deoarece fiecare ptrat al unei diagrame KV corespunde unui mintermen cu n variabile al
funciei reprezentate n diagram, teorema (2) garanteaz c unei suprafee elementare format din
dou ptrate vecine i corespunde un termen elementar P cu n-1 variabile. n general, unei
suprafee elementare cu 2
k
ptrate i corespunde un termen elementar P cu n-k variabile.

Exemplu: Se consider suprafaa elementar orizontal de 4 ptrate din diagrama prezentat n Fig.
Termenul corespunztor acestei suprafee se determin imediat din relaia

A= z y z y u) u ( z y u z y u ) x x ( z y u ) x x ( z y u z y x u z y ux z y x u z y x u = = = + =

+ =
=
=
1 2k n A
2k n 0
A ... A A
daca
daca

n ori

21
Se observ c rezultatul este identic cu cel obinut n paragraful 2.2.
Termenul corespunztor unei suprafee elementare se poate determina foarte simplu, direct din
diagrama KV respectnd urmtoarele reguli:
dac pe conturul suprafeei analizate variabila are numai valoarea 1, variabila apare n
form direct n termenul corespunztor suprafeei;
dac pe conturul suprafeei analizate variabila are numai valoarea 0, variabila apare n
form complementat n termenul corespunztor suprafeei;
dac pe conturul suprafeei variabila are att valoarea 0 ct i valoarea 1, variabila dispare
din termenul corespunztor suprafeei.


Algoritm complet de determinare a formelor minime disjunctive n baza XOR, AND, 1

P1 Pornind de la tabelul de adevr sau de la o reprezentare canonic a funciei, se alege
diagrama KV corespunztoare ca numr de variabile i se completeaz cu valorile 1, 0 i x.
P2 Se formeaz toate suprafeele elementare admise, care conin 1, 0 ori x (cel puin un 1 ori
0) i nu sunt incluse n suprafee elementare mai mari.
P3 Se marcheaz cu un asterisc ptratele 1 remarcabile. Dac n diagram nu exist nici un
ptrat 1 remarcabil, se trece la pasul P7.
P4 Se decodific suprafeele care conin cel puin un ptrat 1 remarcabil. Termenii
corespunztori acestor suprafee fac parte obligatoriu din forma minima disjunctiv a funciei.
P5 Se reface diagrama KV nlocuind fiecare 1 din suprafeele deja decodificate cu - (are
semnificaia de valoare nedeterminat, ca i x).
P6 Se formeaz toate suprafeele elementare admise care conin 1, 0, x ori - (cel puin un 1
sau 0) i se reia algoritmul de la pasul P3. Dac nu se mai poate forma nici o suprafa elementar
(nu mai exist nici un 1 n diagram), se trece la pasul P8.
P7 Se caut suprafeele dominate i se elimin din diagram dac nu sunt geometric mai mari
dect suprafaa dominant. Dintre dou suprafee logic egale se reine una singur (cea mai mare
geometric dac au dimensiuni diferite). Se reface diagrama fr suprafeele eliminate i se reia
algoritmul de la P3.
Dac nu exist suprafee dominante sau suprafee egale logic care s poat fi eliminate, pot s
apar dou situaii diferite:
a) Toate suprafeele elementare sunt egale geometric (cazul ciclic).
n acest caz se alege arbitrar una dintre suprafee, ca i cum ar conine un ptrat remarcabil, i
se reia algoritmul de la pasul P4.
b) Suprafeele nu sunt egale geometric (cazul semiciclic).
n acest caz se alege arbitrar una dintre suprafeele cele mai mari geometric, ca i cum ar
conine un ptrat 1 remarcabil i se reia algoritmul de la pasul P4.

P8 Se reunesc prin toi termenii obinui n etapele precedente. Expresia obinut se
transform ntr-o form disjunctiv RMJ (vezi capitolul 4) care reprezint acoperirea minim
disjunctiv a funciei.
P9 STOP

Observaii! Se observ c n cazul general soluia nu este unic, diverse soluii putnd fi
generate n funcie de alegerile fcute la pasul P7.

Exemplu: n Fig. 16 se prezint etapele minimizrii cu diagrame KV a funciei:

f(u,x,y,z)=(1,2,3,4,7,15)+
d
(6,10)


22
Diagrama KV corespunztoare funciei i setul de suprafee elementare corect definite ce pot fi definite sunt
prezentate n Fig. 16a. Se observ c fiecare 1 face parte din 1 sau 3 suprafee iar fiecare 0 din dou suprafee.
Suprafaa de 4 ptrate din colul stnga jos nu poate fi generat deoarece ar apare ptrate 1 situate n dou sau 4
suprafee diferite ceea ce nu este admis. Decodificarea suprafeelor este realizat n diagrama din Fig. 16b.
z
y x
00 01 11 10
00
10
11
01
0
0 0 0 1
0 0 1
x 0 x
0 1 1
1
1
u
01 11 10
00
10
11
01
a)
z
y x
00 01 11 10
00
10
11
01
0
0 0 0 1*
0 0 1*
x 0 x
0 1* 1
1*
1*
u
01 11 10
00
10
11
01
b)
uy
yz
xy
ux

Fig. 16

Forma minim disjunctiv n baza XOR, AND, 1 se va obine n continuare prin reunirea cu a termenilor
generai n Fig. 16b i apoi transformarea ntr-o forma disjunctiv RMJ.

f(u,x,y,z)= = = xy 1)x] u [( 1)] y(z [ 1)y] u [( xy x u z y y u

= x xy ux yz uy xy x ux y yz y uy =