Anda di halaman 1dari 9

15/03/2016

UNIVERSIDADE TECNOLGICA FEDERAL DO PARAN


DEPARTAMENTO ACADMICO DE ELETROTCNICA
ELETRNICA DIGITAL - ET75C - Prof Elisabete N Moraes

AULA 3 TCNICAS

DE SIMPLIFICAO

SOMA DOS PRODUTOS, PRODUTO DAS SOMAS E MAPA DE KARNAUGH

Em 18 de maro de 2016.

Aula 3 -Tcnicas Simplificao

18-Mar-16

PROBLEMA LGICO
Deseja-se instalar no painel de um automvel um sistema sonoro de alarme para
alertar o usurio quando se verificar uma das seguintes condies:
Motor ligado com uma das portas no travadas;
Motor ligado e o cinto de segurana do motorista recolhido;
Faris acesos com motor desligado.
Um problema de lgica combinacional deve ser representado por uma tabela da
verdade (TV), que representa todos os estados possveis das variveis lgicas que
descrevem o sistema combinacional. Essas variveis resultam em funes lgicas
obtidas a partir da anlise da tabela da verdade, requerendo em muitas vezes a
sua minimizao ou simplificao.
Esse processo pode ser realizado por meio:
1. dos teoremas, os postulados de Boole e De Morgan,
2. de forma grfica, que so os mapas de Karnaugh ou por meio de
3. de algoritmos de Quine e Mc-Cluskey, para aplicaes computacionais.
Livro do Idoeta & Capuano, cap 4
Livro do Tocci, cap 4
Livro do Floyd cap 4

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

FORMAS CANNICAS

Representao clssica de uma dada relao.


Para a anlise em questo a forma cannica de uma expresso lgica indica a
presena de todas as variveis na equao seja na forma direta ou pelo seu
complemento (negada). As expresses cannicas so estruturadas em duas formas:
A) Forma cannica disjuntiva soma dos produtos:
obtm-se somando todos os produtos lgicos que do funo o valor lgico igual a
1. Cada parcela da funo chamada de mintermo ou minitermo.
Representao: m. Seja f(A,B,C)
ABC uma forma cannica de minitermo.
AB(B C) no uma forma cannica de minitermo
AC , tambm no uma forma cannica de minitermo.
B)Forma cannica conjuntiva produto das somas:
resulta do produto das somas das variveis que resultam na funo lgica com valor
igual a 0. Cada parcela da funo chamada de maxtermo ou maxitermo.
Representao: M . Seja f(A,B,C)
C+B+A uma forma cannica de maxitermo.
(C+B)+B+ A no uma forma cannica de maxitermo
C+A , tambm no uma forma cannica de maxitermo.
3

Aula 3 -Tcnicas Simplificao

18-Mar-16

FORMA CANNICA DISJUNTIVA (SP)


Supondo a TV a seguir, a equao que expressa a TV na forma cannica disjuntiva
obtida pela:
1. Seleo das linhas da TV cuja sada assume nvel lgico 1.
2. Cada linha selecionada ir compor o produto lgico entre as variveis.
a. Se a varivel estiver em nvel alto, entra na equao com o seu prprio nvel.
b. Se a varivel estiver em nvel baixo, entra na equao negada.
c. Esse produto um mintermo ou minitermo.
3. A equao lgica final obtida pela soma lgica dos mintermos.
A
B
C
f

A BC

f ( A, B, C ) ABC ABC ABC

f ( A, B, C ) m (0,5,6)

ABC
AB C

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

CIRCUITO EQUIVALENTE MINTERMOS


f ( A, B, C ) ABC ABC ABC

f ( A, B, C ) m (0,5,6)
A

Aula 3 -Tcnicas Simplificao

18-Mar-16

FORMA CANNICA CONJUNTIVA (PS)


Supondo a TV a seguir, a equao que expressa a TV na forma cannica conjuntiva
obtida pela:
1. Seleo das linhas da TV cuja sada assume nvel lgico 0.
2. Cada linha selecionada ir compor a soma lgica entre as variveis.
a. Se a varivel estiver em nvel baixo, entra na equao com o seu prprio nvel.
b. Se a varivel estiver em nvel alto, entra na equao negada.
c. Esse produto um maxtermo ou maxitermo.
3. A equao lgica final obtida pelo produto lgico dos maxitermos.
A

Usando a mesma TV, obter a equao lgica usando o


produto das somas.

f A B C A B C A B C

A B C A B C

f ( A, B, C ) M (1,2,3,4,7)
7

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

CIRCUITO EQUIVALENTE MAXTERMOS

f A B C A B C A B C A B C A B C

f ( A, B, C ) M (1,2,3,4,7)

Aula 3 -Tcnicas Simplificao

18-Mar-16

SOLUO DO PROBLEMA LGICO


Deseja-se instalar no painel de um automvel um sistema sonoro de alarme para alertar o
usurio quando se verificar uma das seguintes condies:
M
P
C
F
Motor ligado com uma das portas no travadas;
0
0
0
0
Motor ligado e o cinto de segurana do motorista recolhido;
0
0
0
1
Faris acesos com motor desligado.

a) Identificar e nomear as variveis de entrada:


Motor M
Portas P
Cinto Segurana C
Faris F
b) Elaborar a tabela da verdade:
Total de variveis = 4
Total de possibilidades = 24 = 16
Tabela da verdade com 16 linhas.
Adota-se que:
Nvel lgico 1 = ligado
Nvel lgico 0 = desligado

