Sisteme expert * probleme preg

atitoare pentru testul I * [16 ianuarie 2016 * Varianta I]

Se da formula = [(a b) c] a
(c b).
a) Aflati tabela de adevar aformulei folosind arbori semantici.
b) Folosind tabela de adevar, aflati formele FNC si FND complete ale formulei .
c) Reduceti num
arul implicantilor si determinati implicantii primi folosind diagrama Karnaugh-Veitch.
d) Reduceti num
arul implicantilor folosind metoda Quine-McCluskey.
e) Reduceti num
arul implicantilor folosind formule de calcul prescurtat.
f) Indicati FNC si FND reduse ale formulei .
Solutie. Se observa ca

0x

= 0 x = 1,

1x

= 1 x = x

x0

=x
0=x
,

x1

=x
1 = 1.

si deci, dezvolt
and arborele semantic din figura de mai jos
ii UUUUUU
iiii
UUUUa=1
UUUU
i
i
i
UUUU
i
ii
i
UUU*
i
i
ti
1 A
2
AA
} ??? b=1

b=0 
b=1
b=0 }}
A
??
AA
}
??

AA
}}


~}}
4 A
1
3 ?
0
AA
}
?

}
?

c=0 }
c=0 
AAc=1
??c=1
}
AA
??

}}

A
}


~}
1
0
1
0
i
a=0
iiii

rezulta:

0 (c b) = (1 c) 1 (c b) = c c b = c (
c b) = c b =: 1
|a=0 = [(0 b) c]

) 0 = b c =: 2

a=1 = [(1 b) c] 1 (c b) = (b c) 0 (c b) = (b c) 1 = (b c

1 |b=0 = c
0 = c 1 = 1, 2 |b=0 = 1 c = c =: 4 3 |c=0 = 0 = 1 4 |c=0 = 0 = 1

;
;
;
1 |b=1 = c
1 = c =: 3
2 |b=1 = 0 c = 0
3 |c=1 = 1 = 0 4 |c=1 = 1 = 0.
Parcurgand ramurile arborelui semantic1 , obtinem tabela de adevar a formulei . Frazele asociate FND/FNC
complete sunt localizate respectiv la iesirile 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
b c
f1 = a
b c
f2 = a
b c
p3 = a b c
f4 = a b c
p5 = a
b c
p6 = a
b c
p7 = a
b c

Colectand frazele, respectiv propozitiile din dreapta tabelei de adevar, rezulta FND respectiv FNC complete
ale formulei :
{
= f0 f1 f2 f4 (F N D)
= p3 p5 p6 p7
1 Valorile

(F N C).

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

Completand celulele diagramei Karnaugh-Veitch cu valorile lui corespunzatoare tripletelor abc din tabela de
adevar, obtinem
ab
c

0
1

00
1
1

01
1
0

11
0
0

10
1
0

Se observa ca valorile unitare din diagrama sunt acoperite de dreptunghiuri maximale2 , dupa cum urmeaza
1 = a
b;

2 = a
c;

3 = b c;

iar cei trei implicanti primi 1,2,3 asociati dreptunghiurilor3 conduc la FND redusa = 1 2 3 .
Pentru a aplica metoda Quine-McCluskey, pornim de pa frazele FND complete ale formulei din tabela de
adevar si cuplam perechile de fraze (de numere binare) care difera printr-un singur bit4 , si trecand rezultatul
n coloana urmatoare. Obtinem 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 implicantii formulei , respectiv frazele 1 , 2 , 3 , si deci are
FND redusa:
= 3 2 1 (
a b) (b c) (
ca
).
Folosind distributivitatea conjunctiei fata de disjunctie, comutativitatea, idempotenta si absorbtia5 , rezulta
FNC redusa:
= (
a b) (b c) (
ca
) (
a b c) = (
a b) (b c) (
ca
) 1 2 3 .
Formula se poate reduce si direct, folosind tehnici de calcul prescurtat;

(c b) = (
a b c) a (
c b) = a
b c a (
c b)
= [(a b) c] a
= [(
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 (b a
c)] [
c (
a b)]
= (
a b) [(
ca
) (
c b)] = (
a b) (b c) (
ca
),

deci FNC redusa. Folosind distributivitatea disjunctiei fata de conjunctie, comutativitatea, idempotenta si
absorbtia6
= (
a b) (b c) (
ca
) (
a b c) = (
a b) (b c) (
ca
).

2 Dreptunghiurile au dimensiunile laturilor puteri ale lui 2

si se construiesc toroidal pe suprafata diagramei - care se nf
asoar
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, aflate
n capul de tabel (st
anga si sus). Dac
a bitul unei variabile din
capul de tabel contine pe flancul 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 flancul 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 final.
5 Cele 23 propozit
ii ce rezult
a prin aplicarea distributivit
atii, comutativit
atii si idempotentei coincid pe perechi, iar oricare dintre
cele trei propozitii finale de mai jos absorb a patra propozitie a
b c.
6 Cele 23 fraze ce rezult
a prin aplicarea distributivit
atii, comutativit
atii si idempotentei coincid pe perechi, iar oricare dintre cele
trei fraze finale de mai jos absorb a patra fraz
aa
b c.