Simplificao de Expresses Booleanas e Circuitos Lgicos

Prof. Corradi

Tpicos
Reviso lgebra Booleana Reviso portas lgicas Circuitos lgicos
soma de produtos produto de somas

Simplificao por postulado da lgebra Simplificao por mapa de Karnaugh

lgebra Booleana
Variveis s podem assumir 1 entre 2
valores Uso de tabelas (tabela verdade) para listar combinaes de valores de entrada e os correspondentes valores de sada

lgebra Booleana
Proposio todo enunciado que pode se
afirmar ser verdadeiro ou falso. Exemplo
Amanh vai chover no constitui uma proposio, pois existe mais de duas respostas possveis: Sim, Talvez e No Lisboa a capital de Portugal uma proposio

Princpios da lgebra Booleana

No contradio: uma proposio no
pode ser simultaneamente verdadeira e falsa

Terceiro excludo: uma proposio s

pode tomar um dos dois valores possveis, ou verdadeira ou falsa, no sendo possvel terceira hiptese.

lgebra Booleana
Operaes Bsicas
OU (OR) - Adio Lgica F = X + Y
X 0 0 1 1 Y 0 1 0 1 F 0 1 1 1

lgebra Booleana
Operaes Bsicas
E (AND) - Multiplicao Lgica F = X . Y
X
0 0 1 1

Y
0 1 0 1

F
0 0 0 1

lgebra Booleana
Operaes Bsicas
No (NOT) - Complemento (Negao) F = X ou F = X
X 0 1 F 1 0

Tabela Verdade
Cada entrada = 1 coluna Cada sada = 1 coluna As possveis Combinaes entradas podem
assumir: N = 2n, onde n = quantidade de variveis de entrada e N as combinaes entre zeros (0) e uns (1).

Tabela Verdade
S =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 0 0 1 0 1 1 1 1

Portas Lgicas
Porta AND (Funo Multiplicao Lgica (E)) F=A.B A B

Portas Lgicas
Portas lgicas so dispositivos ou circuitos
lgicos que operam um ou mais sinais lgicos de entrada para produzir uma e somente uma sada, a qual dependente da funo implementada no circuito.

Portas Lgicas
Um computador constitudo por uma
infinidade de circuitos lgicos, que executam as seguintes funes bsicas: a.realizam operaes matemticas b.controlam o fluxo dos sinais c.armazenam dados

Portas Lgicas
Naturalmente, a cada operao lgica
estudada na lgebra de Boole est associada a respectiva porta lgica.

Portas Lgicas
Porta OR (Funo Adio Lgica (OU)) F=A+B

A
B F

Portas Lgicas
Porta NOT (Funo Negao Lgica (Complemento)) F=A
A A

Circuitos Lgicos
Definio de uma funo booleana atravs de uma tabela-verdade

Expresso algbrica da funo

Representao
Produto de Somas lista todas as combinaes das variveis de Soma de Produtos lista todas as combinaes das variveis de
entrada para as quais a funo de sada vale 0

entrada para as quais a funo de sada vale 1

Soma de Produtos
Mintermo = termo-produto no qual cada varivel aparece exatamente 1 vez, complementada (se bit da tabela = 0) ou no (se bit da tabela = 1)

X 0 0 0 0 1 1 1 1

Y 0 0 1 1 0 0 1 1

Z 0 1 0 1 0 1 0 1

Termo-produto X Y Z X Y Z X Y Z X Y Z X Y Z X Y Z X Y Z X Y Z

mintermo m0 m1 m2 m3 m4 m5 m6 m7

Produto de Somas
Maxtermo = termo-soma no qual cada varivel aparece exatamente 1 vez, complementada (se bit da tabela = 1) ou no (se bit da tabela = 0)
X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1

Termo-soma X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z

maxtermo M0 M1 M2 M3 M4 M5 M6 M7

Notaes
X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F 1 0 1 0 0 1 0 1

Soma de Produtos
F = XYZ + XYZ + XYZ + XYZ = m0 + m2 + m5 + m7 = m (0,2,5,7)

Produto de Somas
F = (X + Y + Z) (X + Y + Z) (X + Y + Z) (X + Y + Z) = M1 . M3 . M4 . M6 = M(1,3,4,6)

Simplificao de Expresses Booleanas

Usada para economizar componentes,
tornar o circuito mais rpido, mais simples de fabricar e de manuteno, alm de diminuir seu tamanho. Tipos:
Postulados da lgebra Booleana Mapas de Karnaugh

Postulados da lgebra Booleana

Identidades Booleanas
A+0=A 1 A+1=1 2 A+A=1 3 A+A=A 4 A.0=0 5 A.1=A 6 A.A=0 7 A.A=A 8 A=A 9

Propriedade Comutativa
A + B = B + A 10 A . B = B . A 11

Postulados da lgebra Booleana

Propriedade Associativa
(A + B) + C = A + (B + C) 12 (A. B) . C = (B. C) . A 13

Propriedade Distributiva
A . (B + C) = A . B + A . C 14

Consenso
A . B + A . C + B . C = A . B + A . C 15 (A+B) . (A+C) . (B+C) = (A+B) . (A+C) 16