Sinal
0
1

0 8

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

SOLUO DO PROBLEMA LGICO- MAXTERMOS


c)Avalia-se a situao em que h menor
quantidade de 1s ou 0s, para optar entre:
soma dos produtos (SP)=> minitermos => 1
produto das somas (PS)=> maxitermos => 0
d) Elabora-se a equao: a escolha recaiu no produto
das somas por haver menor quantidade de 0s.
Nessa formulao (PS) as variveis em nvel lgico
1 entram na equao negadas.

Sinal M P C F M P C F

0

Sinal

14

15

0
2

4
6

MP
C F M P C F

4

MP
C F M P C F

14

15

e)Representao da funo lgica:

F(M, P,C, F) M (0,2,4,6,14,15)

Aula 3 -Tcnicas Simplificao

18-Mar-16

SOLUO DO PROBLEMA LGICO- MINITERMOS


SOMA DOS PRODUTOS (SP)=> MINTERMOS => 1

Sinal

Nessa formulao (SP) as variveis em nvel lgico


0 entram na equao negadas.

10

11

12

13

Sinal
M
F
M
PCF
M
F
P
C

P
C

11

12

10

M
F
M
PCF
MP
C
F
MP
F

P
C

10

M
PCF
M
F
M
F
M
P
C
F

P
C

P
C

13

Representao da funo lgica:

F(M, P,C, F) m (1,3,5,7,8,9,10,11,12,13)

10

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

MAPAS DE KARNAUGH

Mtodo grfico usado para simplificar/minimizar um problema lgico ou converter a Tabela


da Verdade em uma equao lgica reduzida adequada para at 6 variveis lgicas.
Para 2 variveis:

Para 4 variveis:

Para 3 variveis:

11

Aula 3 -Tcnicas Simplificao

Desenvolvimento:

18-Mar-16

MAPAS DE KARNAUGH

a) A numerao das linhas e colunas da tabela segue o Cdigo de Gray.


00 01 11 - 10
b) Os espaos so chamados de celas, onde so preenchidas com a condio "1"
correspondente mesma condio que resultou na tabela da verdade.
c) O objetivo reunir os 1's em grupos, mas obedecendo a condio que o enlace
para a formao dos grupos seguir: 2N = 1, 2 , 4 , 8, ....., N.
d) Quanto maior o grupo de 1s formado, maior ser a reduo das variveis.
e) A varivel que eliminada, aquela em que muda de nvel entre celas
adjacentes.
f) As variveis mantidas no agrupamento feito em "c", realizam o produto lgico
entre elas, sendo que deve ser negada a varivel que representada no cdigo
Gray pelo nvel 0.
g) O resultado da minimizao obtido realizando a soma lgica entre os grupos
formados.
OBS: dois enlaces podem ter uma clula em comum.
12

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

EXEMPLO 1 SOBRE O MAPA DE KARNAUGH


1) Considere a tabela da verdade para a seguinte funo lgica de duas variveis,
F(A,B):
A
B
S
Soluo pelo mtodo da soma
0
0
0
dos produtos=minitermos
0
1
0
1

A
B

1
1

0
1

A varivel B
altera de nvel

desaparece

S= A

A varivel A mantida
13

Aula 3 -Tcnicas Simplificao

18-Mar-16

EXEMPLO 2 SOBRE O MAPA DE KARNAUGH


2) Usando a tabela da verdade que indica a sada para a funo: F (A,B,C)
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

S
1
0
0
0
1
1
1
1

S A BC

AB
00

C
0
1

Sai A e fica
BC

01

11

10

Sai B

Sai
C

Fica A

No caso de usar a soma


dos produtos=minitermos
14

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

EXEMPLO COM 4 VARIVEIS


Minitermos

Enlace 1

Enlace 2

S
A
C
D
ABD

Aula 3 -Tcnicas Simplificao

15

18-Mar-16

CONDIES IRRELEVANTES (DONT CARE)


Em determinadas situaes, a condio de sada pode ser irrelevante, porque as
condies de entrada nunca ocorrero ou que seja indiferente se em nvel 1 ou 0.
Exemplo:
Nesta situao a sada pode assumir o estado ALTO ou BAIXO, sinalizada por um X.
A escolha recai para condio que resulte maior quantidade de enlaces ou maior
nmero de 1s possvel.
Na equao lgica caracterizada pela seguinte notao:

F ( A, B, C ) m (5,6,7) d (3,4)

16

15/03/2016

Aula 3 -Tcnicas Simplificao

18-Mar-16

EXERCCIOS
Utilize o mapa K para simplificar:

S C AB D D ABC D
S C AB D C D ABC D

Soluo:
Preenche as celas com 1 para as combinaes
que contenham o rtulo das parcelas da equao.

Enlace 2
Enlace 3

a) CABD somente uma cela

a)

d)

b)

d)

b) CD AB CD , AB CD, AB CD e AB CD
d)

b)

d)

d)

b)

d)

d)

b)

c) ABC ABC D e ABC D


d) DABCD, ABCD, ABCD, ABCD,
ABCD, ABCD, ABCD, ABCD
Enlace 1

c)

c)

d)

e) Fazendo os agrupamentos e as simplificaes


a equao final y=AB+C+D
17

Aula 3 -Tcnicas Simplificao

18-Mar-16

EXERCCIOS

S AC AC BC

S D AC ABC
18