Documente Academic
Documente Profesional
Documente Cultură
Operatori ( +, •, ‘ )
Variabile
Mulţime de variabile
Constante ( 0, 1 )
binare
Grupări în paranteze
Exemple:
F(a,b) = a b b
H(x,y,z) = x (y z)
1
F=x•y 0
Semnale 1
“poartă” G=x+y 0
de ieşire 1
H=x 0
x F
y
May 26, 2020 11
Circuite combinaţionale logice (cont.)
Pentru a proiecta un circuit eficient
trebuie să minimizăm dimensiunea x y z F G
acestuia (aria) şi latenţa de propagare 0 0 0 1 1
(timpul necesar ca semnalul sau
semnalele de intrare să producă valoarea 0 0 1 1 1
la ieşire) 0 1 0 1 1
Tabela de adevăr pentru 0 1 1 1 1
F=x + y • z + x •y
1 0 0 0 0
G=x + y • z
Tabelele de adevăr pentru funcţiile F şi G 1 0 1 0 0
sunt identice avem de-a face cu 1 1 0 1 1
aceeaşi funcţie
1 1 1 0 0
Vom utiliza forma G pentru a
implementa circuitul logic (avem nevoie
de mai puţine componente)
x F
z
y
x G
2. Teoremele de unicitate:
• Elementul 1 este unic
• Elementul 0 este unic
3. Teoremele complementării:
• Principiul contradicţiei: x x 0
• Principiul terţului exclus: x x 1
5. Teoremele absorbţiei:
• x (x y)=x
• x (x y)=x
x y x y
• xy = y x
• x (y z)=(x y) z
• x (y z)=(x y) (x z)
• x y=y x
• x (y z)=(x y) z
• x (y z)=(x y) (x z)
H = (x + y + z) (x + y + z)
Duala nu are întotdeauna aceeaşi valoare de adevăr cu
expresia iniţială
În cazul unei egalităţi booleene, duala acesteia este, de
asemenea, validă.
May 26, 2020 18
Proprietăţi de dualitate
Conform regulilor dualităţii putem rescrie
teoremele reuniunii şi intersecţiei:
F2(x,y,z) = (x • y • z) + (x • y • z) + (x • y • z) (1)
= (x • y + x • z + y • z)(x • y • z) (2)
Obs. x • y • z = x + y + z
Calcul direct:
F = xyz + xyz + xz
= xy(z+z) + xz
= xy•1 + xz
= xy + xz
May 26, 2020 26
Calcul algebric (cont.)
Exemplu. Demonstraţi că:
xyz+xyz+xyz=xz+yz
Demonstraţie:
xyz+xyz+xyz
=xyz +xyz+xyz+xyz
= x z (y + y) + y z (x + x)
= x z •1 + y z •1
=xz +yz
Q.E.D.
B2 0 , 1
f : B2 B2
f : B2 B2 B2
f : B2 B2 B2 B2
n ori
Forme canonice:
Forma minterm (FCD – forma canonică disjunctivă) – SUMĂ de
produse – variabilele sau complementele lor în cadrul unui mintermen
sunt legate prin operaţia booleana ŞI, iar mintermenii sunt legaţi prin
operaţia booleană SAU. În sumă apar mintermenii pentru care funcţia
booleană are valoarea 1.
Forma maxterm (FCC – forma canonică conjunctivă) – PRODUS de
sume – variabilele sau complementele lor în cadrul unui maxtermen sunt
legate prin operaţia booleana SAU, iar maxtermenii sunt legaţi prin
operaţia booleană ŞI. În produs apar maxtermenii pentru care funcţia
booleană are valoarea 0.
Formele canonice sunt unice.
Funcţie de 2 variabile
x y Mintermeni Maxtermeni
mi Mi
0 0 m0 x y M0 x y
0 1 m1 x y M1 x y
1 0 m2 x y M2 x y
1 1 m3 xy M3 x y
x y z Mintermeni Maxtermeni
mi Mi
0 0 0 m0 x y z M0 x y z
0 0 1 m1 x yz M1 x y z
0 1 0 m2 x y z M2 x y z
0 1 1 m3 x yz M3 x y z
1 0 0 m4 x y z M4 x y z
1 0 1 m5 x yz M5 x y z
1 1 0 m6 xy z M6 x y z
May 26, 2020 1 1 1 m7 xyz M7 x y z 46
Exemplu
Fie tabela de adevăr următoare: x y z f1
FCD pentru f1 este: 0 0 0 0
f1(x,y,z)= m1 + m2 + m4 + m6
0 0 1 1
=xyz+xyz+xyz +xyz
0 1 0 1
FCC pentru f1 este:
0 1 1 0
f1(x,y,z) = M0 • M3 • M5 • M7
= (x+y+z)•(x+y + z )• (x 1 0 0 1
+y+z )•( x + y + z ). 1 0 1 0
Observaţie: mj = Mj 1 1 0 1
1 1 1 0
May 26, 2020 47
Prescurtări: ∑ şi ∏
f1(x,y,z) = ∑ m(1,2,4,6), unde ∑ indică faptul că este
vorba despre o sumă-de-produse, iar m(1,2,4,6) indică
faptul că mintermenii din sumă sunt m1, m2, m4 şi m6.
f1(x,y,z) = ∏ M(0,3,5,7), unde ∏ indică faptul că este
vorba despre un produs-de-sume, iar M(0,3,5,7) indică
faptul că maxtermenii din produs sunt M0, M3, M5 şi
M7.
Deoarece mj = Mj pentru orice j,
∑ m(1,2,4,6) = ∏ M(0,3,5,7) = f1(x,y,z)
f1(x,y,z) = xyz+yz+xz
reprezintă o formă standard sumă-de-produse
f1(x,y,z) = (x + y + z)•(y + z )•( x + z )
reprezintă o formă standard produs-de-sume
f(x1,x2) = x1 x2 + x1 x2 + x1x2
= m 0 + m1 + m2
= x 1 + x2
În diagrama Karnaugh valorile de 1 x2
reprezintă mintermenii m0, m1, m2 x1 0 1
Gruparea celulelor cu valoarea 1 0 1
permite simplificarea
Ce funcţii (mai simple) sunt 0
reprezentate de fiecare grupare? 1 1
x1 = m0 + m1 2 3
x2 = m0 + m2
1 1 0
Obs. m0 este cuprins în ambele
grupări
0 m0 m1 m3 m2
4 5 7 6
1 m4 m5 m7 m6
grup de 2 termeni
grup de 4 termeni
May 26, 2020 59
Regulile de simplificare
f1(x, y, z) = ∑ m(2,3,5,7) 0 1 1
1 1 1
f1(x, y, z) = x y + xz
f2(x, y, z) = ∑ m (0,1,2,3,6)
1 1 1 1
f2(x, y, z) = x +y z
1
00 m0 m1 m3 m2
01 m4 m5 m7 m6
10 m8 m9 m11 m10
1 1 1 1 1 1
1 1 1 1
1 1 1 1 1 1
f(a,b,c,d) = c + b d + a b d
May 26, 2020 64
Simplificarea produselor de sume
• f(a,b,c,d) = ab + ac + a b c d
• Duala lui f este: (a+b)(a+c )(a +b+c+d )
• Complementarea tuturor literalelor în duala lui (f ):
f = (a +b)(a +c)(a+b+c+d)
A 3-a soluţie? 0 1 0 1
1 1 0 1
0 0 x x
1 1 x x
May 26, 2020 68
cd
Exemplu ab
x 1 0 0
1 x 0 x
Simplificaţi funcţia 1 x x 1
g(a,b,c,d) 0 x x 0
g = a’c’+ ab x 1 0 0
sau 1 x 0 x
1 x x 1
g = a’c’+b’d 0 x x 0
x 1 0 0
1 x 0 x
1 x x 1
0 x x 0
May 26, 2020 69