Teorema de De Morgan
A . B... = A + B + ... A + B + ... = A . B ... 17

Expresses Auxiliares
18 A + ( A . B )

= A

19 A + ( A . B ) = A + B 20 ( A + B ) . B = A . B 21 ( A . B ) + ( A . B ) = A 22 ( A + B ) . ( A + B ) = A

Simplificao pelos Postulados da lgebra Booleana

F ABC ABC A BC ABC
Pela prop. (14), A (B C) A B A C

F AB( C C) A BC ABC
Pela prop. (4), C C = 1

F AB 1 ABC ABC
Pela prop. (6), A B 1= A B

F AB A BC ABC

Soma de Produtos simplificada

Simplificao pelos Postulados da lgebra Booleana

O termo AB C poderia ter sido simplificado com o termo ABC

F ABC ABC A BC ABC

Utilizando a propriedade (3), que permite a seguinte manipulao:

ABC ABC ABC

Simplificao pelos Postulados da lgebra Booleana

F ABC ABC ABC ABC ABC Pela prop. (3), ABC ABC ABC
Pela prop. (14)

F AB(C C) ABC ( A A)BC

Pela prop. (4)

F AB 1 ABC 1 BC
Pela prop. (6)

F AB ABC BC

Soma de Produtos simplificada (mnima, no caso)

Circuito Lgico
F ABC ABC A BC ABC
A B C

1o nvel

2o nvel

Complexidade: 4x3 + 1x4 = 16

Soma de mintermos

Circuito com (lgica de ) 2 nveis

Circuito Lgico Expresso Simplificada

F AB A BC BC
A B

1o nvel

2o nvel

F C

Complexidade: 2x2 + 2X3 = 10 Soma de produtos (simplificada)

Circuito com (lgica de ) 2 nveis

Simplificao por Mapa de Karnaugh

Cada clula corresponde a um mintermo Representa a funo como soma de produtos Para 2 variveis X Y 0 1
0
XY Y m0 XY m2 XY m1 XY m3

Exemplo:

F = m(1,2,3) = XY + XY + XY
X Y 0 1

0
1

0 1

1 1

Simplificao por Mapa de Karnaugh

Simplificao algbrica de difcil
automatizao Simplificao por mapa fornece uma maneira visual para a simplificao Baseia-se na identificao de produtos vizinhos

Simplificao por Mapa de Karnaugh

X

Y
0 1

m0 m1

m2 m3

regio onde X = 1

regio onde Y = 1

Junta-se 2n posies 20 = 1 23 = 8 21 = 2 22 = 4

Simplificao por Mapa de Karnaugh

Mapa com 3 variveis
YZ X 0 1 00 01 m1 m5 11 10 m2 m6 Concatenar bit da linha com bits da coluna para identificar mintermo

m0 m4

m3 m7

Mintermos no seguem a ordem crescente => til para simplificao 2 clulas vizinhas (adjacentes): mintermos diferem por uma varivel

m5 XYZ

m7 XYZ

nica diferena Y

Simplificao por Mapa de Karnaugh

Ateno para a vizinhana entre bordas
YZ X 0 1 00 m0 m4 01 m1 m5 11 m3 m7 10 m2 m6

m0 m4

m2 m6

Regio com 2 clulas adjacentes termo

com 2 literais...

Simplificao por Mapa de Karnaugh

Exemplo de simplificao
YZ X 00 0 0
1 01 11 10

F = m(2,3,4,5) F = XY + XY

0 1

1 0

1 0

YZ 00 X 0 0
1

01

11

10

1 1

0 1

F = m(3,4,6,7) F = YZ + XZ

Simplificao por Mapa de Karnaugh

Mapa com 4 variveis
WX
00 01 11 10

YZ
00 01 11 10

m0 m1
m4 m5

m3 m7

m2 m6

m12 m13 m15 m14 m8 m9 m11 m10

Notar adjacncias atravs das bordas m0 m1 m8 m9 m0 m4 m2 m6

Simplificao por Mapa de Karnaugh

clula isolada regio com 2 clulas regio com 4 clulas regio com 8 clulas
Exemplo de simplificao

termo com 4 literais

termo com 3 literais

termo com 2 literais termo com 1 literal

YZ WX
00 01 11 10 00 01 11 10

1 1 1 1

1 1 1 1

1 1

WZ
XZ

F = Y + WZ + XZ

Simplificao por Mapa de Karnaugh

Mapas com mais de 4 variveis tornam-se
difceis de manipular

Dont Cares
Sada :no importa o valor da sada
gerado por determinada combinao de entradas Entrada: indiferente o valor da entrada para determinar um valor na sada

Funes com Sadas no Especificadas

A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F 1 0 0 1 1 0 0 1 1 0

X X
X

Valor da sada no precisa ser especificado

X X X

dont care = X

Simplificao com Dont Cares

CD AB
00 01 11 10

00

01

11

10

1 1 X X 1

1 1 X X

X X

X pode ser 0 ou 1 => o que for mais conveniente para simplificar a funo

F = CD + CD