Curs 2

1.4.2.2. Modaliti de reprezentare analitic 1) Formele canonice Fie o funcie boolean f(x), unde x = (x 1,x2,,xn). Se definete numrul i = x120 + x221 + + xn2n 1 ca numr de combinaii. !xem"lu# x1 x2 x$ f 0 0 0 0 0 1 0 1 0 i = 022 + 121 + 020 = 2 0 1 1 Fie funcia %i definit "e &n &, deci %i # &n & %i(x1,x2,,xn) = 1 dac numrul de combinaii e'te i 0 (n ca) contrar *cea't funcie 'e numete con'tituent al unitii. Se "oate arta c orice funcie boolean dat "rin tabelul de ade+r 'e "oate 'crie ca o 'um de con'titueni ai unitii. f(x1, x2,,xn) = %i1 + %i2 + + %i" = %i, i,,-1 unde -1 = mulimea tuturor combinaiilor ar.umentelor "entru care funcia ia +aloarea 1. *cea't form de 'criere 'e numete forma canonic disjunctiv FCD, iar termenii con'titueni 'e nume'c termeni canonici con,uncti+i 'au mintermi ('e mai numete i forma 'um de "rodu'e). Funcia boolean 'e mai "oate 'crie i 'ub forma S i # &n & unde & = /0,10. Si(x1,x2,,xn) = 0 dac numrul de combinaii e'te i 1 (n ca) contrar Se "oate demon'tra c orice funcie boolean "oate fi adu' la forma# f(x1, x2,,xn) = Si1 Si2 Si1 = Si, i,,-0 unde -0 = mulimea tuturor combinaiilor ar.umentelor "entru care funcia ia +aloarea 0. *cea't form de 'criere 'e numete forma canonic conjunctiv FCC, iar factorii con'titueni 'e nume'c termeni canonici con,uncti+i 'au maxtermi ('e mai numete i forma "rodu' de 'ume). Se "oate demon'tra c Si = %i. Algoritmi de obinere a formelor canonice "e ba)a tabelului de ade+r 'au a dia.ramei 2arnau.3#
1

FCD - 'e determin toate combinaiile +ariabilelor "entru care +aloarea funciei e'te 14 - 'e 'criu mintermii core'"un)tori (o +ariabil a"are nene.at dac are +aloarea 1 i ne.at dac are +aloarea 0)4 - 'e (n'umea) mintermii obinui anterior. FCC - 'e determin toate combinaiile +ariabilelor "entru care +aloarea funciei e'te 04 - 'e 'criu maxtermii core'"un)tori "rin (n'umarea +ariabilelor (o +ariabil a"are nene.at dac are +aloarea 0 i ne.at dac are +aloarea 1)4 - 'e (nmule'c maxtermii obinui anterior. Exemplu# x1 x2 x$ f 0 0 0 0 0 0 1 1 mintermul e'te x1x2x$ 0 1 0 0 maxtermi 'unt (x1+x2+x$)(x1+x2+x$) 5recerea dintr o form canonic (n alta 'e "oate face (n dou moduri# - cu a,utorul tabelului de ade+r4 - "rin a"licarea dublei ne.aii i a teoremelor lui 6e -or.an. eorema lui !"annon 7om"lementul unei funcii booleene 'e obine "rin com"lementarea fiecrei +ariabile i inter'c3imbarea o"eratorilor 89 cu S*: i reci"roc. f(x1,x2,,xn)#$ = f(x1,x2,,xn)$# eorema de expansiune Fie funcia boolean f(x1,x2,, xi 1, xi, xi+1,,xn) care 'e ex"andea) du" +ariabila xi. *+em atunci# f(x1,x2,, xi 1, xi, xi+1,,xn) = xif(x1,x2,, xi 1, 1, xi+1,,xn) + xif(x1,x2,, xi 1, 0, xi+1,,xn) Funcia dual e'te# f = ;xi + f(x1,x2,, xi 1, 0, xi+1,,xn)<;xi + f(x1,x2,, xi 1, 1, xi+1,,xn)< 2) Forma elementar =a formele canonice ale funciilor booleene termenii conin toate +ariabilele inde"endente de intrare, ne.ate 'au nene.ate. 5ermenii formei elementare nu conin toate +ariabilele de intrare. *cea't form 'e obine din formele canonice "rin minimi)are. %) Forma neelementar

