Sunteți pe pagina 1din 6

Curs 3

1.4.3.2. Minimizarea algebric Minimizarea algebric a funciilor booleene se face cu ajutorul teoremelor algebrei booleene. n cazul n care numrul de variabile este mai mare dect 6 se utilizeaz metoda de minimizare Quine-Mc Cluskey . Aceast metod are avantajul c algoritmul este uor de implementat pe calculator. entru prezentarea metodei vom lua ca e!emplu funcia" f # $%& '& (& )& *& +& ,%& ,,& ,(& ,)Etapele de minimizare sunt" ,. .e grupeaz termenii canonici astfel nct termenii din fiecare grup s conin acelai numr de ,& respectiv %. /0 !, !' !( !1 % % % % % ' % % , % + , % % % ( % % , , ) % , % , ,% , % , % * % , , , ,, , % , , ,( , , % , ,) , , , , '. .e compar fiecare termen dintr2o grup cu toi cei din grupa urmtoare& aplicnd relaia de reducere" !,!' 3 !,!' # !,. .e grupeaz termenii care difer printr2o singur variabil $o singur poziie binar-. /ermenul obinut prin combinare va conine pe poziia respectiv semnul 2. 0omparare 4ezultatul comparrii ntre !, !' !( !1
%& ' %& + '& ( '& ,% +& ,% (& * (& ,, )& * )& ,( ,%& ,, *& ,) ,,& ,) ,(& ,) % 2 % 2 , % 2 % 2 , 2 , , % % % % % 2 % , , % , 2 , , 2 % , , 2 , , 2 % , , , 2 % % 2 % % , , , , 2 , , ,

n continuare se repet procedeul de comparare pn cnd nu mai este posibil nici o reducere. 0omparare 4ezultatul comparrii ntre !, !' !( !1 %& '& +& ,% 2 % 2 % '& (& ,%& ,, 2 % , 2 (& *& ,,& ,) 2 2 , , )& *& ,(& ,) 2 , 2 , /ermenii rezultani& $%& '& +& ,%-& $'& (& ,%& ,,-& $(& *& ,,& ,)- i $)& *& ,(& ,)- se numesc implicani primi 5 . (. .e aleg acei implicani primi 5 care asigur acoperirea minimal a termenilor canonici /0. entru aceasta se construiete un tabel de acoperire& n care pe coloane se noteaz termenii canonici /0& iar pe linii implicanii primi 5 . n intersecii se noteaz acei termeni canonici /0 acoperii de fiecare implicant prim 5 . 5 /0 % ' ( ) * + ,% ,, ,( ,) %& '& +& ,% ! ! ! ! '& (& ,%& ,, ! ! ! ! (& *& ,,& ,) ! ! ! ! )& *& ,(& ,) ! ! ! ! 6nii dintre implicanii primi sunt implicani primi eseniali pentru c acoper cel puin un termen canonic al funciei& care nu este acoperit de alt implicant prim. 5mplicanii primi eseniali vor face parte n mod obligatoriu din e!presia minimizat a funciei. n cazul nostru implicani primi eseniali sunt $%& '& +& ,%- i $)& *& ,(& ,)-. entru termenii canonici care au rmas neacoperii& ( i ,,& se observ c pot fi alei ' implicani primi& $'& (& ,%& ,,- i $(& *& ,,& ,)-& deci e!ist ' soluii de minimizare. f # $%& '& +& ,%- 3 $)& *& ,(& ,)- 3 $'& (& ,%& ,,- # !'!1 3 !'!1 3 !'!( i f # $%& '& +& ,%- 3 $)& *& ,(& ,)- 3 $(& *& ,,& ,)- # !'!1 3 !'!1 3 !(!1 1.4.4. Minimizarea sistemelor de funcii booleene .istemele de funcii booleene sunt e!primate prin f" 7 n 7m unde 7 #{%& ,}. Argumentele pot fi de n variabile i sunt mai multe funcii de acest tip" f,& f'&8& fm. entru a minimiza sistemele de funcii se caut implicani primi pentru f,& f'&8& fm i pentru produsele f,f'& f,f(8& f,fm& 8 f,f'f(&8& f,f'f(f1&8& 8 f,f'8fm. Soluia aleas pentru implementarea sistemului de funcii booleene va fi cea care va fi cea mai avantajoas din punct de vedere al circuitelor disponibile i al preului.

'

E emplu" f,$!,&!'&!(- # $,& )& 6& *f'$!,&!'&!(- # $,& 1& )& 6f($!,&!'&!(- # $%& '& )& 6& *,. 0alculm funciile produs" f,f' # $,& )& 6f,f( # $)& 6& *f'f( # $)& 6f,f'f( # $)& 6-& identic cu f'f( '. 9eterminm implicanii primi din funciile simple i din produsele determinate la punctul ,. entru determinarea implicanilor primi se folosesc diagrame :arnaug; n care se iau toate acoperirile posibile. entru f," !, !'!( %% %, ,, ,% % , , , , , entru f'" !, !'!( %% %, ,, ,% % , , , , , entru f(" !, !'!( %% %, ,, ,% % , , , , , , entru f,f'" !, !'!( %% %, ,, ,% % , , , , entru f,f(" !, !'!( %% %, ,, ,% % , , , , entru f'f( i f,f'f(" !, !'!( %% %, ,, ,% % , , , (. 0onstruim un tabel n care capetele de linii vor reprezenta funciile& iar coloanele vor fi implicanii primi.

5mplicani primi 5ndici =!presii >otaii f, ,&) !'!( 2 6&* !,!' 2 )&* !,!( 2 f' ,&) !'!( 2 1&) !,!' i 1&6 !,!( ; f( %&' !,!( g '&6 !'!( f 6&* !,!' 2 )&* !,!( 2 ,&) !'!( e f,f' 6 !,!'!( 2 )&* !,!( d f,f( 6&* !,!' c ) !,!'!( b f'f( # f,f'f( 6 !,!'!( a 1. .e noteaz 5 pe coloana a patra din tabel ncepnd cu ultimul& iar cei care apar dublai nu se mai noteaz. ). .e construiete un tabel al acoperirilor funciilor f,& f'& f(. >otaii 5ndicii <uncia de f, f' f( unde au , ) 6 * , 1 ) 6 % ' ) 6 * rezultat a 6 ! ! ! f,f'f( b ) ! ! ! f,f'f( c 6& * ! ! ! ! f,f( d )& * ! ! ! ! f,f( e ,& ) ! ! ! ! f,f' f '& 6 f( ! ! g %& ' f( ! ! ; 1& 6 f' ! ! i 1& ) f' ! ! 6. 9eterminm acoperirile optime ale funciilor f,& f'& f(. A$f,- # e&c 3 e&d&a # A, 3 A' cu e implicant prim esenial A$f'- # e&; 3 e&i&a # 7, 3 7' cu e implicant prim esenial A$f(- # g&c&b 3 g&c&d& 3 g&f&d 3 g&a&d # 0, 3 0' 3 0( 3 01 cu g implicant prim esenial *. .e scriu toate acoperirile posibile pentru sistemul de funcii i se alege acea acoperire care realizeaz condiiile de pre minim i disponibilitate de piese. .e face tabelul pentru acoperiri"
1

<uncia

Acoperiri =lementele acoperirii >umr de termeni 0ost A,7,0, e&c&;&g&b ) ,, A,7,0' e&c&;&g&d ) ,% A,7,0( e&c&;&g&f&d 6 A,7,01 e&c&;&g&a&d 6 A,7'0, e&c&i&a&g&b 6 A,7'0' e&c&i&a&g&d 6 A,7'0( e&c&i&a&g&f&d * A,7'01 e&c&i&a&g&d 6 A'7,0, e&d&a&;&g&c&b * A'7,0' e&d&a&;&g&c 6 A'7,0( e&d&a&;&g&f 6 A'7,01 e&d&a&;&g ) ,, A'7'0, e&d&a&i&g&c&b * A'7'0' e&d&a&i&g&c 6 A'7'0( e&d&a&i&g&f 6 A'7'01 e&d&a&i&g ) ,, Avem acoperiri minimale cu ) termeni. entru a calcula costul unei acoperiri se face suma costurilor implicanilor primi din acoperirea considerat. 0ostul unui implicant prim de n variabile din care lipsesc r variabile este n2r& pentru c fiecare variabil prezent necesit un contact& o legtur.
n2,

0 # gr $n2rr#%

unde gr este numrul subcuburilor din care lipsesc r variabile. entru acoperirea A,7,0'& care are elementele e&c&;&g&d& avem costul"
'

0 # gr $(2r- # g%( 3 g,' 3 g', # %( 3 )' 3 %, # ,%


r#%

e # !'!( c # !,!' ; # !,!( g # !,!( d # !,!( Minimizarea sistemului de funcii va fi" f, # !'!( 3 !,!' f' # !'!( 3 !,!( f( # !,!( 3 !,!( 3 !,!' # !,!' 3 !, 3 !( 9atorit reducerii corelate a sistemului de funcii apar pori comune mai multor funcii.
)