Curs 5

SINTEZA CIRCUITELOR COmBINAIONALE

minimizarea logic exact = minimizarea logic exact vizeaz rezolvarea gsirii unei acoperiri

minimale.
Teorema Quine
Exist o acoperire minim care este prim.
Demonstraie: Se consider o acoperire minim
minter
care nu este alctuit din implicani primi. Fiecare
A
m
implicant care nu este prim poate fi nlocuit printr-un
00
implicant prim care-l conine. Astfel, mulimea rezultat
1
0
de implicani este o acoperire i are aceeai
3
0
cardinalitate ca i acoperirea iniial. n consecin,
70
Implicant = grup de 1
1
1. Implicant prim = cel mai mare grup posibil 8
de- 1
9 - that1
2. Implicant prim esential = the prime implicant
11in- any 1
has at least 1 minterm that cannot be combined
15 1
other way
Y(A,B,C,D) = m(0,1,3,7,8,9,11,15) => suma
de mintermi

1. Echivalentul binar al minterm-ului (al membrilor

lui)

0
0
0
1
0
0
0
1

0
0
1
1
0
0
1
1

0
1
1
1
0
1
1
1

3. Se compara si se fac perechi din mintermii de dinainte

2. Se grupeaza mintermii in
functie de cati de 1 are fiecare
minterm

comparandu-se grupul n cu grupul n+1 (adica

grupurile consecutive).
Ex.: Se compara grupul 3 cu grupul 3+1 (adica 4)
Se compara toti mintermii grupului 3 cu mintermii din grupul
4 (fiecare din 3 cu fiecare din 4)
Intre mintermii unei perechi trebuie sa difere doar 1 variabila
care va fi notata in tabel cu -.

Gr
Grup
up

mi Reprezentare
Perechi
Reprezentar
nt
binara
(cine cuAcine
B C eDbinara
er
se compara) A B C D
0 0
m0 m1
m8 0
m1x m0 0
xm8
1 0
m1 m3
m9 0
m3 m1 0
m8

m9 0
m9
1

0 0
0 0
0- 10
0 0
0 0
1- 10
01 10

23

m7 1
m7 m3 0
m3

m11
m11
1 0
m9 m11

10 11- 10
1 0

m15
1 1
m7 m15
m11 m15

m0

1
2

1
1
-

0
0

Grupul
de

0
0

1
1
-

Grupul
de

1
1
-

1
1
1

1
1

1
1

Variabilel
e diferite
intre
grupuri

4. Asemanator

Provine
cu pasul 3 se
Se observa ca daca
Grup
Perechi
Reprezentare binaradin
compara
perechile
si
comparat
X = mai mult de 1 variabila e diferit = NU
vom face inca un tabel
A
B
C
D
ia
diferit
se noteaza
de comparatie
nu se
= termenul
1 singura variabila e diferita = DA => se trece
vor mai gasi alte
cu -
grupuri asadar se vor
(m0 m1) (m8 m9)
0 0
scrie variabilele
0
(m0 m8) (m1 m9)
0 0
5. Se creaza un tabel cu mintermii folositi in fiecare implicant prim.
Se marcheaza in tabel cu x in dreptul
(m1 mintermului
m3) (m9 implicat
m11) in- IMPLICANTUL
0
1 PRIM.
1 cu un singur x si se iau in considerare implicantii primi care din dreptul
Se incercuiesc coloanele
(m1 m9) (m3 m11)
0
1
lor la scriere formulei finale.

(m3 m7) (m11 m15)

(m3 m11) (m7 m15)

1 1
1 Y =B
1 C+

CD
BC
D

Implica
nt Prim

Implicant
Prim

Minterm
implicat

BC

0, 1, 8, 9

BD

1, 3, 9, 11
CD

3, 7, 11, 15

x
x

x
x

11

15

x
x

Exemplul 2:

Mintermii

Imperecherea perechilor
OBS: Grupul (0, 8) se imperechea cu
grupul (4, 12) dar exista deja o pereche
cu aceeasi mintermi asdar se vor
considera ca fiind imperecheate si se
Imperecherea
mintermilor
Minter
mii
grupati
dupa
numaru
l de 1

Implicanti primi.
OBS: Termenii care nu au trecut in
urmatorul tabel de imperechere
sunt Implicanti primi.

Perechea
de
0, 4, 8,
Prima pereche
include si
mintermul celei de-

4, 5

5, 7
7, 15
11, 15

Se aleg termenii astfel incat sa ai ajungi sa ai toti

f ( w , x , y , z )= y z+ wyz+ w x z