Sisteme expert * Test I * 29 octombrie 2013

Se d a formula = [(a b) c] a (c b). a) Aati tabela de adev ar aforulei folosind arbori semantici. b) Folosind tabela de adev ar, aat i formele FNC si FND complete ale formulei . c) Reducet i num arul implicant ilor si determinat i implicant ii primi folosind diagrama Karnaugh-Veitch. d) Reducet i num arul implicant ilor folosind metoda Quine-McCluskey. e) Reducet i num arul implicant ilor folosind formule de calcul prescurtat. f) Indicat i FNC si FND reduse ale formulei . Solut ie. Se observ a c a 0x = 0 x = 1, x0 =x 0=x , si deci, dezvolt and arborele semantic din gura de mai jos UUU UUUU iiii i i i UUUa a=0 iii U=1 i UUUU i i i i UUUU i i i UU* ii i t 1 A 2 w A } GGG w A } GG AA b=1 b=0 ww b=0 } b=1 } GG AA ww }} w G# A } {w ~} 5 A 4 ? 6 = 0 3 = 1  AA }} ??? c=1 c=1 c=0 } c=0  AA  ?? } AA  } ?  } ? A   ~}} 1 0 1 0 rezult a: 0 (c b) = (1 c) 1 (c b) = c c b = c ( c b) = c b 1 = |a=0 = [(0 b) c] = | ) 0 = bc 2 a=1 = [(1 b) c] 1 (c b) = (b c) 0 (c b) = (b c) 1 = (b c 3 = 1 |b=0 = c 0=c 1 = 1, 4 = 1 |b=1 = c 1=c 5 = 2 |b=0 = 1 c = c , 6 = 2 |b=1 = 0 c = 0 Parcurg and ramurile arborelui semantic1 , obt inem tabela de adev ar a formulei . Frazele asociate FND/FNC complete sunt localizate respectiv la ie sirile 1/0 ale formulei : # 0 1 2 3 4 5 6 7 abc 000 001 010 011 100 101 110 111 1 1 1 0 1 0 0 0 FND/FNC f0 = a bc f1 = a bc f2 = a bc p3 = a bc f4 = a bc p5 = a b c p6 = a b c p7 = a b c 1x = 1x=x x1 =x 1 = 1.

1 Valorile binare ale variabilelor se culeg de pe ramurile consecutive ale arborelui care unesc r ad acin a cu ecare dintre nodurile terminale; cifra binar a din nodul terminal reprezint a valoarea de adev ar corespunz atoare a formulei .

Colect and frazele, respectiv propozit iile din dreapta tabelei de adev ar, rezult a FND respectiv FNC complete ale formulei : = f0 f1 f2 f4 (F N D) = p3 p5 p6 p7 (F N C ). Complet and celulele diagramei Karnaugh-Veitch cu valorile lui corespunz atoare tripletelor abc din tabela de adev ar, obt inem ab c 0 1 00 1 1 01 1 0 11 0 0 10 1 0 3 = bc ;

Se observ a c a valorile unitare din diagram a sunt acoperite de dreptunghiuri maximale2 , dup a cum urmeaz a 1 = a b; 2 = a c ;

iar cei trei implicant i primi 1,2,3 asociat i dreptunghiurilor3 conduc la FND redus a = 1 2 3 . Pentru a aplica metoda Quine-McCluskey, pornim de pa frazele FND complete ale formulei din tabela de adev ar si cupl am perechile de fraze (de numere binare) care difer a printr-un singur bit4 , si trec and rezultatul n coloana urm atoare. Obt inem tabelul: (0) (1) (2) (4) I 000 001 010 100 * * * * II (01) 00(02) 0-0 (04) -00

iar expresiile binare din coloana a doua produc implicant ii formulei , respectiv frazele 1 , 2 , 3 , si deci are FND redus a: = 3 2 1 ( a b) ( bc ) ( ca ). Folosind distributivitatea conjunct iei fat a de disjunct ie, comutativitatea, idempotent a si absorbt ia5 , rezult a FNC redus a: = ( a b) ( bc ) ( ca ) ( a bc ) = ( a b) ( bc ) ( ca ) 1 2 3 . Formula se poate reduce si direct, folosind tehnici de calcul prescurtat; = [(a b) c] a (c b) = ( a b c) a ( c b) = a b c a ( c b) = [( a b) c ] ( a b c) = [( a b) ( a b c)] [ c ( a b c)] = [ a b ( a b c)] [ c (c a b)] = [ a b ( ba c)] [ c ( a b)] = ( a b) [( ca ) ( c b)] = ( a b) ( bc ) ( ca ), deci FNC redus a. Folosind distributivitatea disjunct iei fat a de conjunct ie, comutativitatea, idempotent a si absorbt ia6 = ( a b) ( bc ) ( ca ) ( a bc ) = ( a b) ( bc ) ( ca ).
2 Dreptunghiurile au dimensiunile laturilor puteri ale lui 2 si se construiesc toroidal pe suprafat a diagramei - care se nf a soar a at at pe linii, c at si pe coloane. Spre exemplu, un dreptunghi poate uni circular ultimul element al unei linii cu primul element al acesteia precum n cazul dreptunghiului al treilea care genereaz a implicantul 3 sau ultimul element al unei colane cu primul s au element. 3 Se citesc valorile binare aferente dreptunghiului considerat, aate n capul de tabel (st anga si sus). Dac a bitul unei variabile din capul de tabel cont ine pe ancul dreptunghiului format ambele valori 0 si 1, atunci variabila respectiv a dispare din fraza produs a; din contr a, dac a variabila respectiv a are pe ancul dreptunghiului doar una dintre valorile 0/1, atunci acea variabil a va intra n fraz a respectiv negat a/ne-negat a. 4 Marc am aceste perechi de fraze cu asterisc si le elimin am la nal. 5 Cele 23 propozit ii ce rezult a prin aplicarea distributivit a tii, comutativit a tii si idempotent ei coincid pe perechi, iar oricare dintre cele trei propozit ii nale de mai jos absorb a patra propozit ie a bc . 6 Cele 23 fraze ce rezult a prin aplicarea distributivit a tii, comutativit a tii si idempotent ei coincid pe perechi, iar oricare dintre cele trei fraze nale de mai jos absorb a patra fraz aa bc .