Sunteți pe pagina 1din 3

Curs 5

SINTEZA CIRCUITELOR COmBINAŢIONALE


minimizarea logică exactă = minimizarea logică exactă vizează rezolvarea găsirii unei acoperiri minimale.

Teorema Quine 1. Echivalentul binar al minterm-ului (al membrilor lui)


Există o acoperire minimă care este primă.
Demonstrație: Se consideră o acoperire minimă care nu este
minterm A B C D
alcătuită din implicanţi primi. Fiecare implicant care nu este prim 0- 0 0 0 0
poate fi înlocuit printr-un implicant prim care-l conţine. Astfel, 1- 0 0 0 1
mulţimea rezultată de implicanţi este o acoperire şi are aceeaşi 3- 0 0 1 1
cardinalitate ca şi acoperirea iniţială. În consecinţă, 7- 0 1 1 1
Implicant = grup de “1” 8- 1 0 0 0
1. Implicant prim = cel mai mare grup posibil de 1 9- 1 0 0 1
2. Implicant prim esential = the prime implicant that has at least 1 11 - 1 0 1 1
minterm that cannot be combined in any other way 15 - 1 1 1 1
Y(A,B,C,D) = Σm(0,1,3,7,8,9,11,15) => suma de mintermi

3. Se compara si se fac perechi din mintermii de dinainte 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
2. Se grupeaza mintermii in functie de cu fiecare din 4)
cati de 1 are fiecare minterm Intre mintermii unei perechi trebuie sa difere doar 1 variabila care va fi notata
in tabel cu “-“.
Grup minterm Reprezentare Perechi Reprezentare
binara Grup (cine cu cine se binara
A B C D compara) A B C D

0 m0 0 0 0 0 Grupul de 0 m0 – m1 0 0 0 -
perechi 0
m0 – m8 - 0 0 0
1 m1 0 0 0 1 x Variabilele
x diferite intre
m8 1 0 0 0 Grupul de ✔
perechi 0
m1 – m3 0 0 - 1 grupuri
1 m1 – m9 - 0 0 1
2 m3 0 0 1 1 m8 – m9 1 0 0 -
m9 1 0 0 1
m3 – m7 0 - 1 1
3 m7 0 1 1 1 2 m3 – m11 - 0 1 1
m11 1 0 1 1 m9 – m11 1 0 - 1

4 m15 1 1 1 1 m7 – m15 - 1 1 1
3
m11 – m15 1 - 1 1

4. Asemanator cu pasul 3 se compara perechile si termenul diferit se noteaza cu “-“ Provine din
comparatia Se observa ca daca vom face
X = mai mult de 1 variabila e diferit = NU precedenta inca un tabel de comparatie nu
✔= 1 singura variabila e diferita = DA => se trece mai departe in tabel se vor mai gasi alte grupuri
asadar se vor scrie variabilele
Reprezentare
Perechi rezultate
Grup binara
(cine cu cine se compara)
A B C D

(m0 – m1) – (m8 – m9) - 0 0 -


0 𝑩𝑪
(m0 – m8) – (m1 – m9) - 0 0 -

(m1 – m3) – (m9 – m11) - 0 - 1 Implicant


1 𝑩𝑫
(m1 – m9) – (m3 – m11) - 0 - 1 Prim

(m3 – m7) – (m11 – m15) - - 1 1


2 CD
(m3 – m11) – (m7 – m15) - - 1 1
5. Se creaza un tabel cu mintermii folositi in fiecare implicant prim.
Se marcheaza in tabel cu “x” in dreptul mintermului implicat in IMPLICANTUL PRIM.
Se incercuiesc coloanele cu un singur “x” si se iau in considerare implicantii primi care din dreptul lor la scriere formulei
finale.

Implicant Prim Minterm implicat 0 1 3 7 8 9 11 15

𝑩𝑪 0, 1, 8, 9 x x x x

𝒀 = 𝑩 𝑪 +CD
𝑩𝑫 1, 3, 9, 11 x x x x

CD 3, 7, 11, 15 x x 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 vor bifa.

Imperecherea mintermilor

Mintermii
grupati
dupa
numarul
de 1
Implicanti primi.

OBS: Termenii care nu au trecut in urmatorul


tabel de imperechere sunt Implicanti primi.

Perechea de
mintermi

0, 4, 8, 12

4, 5
Prima pereche include si
mintermul celei de-a doua

5, 7

7, 15

11, 15

Se aleg termenii astfel incat sa ai ajungi sa ai toti mintermii

𝒇(𝒘, 𝒙, 𝒚, 𝒛) = 𝒚 𝒛 + 𝒘𝒚𝒛 + 𝒘𝒙𝒛