Simplificao de Expresses Booleanas e Circuitos Lgicos

Margrit Reni Krug Julho/2002

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 possiveis: Sim, Talvez e No Lisboa a capital de Portugal uma proposio

Principios 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 - 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 - 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 - Complemento (Negao) F = X ou F = X
X 0 1 F 1 0

Tabela Verdade
Cada entrada = 1 coluna Cada sada = 1 coluna Combinaes de valores que entradas podem assumir = 2n, onde n =quantidade de variveis de entrada

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

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 entrada para as quais a funo de sada vale 0

Soma de Produtos
lista todas as combinaes das variveis de 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 XYZ XYZ XYZ XYZ XYZ XYZ XYZ XYZ

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)

10

Simplificao de Expresses Booleanas

Usada para economizar componentes, tornar o circuito mais rpido, mais simples de fabricar e de manutenir, 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

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

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

Expresses Auxiliares
A+A.B=A A+A.B=A+B A+A.B=A A+A.B=A+B A+A.B=A+B A+A.B=A+B A+A.B=A A+A.B=A

(A + B) . ( A + C ) = A + B . C

12

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 = A B1+ ABC + ABC

Pela prop. (6), A B1 = A B

F = AB + A BC + ABC

Soma de Produtos simplificada

Simplificao pelos Postulados da lgebra Booleana

O termo ABC 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

13

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 = A B1+ 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

14

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 Y m0
XY XY m1 XY m3

Exemplo:

XY m2

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

0 1

1 1

15

Simplificao por Mapa de Karnaugh

Simplificao algbrica de difcilautomatizao 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 0 m0 m2 1 m1 m3

regio onde X = 1

regio onde Y = 1

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

16

Simplificao por Mapa de Karnaugh

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

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...

17

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

0 0

1 1

0 1

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

Mapa com 4 variveis

WX YZ
00 00 m0 01 01 11

Simplificao por Mapa de Karnaugh

10

m1

m3 m7

m2 m6

m4 m5

11 m12 m13 m15 m14 10

m8

m9

m11 m10

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

18

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
00 01 11 10

WX

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

19

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

20

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

21