Vous êtes sur la page 1sur 21

SISTEMAS LGICOS

Universidade Federal da Bahia


Escola Politcnica
CURSO DE ENGENHARIA ELTRICA
PROF. EDSON PINTO SANTANA
edsonps@ufba.br

SUMRIO

3. MINIMIZAO DE CIRCUITOS LGICOS


3.1. Introduo
3.2. Mapas de Karnaugh
3.3. Mtodo de Quine-Mccluskey

Sistemas Lgicos

3.1. Introduo

Redes de dois nveis: funes expressas em SOP (AND/OR) ou


POS (OR/AND) e disponibilidade de variveis complementadas.

Sistemas Lgicos

3.1. Introduo

Redes do tipo AND/OR (OR/NAND) so facilmente convertidas


em redes do tipo NAND/NAND (NOR/NOR).
Redes de sada nica. (redes mais complexas exigem abordagem
hierrquica)
Sem limitaes quanto ao nmero de entradas de cada porta.

Sistemas Lgicos

3.1. Introduo

Mtodos SISTEMTICOS de MINIMIZAO: redes com


nmero mnimo de portas, e, dentre estas, com o nmero mnimo
de entradas.
Expresses mnimas em SOP e POS devem ser comparadas.

Rede
Sistemas Lgicos

Rede
5

3.2. Mapas de Karnaugh

Representao espacial que possibilita sistematizar a


aplicao do TEOREMA DA ADJACNCIA entre
as diferentes variveis.
a.b+ a.b' =a
(a+ b).( a+ b ')=a

Adjacncias -> vizinhana entre linhas, colunas e


fronteira do mapa (toride).
Obtm-se um bom aproveitamento da simplicidade
do mtodo para um limite de 5 a 6 variveis de
entrada.

Sistemas Lgicos

3.2. Mapas de Karnaugh

Sistemas Lgicos

3.2. Mapas de Karnaugh

(e)
Sistemas Lgicos

3.2.1. Conceitos

Termo mnimo/mximo.
Representao numrica da funo e preenchimento
do mapa.
f (x 2 , x 1 , x 0)= m {0,2,6 }

f (x 3 , x 2 , x 1 , x 0 )= M {1,3,4,6,10,11,13 }

f (x 2 , x 1 , x 0)= m {1.4,5 }U dc {2,3 }


Sistemas Lgicos

3.2.1. Conceitos

Adjacncias: retngulos com dimenses em potncia


de dois para SOP (clulas-1) ou POS (clulas-0).

Sistemas Lgicos

10

3.2.1. Conceitos

Representao de expresses no mapa K.

Sistemas Lgicos

11

3.2.1. Conceitos

Implicantes (Implicados).

Implicantes (Implicados) Primos.

Implicantes (Implicados) Primos Essenciais.

(a) Implicantes
Sistemas Lgicos

(b) Implicantes primos


12

3.2.2. Algoritmo
1. Determine todos os implicantes (implicados)
primos.
2. Obtenha os implicantes (implicados) primos
essenciais.
3. Se restam clulas-1 que no esto cobertas pelos
implicantes primos essenciais, escolha os menor
conjunto de implicantes primos que promove a
cobertura total de clulas-1.

Sistemas Lgicos

13

3.2.3. Exemplo (1)

E( x1 , x 2 , x 3 )= m {0,3,4,6,7 }

Implicantes Primos:

Implicantes Primos Essenciais:

Expresso mnima em SOP:

x1'x0',x1x0,x2x0'ex2x1

x1'x0'ex1x0

x1'x0'+x1x0+x2x0'ex1'x0'+x1x0+x2x1
Sistemas Lgicos

14

3.2.3. Exemplo (2)

E( x 3 , x 2 , x1 , x 0)= m{0,1,3,7,8,12 }U dc {5,10,11,13,14 }

Expresso mnima em SOP:


E(x3,x2,x1,x0)=x3x0'+x3'x0+x1x0+x3'x2'x1'

Sistemas Lgicos

15

3.2.3. Exemplo (3)

E( x 3 , x 2 , x1 , x 0)= M {2,5,7,13,15 }U dc {10 }

Expresso mnima em POS:


E(x3,x2,x1,x0)=(x0'+x2').(x0+x2+x1')

Sistemas Lgicos

16

3.2.3. Exemplo Sugestes

F(x3,x2,x1,x0) = m{0,2,3,5,8} U
dc{10,11,12,13,14,15}
F(x3,x2,x1,x0) = {2,4,6,8,9,10,15}

Sistemas Lgicos

17

3.3. Mtodo de Quine-McCluskey

Mtodo tabular.
Aplicao sucessiva do teorema da unio para
determinar os implicantes primos.
Em comparao aos mapas de karnaugh:

Mais adequado a implementao atravs de


programao.

Pode ser empregado em problemas com maior


nmero de variveis de entrada.

Utilizado como base em ferramentas CAD para a


minimizao de redes lgicas de dois nveis.

Sistemas Lgicos

18

3.3. Mtodo de Quine-McCluskey

Tabelas: 1. Implicantes primos 2. Cobertura mnima


Tabela de implicantes primos: nas colunas so
dispostas os diferentes tamanhos de adjacncias, e as
linhas estabelecem os possveis termos agrupados
pelos nmero de 1s.
Tabela de cobertura: nas colunas so dispostos todos
os termos mnimos e nas linhas os diferentes
implicantes primos.

Sistemas Lgicos

19

3.3. Mtodo de Quine-McCluskey

Exemplo: f(x3,x2,x1,x0)=m{0,1,3,5,7,11,12,13,14}
TERMOS
MNIMOS

ADJACNCIAS
3 VAR.

2 VAR.
0--1

0000

000-

0001

00-1

0-01

N
N

0011

0101

0-11

1100

-011
01-1

0111

-101

1011

110-

1101

11-0

1110

Sistemas Lgicos

1 VAR.

20

3.3. Mtodo de Quine-McCluskey

Exemplo: Tabela de cobertura


Implicantes
000-011
-101
11011-0
0--1

0
x

1
x

11

12

x
x
x
x

13

14 PE
x
x

x
x
x

x
x

x3' x2' x1' + x2' x1x0 + x2x1' x0 + x3x2x0' + x3' x0


x3' x2' x1' + x2' x1x0 + x3x2x1' + x3x2x0' + x3' x0
Sistemas Lgicos

21

Vous aimerez peut-être aussi