Modalitati de reprezentare a functiilor booleene 1. Forme de unda 2. Expresii algebrice: 2.1.elementare @ — canonice * ~~ minimizate 2.2. neelementare 3. Tabel de adevar 3.1. cu fun ii exprimate doar cu 0 si 1 3.2. cu functii dependente si de variabile de intrare sau de functii ale acestora 4, Scheme de implementare: cu 3 sau mai multe niveluri de porti 5. Limbaj Verilog 6. Limbaj natural Pentru o functie reprezentarile sunt echivalente: se poate face translatarea din oricare din cele 6 forme in altaMinimizarea functiilor : u valorile dependente de variabile de intrare ( d) si functii ale variabilelor de intrare (ef) cu termeni "don't care" (notati cu "x" si egali cu 0 sau cul in functie de necesitatile de minimizare) cb al f Reprezentarea f_prin forma canonica, 0]0 00 ef 1]0 0 4] x £ = (ef) mo tx. mit xem + 1 ms +0. mat dems +x6Ms + Lem: = 2/0 10) x 3jo 14) 14 Lamk= mk Oame= 0 4/1 00] 0 silt odd f= ef-c'b'a’ + x.c'b'a + xc'ba’ + c'ba + d.cb'a +x-cba'+cba 6/1 10] x 7111/1 Reprezentare f prin diagrame VK ba c 00 01 11 10 <a] x=0 OL ef f ef| x=ef, termenul 2 = da termenul 3 = efc" finn = termenul 1 +termenul2+termenul3 = b+datefc'Alte exemple de minimizari : Minimizarea functiilor incomplet specificate C Tabelul de adevar 00070 BA si Diagrama VK 001]x C\@2 @1 11 io . 010]xX pentru functia f 0111x incomplet specificata. 1001/0 1041/D 1101/0 1141/71 Etapele minimizarii: f= Xm,+ Xm, + Xm; + Dm; +m, BA c\ 02 .@i ii — b. Minimizarea f considerind variabila D c. Minimizarea f considerind DE f min = DB' + DEB aplicand semiabsorbtia rezulta : f min = DB' + DESumatorul (half-adder ) Sumi a b a b alb [carry] sum ofol[o - Sumator = Sumator o|1[ 0 Tit Lbit 1{o] 0 44f 1 2 suma carry sum Din tabel obtinem forma canonica (generala) a celor doua functii dupa formula: a celor doua functii va fi: carry = ab Reprezentarea cu porti —H sum = a'b + ab'=a@b carry sunsum| carry| =J=]=]=Jelelefe|» |alolo|s[sfolole =lel=le/=/el-|elo carTy out 4 Sumatorul (adder) a[n-1] b[n-1] Sumator Lbit sum[n-1] Ie ee a b Carry ou oe | ah sum aft] b[1] alo] b[0] ‘Sumator 1 dit sum[1] carry in Sumator Lit sum[0]Rezolvare sumator sum = 71+ 72+ 14+ 77= a b(clsum|carry| Ooo} o| Oo = a’b'c + a’bc' + ab'c' + abc = ot 3 1 S = a' (b'c + bc’) + a (b'c' + bc) = a' (b +c) +a(b+C)' otto =a@(b@c)= (a@b)@c 1/0}0}] 1 0 1/0/41] 0 1 1/1/0] 0 1 =13+7T5+T6+T7= tiijijp i} 4 = a'be + ab’c + abe’ + abe = (a'b + ab’) c + ab(c'+c) = =(a®b)c+ab carry sun