Forma neelementar conine +ariabile 'au .ru"uri de +ariabile comune mai multor termeni. Se obine din celelalte forme "rin a"licarea al.ebrei booleene. !'te folo'it la im"lementarea funciilor lo.ice deoarece "ermite reducerea numrului de intrri (n circuitele lo.ice. *re de)a+anta,ul mririi numrului de ni+ele lo.ice. 1&'&%& (inimi)area funciilor booleene *l.ebra boolean 'e folo'ete la anali)a i 'inte)a di'"o)iti+elor numerice (circuite de comutaie). >ntre .radul de com"lexitate al circuitului i cel al funciei care (l de'crie exi't o le.tur direct. *cea'ta e'te moti+aia "entru care, (n etapa de sintez a circuitelor de comutaie, du" definirea ace'tora, urmea) (n mod obli.atoriu eta"a de minimi)are a funciei, a+?nd dre"t 'co" obinerea unor forme ec3i+alente mai 'im"le (forma minim). Soluia minim obinut (n urma minimi)rii ar trebui ' fie cea mai a+anta,oa' (economie de "ori lo.ice, obinerea unei 'c3eme mai fiabile, mai ieftine). >n realitate nu e'te (ntotdeauna aa. 6e exem"lu, dorina de a obine un 'i'tem uor de"anabil "oate duce la obinerea unei 'oluii neminimale, dar care "re)int "ro"rieti intere'ante de 'imetrie i re.ularitate. %rin a"licarea metodelor de minimi)are (de 'im"lificare) 'e a,un.e la ex"re'ii minimale 'ub forma unor S*: uri de S9 uri (reuniune minimal) ori a unor S9 uri de S*: uri (inter'ecie minimal). 7riteriile utili)ate (n +ederea minimi)rii 'unt# - reducerea numrului de +ariabile4 - reducerea numrului de termeni4 - reducerea "e an'amblu a +ariabilelor i termenilor, a'tfel ca 'uma lor ' de+in minim. -inimi)area con't (n "rinci"al (n tran'formarea formelor canonice i a formelor elementare "arial 'im"lificate (n forme elementare minimale. -etodele de minimi)are "ot fi .ru"ate (n metode al.ebrice i metode .rafice. 1.4.3.1. Minimizarea grafic 1. 6ia.rama 2arnau.3 -inimi)area 'e ba)ea) "e "ro"rietatea de adiacen a codului binar reflectat (@raA) cu a,utorul cruia 'e numerotea) liniile i coloanele dia.ramei 2arnau.3. >n +ederea minimi)rii 'e ale. 'u"rafeele maxime ('ubcuburi) formate din con'titueni ai unitii, re'"ecti+ din con'titueni ai lui 0, 'u"rafee ('ubcuburi) a+?nd ca dimen'iune un numr de "trate (com"artimente) e.al (ntotdeauna cu "uteri ale lui 2. *ce'te 'u"rafee +or core'"unde termenilor canonici, termenii +ecini fiind

adiaceni (difer "rintr un 'in.ur bit). 7a urmare, (n urma .ru"rii lor 'e +or reduce +ariabilele "e ba)a relaiei# x1x2 + x1x2 = x1. Metoda de minimizare# - 'e reali)ea) .ru"ri de com"artimente ('ubcuburi) care 'unt "uteri ale lui 2. :n com"artiment "oate fi membru al mai multor 'u"rafee. B 'u"rafa cu 2m celule +ecine +a elimina 2m +ariabile de intrare. - 'e 'criu ecuaiile core'"un)toare fiecrei 'u"rafee, obin?ndu 'e a'tfel termenii elementari. - 'e reali)ea) forma di',uncti+ minim (F6-) "rin (n'umarea termenilor elementari obinui "rin .ru"area con'tituenilor lui 1 'au forma con,uncti+ minim (F7-) "rin (nmulirea termenilor elementari obinui "rin .ru"area de con'titueni ai lui 04 funciile minimale obinute 'unt identice, ele diferind numai "rin forma de "re)entare. %entru a 'e obine forma minimal a unei funcii booleene e'te util ' 'e minimi)e)e ambele forme canonice, F77 i F76. *"oi, (n funcie de di'"onibilitatea com"onentelor i de numrul de conexiuni care re)ult, 'e "oate ale.e forma minimal a funciei booleene care +a fi im"lementat. Exemplu# f(x1,x2,x$,xC) = ($, D, E, F, 12, 1$, 1G) xC x1x2 x$xC 00 01 x1 11 10 00 0 0 1 1 01 0 0 1 1 11 1 1 1 0 10 0 0 0 0 x2

x$ %entru F6- a funciei 'e obin dou +ariante, du" cum 'e ale. 'u"rafeele "entru minimi)are# fF6-1 = x1x$ + x1x$xC + x1x2xC 'au fF6-2 = x1x$ + x1x$xC + x2x$xC 9m"lementarea cu "ori de ti" S9 H: arat a'tfel# fF6-1 = x1x$ + x1x$xC + x1x2xC = = x1x$ x1x$xC x1x2xC -inimi)area funciei ne.ate +a fi# fF6- = x1x$ + x$xC + x1x2x$
C

=a fel 'e "rocedea) i la minimi)area funciei "rin folo'irea con'tituenilor de 0# xC x1x2 x$xC 00 01 11 10 00 0 0 1 0 01 0 0 1 0 x2 x1 11 1 1 1 0 10 1 1 0 0 x$ Forma minimi)at con,uncti+ a funciei F7- e'te# fF7- = (x1+x$)(x$+xC)(x1+x2+x$) 2. 6ia.rame 2arnau.3 "entru funcii incom"let definite Funciile incom"let definite 'unt cele care (n anumite "uncte ale domeniului de definiie "ot lua +aloarea 0 'au +aloarea 1. *+em dou "o'ibiliti# - combinaii de intrare "entru care funcia are +alori indiferente (nedefinite)4 - combinaii ale +ariabilelor care nu "ot ' a"ar din "unct de +edere fi)ic4 (n ace'te 'ituaii trebuie 'tudiat dac combinaiile 'unt 'u'ce"tibile ' 'e "roduc (n urma unei mane+re fal'e 'au (n urma unui defect de funcionare4 "entru a e+ita funcionarea .reit, (n locaiile core'"un)toare 'e im"un +alori "entru funcie, a'tfel (nc?t ' nu 'e "erturbe funcionarea normal. Ialorile ne'"ecificate "recum i locaiile core'"un)toare din dia.rama 2arnau.3 'e nume'c JindiferenteK 'au JarbitrareK 'au JredundanteK. !le 'e notea) cu JxK i +or fi con'iderate (n tim"ul minimi)rii ca a+?nd +aloarea 1 'au 0, (n funcie de 'ituaie, "entru a 'e obine o minimi)are c?t mai bun. xC x1x2 x$xC 00 01 x1 11 10 00 x 1 1 01 x 1 1 x 11 1 1 1 10 x x x2

x$ 7a ' minimi)m funcia (n F6- con'iderm c x au +aloarea 1 i .ru"m aceti x numai cu +alorile de 1, nu i (ntre ei (o .ru"are (ntre ei nu are nici o 'emnificaie). Se obine# fF6- = x1x2 + x2x$ + x1xC + x2xC
G

*bs& >n ca)ul funciilor incom"let definite, funcia com"lementar 'im"lificat "rin .ru"ri de 0 nu coincide (ntotdeauna cu com"lementul funciei. $. 6ia.rame 2arnau.3 cu ex"re'ii a. Superpoziia funciilor booleene Fie o funcie boolean f(L) cu L = (x 1,x2,, xi, xi+1,,xn). 6ac con'iderm L1 = (x1,x2,, xi) i L2 = (xi+1,,xn) i dac funcia f(L) "oate fi 'cri' ca o funcie f(L) = f $;f1(L1), f2(L2)< atunci '"unem c f(L) a fo't obinut "rin 'u"er"o)iia funciilor f1(L1) i f2(L2). 6ac L1L2 = atunci a+em o 'u"er"o)iie di',unct, iar dac L1L2 a+em o 'u"er"o)iie nedi',unct. x1 f xn 6u" 'u"er"o)iie a+em# x1 f1 xi f$ f xi+1 f2 xn b. Decompoziia funciilor booleene 6ac 'e d o funcie boolean i un 'et de funcii 'e cere ' 'e reali)e)e o J'"ar.ereK a funciei booleene. S a reuit decom"o)iia funciei booleene dac# f = fm ;fm 1(Lm 1), fm 2(Lm 2),,f1(L1),L0< unde Li L 6ac f "oate fi 'cri' ca f = f2;f1(L1),L0< decom"o)iia e'te 'im"l.
m1

