SimplificaodeExpresses BooleanaseCircuitosLgicos

Pro C rradi f. o

Tpicos

RevisolgebraBooleana Revisoportaslgicas Circuitoslgicos
somadeprodutos produtodesomas

Simplificaoporpostuladodalgebra SimplificaopormapadeKarnaugh

lgebraBooleana
Variveisspodemassumir1entre2
valores Usodetabelas(tabelaverdade)paralistar combinaesdevaloresdeentradaeos correspondentesvaloresdesada

lgebraBooleana
Proposiotodoenunciadoquepodese
afirmarserverdadeirooufalso. Exemplo
Amanhvaichovernoconstituiuma proposio,poisexistemaisdeduas respostaspossveis:Sim,TalvezeNo LisboaacapitaldePortugaluma proposio

PrincpiosdalgebraBooleana
Nocontradio:umaproposiono
podesersimultaneamenteverdadeirae falsa

Terceiroexcludo:umaproposios

podetomarumdosdoisvalorespossveis, ouverdadeiraoufalsa,nosendo possvelterceirahiptese.

lgebraBooleana
OperaesBsicas
X 0 0 1 1 Y 0 1 0 1 F 0 1 1 1

OU(OR)AdioLgicaF=X+Y

lgebraBooleana
OperaesBsicas
X 0 0 1 1 Y 0 1 0 1 F 0 0 0 1

E(AND)MultiplicaoLgicaF=X.Y

lgebraBooleana
OperaesBsicas
No(NOT)Complemento(Negao)F=X ouF=X
X 0 1 F 1 0

TabelaVerdade

Cadaentrada=1coluna Cadasada=1coluna AspossveisCombinaesentradas podemassumir:N=2n,onden= quantidadedevariveisdeentradaeNas combinaesentrezeros(0)euns(1).

TabelaVerdade
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

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

PortasLgicas
Portaslgicassodispositivosou
circuitoslgicosqueoperamumoumais sinaislgicosdeentradaparaproduzir umaesomenteumasada,aqual dependentedafunoimplementadano circuito.

PortasLgicas
Umcomputadorconstitudoporuma
infinidadedecircuitoslgicos,que executamasseguintesfunesbsicas:

a.realizamoperaesmatemticas b.controlamofluxodossinais c.armazenamdados

PortasLgicas
Naturalmente,acadaoperaolgica
estudadanalgebradeBooleest associadaarespectivaportalgica.

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

PortasLgicas
Porta NOT (Funo Negao Lgica (Complemento)) F=A
A A

CircuitosLgicos
Definio de uma funo booleana atravs de uma tabela-verdade Expresso algbrica da funo

Representao

ProdutodeSomas listatodasascombinaesdasvariveisde SomadeProdutos listatodasascombinaesdasvariveisde

entradaparaasquaisafunodesadavale0

entradaparaasquaisafunodesadavale1

SomadeProdutos
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

ProdutodeSomas
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)

SimplificaodeExpresses Booleanas
Usadaparaeconomizarcomponentes,
tornarocircuitomaisrpido,mais simplesdefabricaredemanuteno, almdediminuirseutamanho. Tipos:
PostuladosdalgebraBooleana MapasdeKarnaugh

Postuladosdalgebra Booleana
IdentidadesBooleanas
A+0=A1

A+1=12 A+A=13 A+A=A 4

A.0=05 A.1=A6 A.A=07 A.A=A8

A=A9

PropriedadeComutativa
A+B=B+A10 A.B=B.A11

Postuladosdalgebra Booleana
PropriedadeAssociativa PropriedadeDistributiva Consenso
(A+B)+C=A+(B+C)12 (A.B).C=(B.C).A13

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

A.B+A.C+B.C=A.B+A.C15 (A+B).(A+C).(B+C)=(A+B).(A+C)16 TeoremadeDeMorgan

A.B...=A+B+...

A+B+...=A.B...17

ExpressesAuxiliares
18 19 20 21 22

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

SimplificaopelosPostulados dalgebraBooleana
F = ABC + ABC + A BC + ABC
A Pela prop. (14), (B + C) = A B+ A C

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

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

F = AB + A BC + ABC

Soma de Produtos simplificada

SimplificaopelosPostulados dalgebraBooleana
A O termo AB C poderia ter sido simplificado com o termo BC
F = ABC + ABC + A BC + ABC

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

A BC = ABC + ABC

SimplificaopelosPostulados dalgebraBooleana
A F = ABC + ABC + ABC + ABC + ABC Pela prop. (3), BC = ABC + ABC
Pela prop. (14)

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

Pela prop. (4)

F C = AB 1+ AB + 1 BC
Pela prop. (6)

F = AB + ABC + BC

Soma de Produtos simplificada (mnima, no caso)

CircuitoLgico
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

CircuitoLgicoExpresso 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

SimplificaoporMapade Karnaugh

Cadaclulacorrespondeaummintermo Representaafunocomosomadeprodutos Para2variveis X Y 0 1
0
XY Y m0 XY m2 XY m1 XY m3

Exemplo:
Y 0 1

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

0 1

1 1

SimplificaoporMapade Karnaugh
Simplificaoalgbricadedifcil
automatizao Simplificaopormapaforneceuma maneiravisualparaasimplificao Baseiasenaidentificaodeprodutos vizinhos

SimplificaoporMapade Karnaugh
X Y 0 1 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

SimplificaoporMapade Karnaugh
Mapacom3variveis
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

SimplificaoporMapade Karnaugh
Atenoparaavizinhanaentrebordas
YZ 0 1 X 00 m0 m4 01 m1 m5 11 m3 m7 10 m2 m6

m0 m4

m2 m6

Regiocom2clulasadjacentestermo
com2literais...

SimplificaoporMapade 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

SimplificaoporMapade Karnaugh
Mapacom4variveis YZ
WX
00 01 11 00 m0 01 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

SimplificaoporMapade 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

WX

YZ
00 01 11 10

00

01

11

10

1 1 1 1

1 1 1 1

1 1

WZ XZ

F = Y + WZ + XZ

SimplificaoporMapade Karnaugh
Mapascommaisde4variveistornamse
difceisdemanipular

DontCares
Sada:noimportaovalordasada
geradopordeterminadacombinaode entradas Entrada:indiferenteovalordaentrada paradeterminarumvalornasada

FunescomSadasno 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

SimplificaocomDontCares
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