6ecom"o)iia e'te nedi',unct dac# Li =

i=, m1

6ecom"o)iia e'te di',unct dac# Li

i=,

Exemplu# f(x1,x2,x$,xC) = (0, 2, $, D, F, 10, 11, 1C) xC x1x2 x$xC 00 01 11 00 1 1 01 1 x1 11 10 1 1

M

10 1 x2 1 1

x$ fF6- = x1x2xC + x1x$xC + x1x$xC + x1x2xC = x2(x1 xC) + x$(x1 + xC) = = x2@ + x$@ unde @ = x1 + xC i deci f 'e "oate 'crie# f = f2;@(x1,xC), x2,x$< %ornind de la acea't form "entru f, facem o minimi)are. f = x2@ + x$@ = x2@(x$ + x$) + x$@(x2 + x2) = = x2x$@ + x2x$@ + x2x$@ + x2x$@ = x2x$ + x2x$@ + x2x$@ 6ia.rama 2arnau.3 core'"un)toare e'te# x2 x$ 0 1 0 @ 1 x2 1 0 @ x$ >n .eneral o dia.ram 2arnau.3 cu JnK ex"re'ii ('au +ariabile) are n 2 locaii. %rin (n.lobarea (n dia.ram a JmK ex"re'ii (+ariabile) dimen'iunea dia.ramei 'e reduce, numrul de locaii de+enind 2n m. %entru a minimi)a o funcie "rin dia.rame 2arnau.3 cu ex"re'ii 'e fac urmtorii "ai# 1) 'e con'ider toate +ariabilele din dia.ram ca i cum ar fi 0 i 'e formea) 'u"rafee ('ubcuburi) cu con'tituenii lui 14 2) 'e con'ider toate locaiile cu 1 indiferente i 'e formea) 'u"rafee ('ubcuburi) cu +ariabilele (n.lobate4 $) 'e con'ider inter'ecia +ariabilelor (n.lobate cu .ru"rile obinute (n "a'ul 24 C) 'e face reuniunea termenilor din "aii 1 i $4 G) "entru mai mult de o +ariabil (n.lobat 'e tratea) "e r?nd conform "ailor 1 C numai c?te o +ariabil, celelalte fiind con'iderate 0, iar a"oi 'e 'crie reuniunea tuturor termenilor obinui. Exemplu# S 'e minimi)e)e funcia cu +ariabile (n.lobate# x1 x2x$ 00 01 11 10 0 a+b 1 c 1 1 1 x %a'ul 1. x1 x2x$ 00 01 11 10 0 1 1 1 1 x Se obine x2x$ + x1x$ %a'ul 2 i $. x1 x2x$ 00 01 11 10 0 a+b x c 1 x x x
D

Se obine cx2 + (a+b)x1x$ %a'ul C. f = x2x$ + x1x$ + cx2 + (a+b)x1x$