Analise Sintese Circuitos Combinatorios

PCS 2215
Sistemas Digitais I
Mdulo 06a Anlise e Sntese de Circuitos
Combinatrios
Marco Tlio Carvalho de Andrade
Professor Responsvel
Verso: 2.0 (Setembro de 2.013)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I
Contedo
Anlise e Sntese de Circuitos Combinatrios
0. Notas e Definies Preliminares.

1. Formas Cannicas.
1.1 Identidades Bsicas.
2. Anlise de Circuitos Combinatrios
2.1 Circuitos a Portas.
3. Sntese de Circuitos Combinatrios.
3.1 Sntese por Mtodo Algbrico.
3.2 Sntese por Mapa de Karnaugh.
1
1
Contedo
Anlise e Sntese de Circuitos Combinatrios
4. Minimizao de Circuitos.
4.1 Implicantes primrios.
4.1.1 Tabela de Cobertura
4.2 Minimizao pelo Mtodo Tabular
4.3 Mapas de Karnaugh Considerando-se os
Zeros das Funes.
4.4 Funes Incompletamente Definidas
5. Exemplos de Aplicao.
Bibliografia
0. Notas e Definies Preliminares

Nota 1. - Uma lgebra de Chaveamento
({F.C.}, , , ~, 0t, 1t) pode ser vista como
um caso particular de uma estrutura
algbrica genrica denominada lgebra de
Boole, onde o conjunto S gerador da
estrutura o conjunto de funes de
chaveamento {F.C.}.
2
2
0. Notas Preliminares
Nota 2. - lgebra Booleana (ver Complementos de
lgebra Boolena) - uma sxtupla:
(S, , , ~, fronteira inferior Mxima,
Fronteira Superior mnima)
Nota 3. - Outra particularizao de interesse a
lgebra Booleana constituda pelas Classes de
Equivalncia geradas por funes de chaveamento de n variveis (x1, x2, ..., xn), onde existe uma
correspondncia biunvoca entre elementos de
{F.C.} e de {C.E.}:
({C.E.}, , , ~, Ft, Vt)
Nota 4. - Todo teorema de uma lgebra
Booleana vale para uma lgebra de
Chaveamento.
Definio 1. - Literal - Representa uma
varivel ou uma varivel complementada,
tendo um sentido mais amplo que o de
varivel.
3
3
Definio 2. - Expresses Booleanas geradas sobre
x1, x2, ..., xn so definidas recursivamente:
1-) 0, 1, x1, x2, ..., xn so expresses Booleanas.
2-) Se X1 e X2 so expresses Booleanas ento,
tambm tambm so expresses Booleanas:
(a) (X1) (b) ~X1 (c) X1 X2 (d) X1 X2
3-) Se X uma expresso Booleana gerada sobre
os smbolos x1, x2, ..., xn ento podemos escrever
X = X(x1, x2, ..., xn)
onde cada smbolo xi (ou ~xi) chamado de um
Literal.
1. Formas Cannicas
Sejam, a lgeb. de Chaveamento ({F.C.},,,~,0t,1t)
e a lgebra de Boole ({C.E.},,,~,Ft,Vt) das
formas e Classes Booleanas geradas pelas
variveis x1, x2, ..., xn. Seja li uma metavarivel que
pode valer xi ou ~xi.
Definio 1.1 - Produto Cannico (ou mintermo) toda Expresso de Chaveamento (ou
Booleana) composta pelo Produto de todas
as variveis, complementadas ou no:
n
PCi l1.l2 ., , ,.ln (lj )

j 1
4
4
1. Formas Cannicas
Definio 1.2 - Primeira Forma Cannica

toda Expresso de Chaveamento (ou Expresso Booleana) composta pela Soma de
produtos cannicos, ou de mintermos, diferentes entre si.
Teorema 1.1 - Toda Classe de Equivalncia Cn
pode representar-se mediante sua Primeira
Forma Cannica que nica para esta
Classe.
1. Formas Cannicas
Observaes (I):
Como em um produto cannico intervm

todas as variveis, sua interpretao ser
sempre 0 a menos de uma determinada:
aquela que associe 1 a todas variveis
sem ~ e 0 a todas com ~.
Portanto cada um dos 2n produtos cannicos serve para representar um, e apenas
um, dos 2n tomos (ou elementos atmicos).
10
5
5
1. Formas Cannicas
Observaes (II):
Segundo Teorema da lgebra de Chaveamento

todo elemento desta lgebra distinto de 0 pode
expressar-se, de maneira nica, como uma
soma de tomos. Logo qualquer classe de
equivalncia distinta de C0 pode expressar-se
de maneira nica como uma soma de tomos.
Portanto pode-se representar de maneira nica
como uma Soma de Produtos Cannicos, isto
, representar na Primeira Forma Cannica
(ou Soma Cannica).
11
1. Formas Cannicas
Observaes (III) - Existe uma notao abreviada
para descrever as formas cannicas:
1-) Baseia-se em associar um nmero decimal a
cada produto cannico;
2-) Este nmero aquele que resulta ao
interpretar-se como um nmero binrio a
combinao de Zeros e Uns das variveis
para a qual a interpretao do produto em
questo 1.
3-) Por exemplo: A interpretao de ~x3.x2.x1
1 para x3=0, x2=1 e x1=1 e 011 em binrio
3 em decimal (m3).
12
6
6
1. Formas Cannicas
Mintermos para trs variveis:
x3 x2 x 1
Mintermos
0 0 0
m0 = ~x3 ~x2 ~x1
0 0 1
m1 = ~x3 ~x2 x1
0 1 0
m2 = ~x3 x2 ~x1
0 1 1
m3 = ~x3 x2 x1
1 0 0
m4 = x3 ~x2 ~x1
1 0 1
m5 = x3 ~x2 x1
1 1 0
m6 = x3 x2 ~x1
1 1 1
m7 = x3 x2 x1
13
1. Formas Cannicas
x2 x1 C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C1 C11 C1 C1 C1 C15
m0 0
m1 0
m2 1
m3 1
0
1
0
1
0
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
0
1
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
0
0
0
1
0
0
1
1
0
1
0
C0 = ~(C1 + C2 + C4 + C8)
C1 = C 1
C2 = C 2
C3 = C 1 + C 2
C4 = C 4
C5 = C 1 + C 4
C6 = C2 + C4
C7 = C 1 + C 2 + C 4
1
0
1
1
1
1
1
1
C8 = C 8
C9 = C 1 + C 8
C10 = C2 + C8
C11 = C1 + C2 + C8
C12 = C4 + C8
C13 = C1 + C4 + C8
C14 = C2 + C4 + C8
C15 = C1 + C2 + C4 + C8
14
7
7
1. Formas Cannicas
Definio 1.3 - Soma Cannica (ou Maxtermo) toda Expresso de Chaveamento (ou Booleana)
composta pela soma de todas as variveis, complementadas ou no:
n
SCi l1 l2 ... ln (lj )
j 1
Definio 1.4- Segunda Forma Cannica toda Expresso

de Chaveamento (ou Booleana) composta pelo produto de
somas cannicas, ou de Maxtermos, diferentes entre si.
Teorema 1.2 - Toda Classe de Equivalncia Cn pode representar-se mediante sua Segunda Forma Cannica que
nica para esta Classe.
15
1. Formas Cannicas
Observaes:
Como em uma soma cannica intervm todas as
variveis, sua interpretao ser sempre 1, a
menos de uma determinada: aquela que associe
0 a todas variveis sem ~ e 1 a todas com
~.
Em resumo: Qualquer classe de equivalncia pode
tambm ser expressa de maneira nica como um
Produto de Somas Cannicas, isto , pode ser
representada na Segunda Forma Cannica. (ou
Produto Cannico).
16
8
8
1. Formas Cannicas
Observaes (II) - Existe uma notao abreviada
para descrever a segunda Forma Cannica:
1-) Baseia-se em associar um nmero decimal a
cada soma cannica.
2-) Este nmero aquele que resulta ao
interpretar-se como um nmero binrio a
combinao de Zeros e Uns das variveis
para a qual a interpretao da soma em questo
0.
3-) Por exemplo: A interpretao de x3+~x2+~x1
0 para x3=0, x2=1 e x1=1 e 011 em
binrio 3 em decimal (M3).
17
1. Formas Cannicas
Maxtermos para trs variveis:
x3 x2 x1
Maxtermos
0 0 0
M0 = x3 + x2 + x1
0 0 1
M1 = x3 + x2 + ~x1
0 1 0
M2 = x3 + ~x2 + x1
0 1 1
M3 = x3 + ~x2 + ~x1
1 0 0
M4 = ~x3 + x2 + x1
1 0 1
M5 = ~x3 + x2 + ~x1
1 1 0
M6 = ~x3 + ~x2 + x1
1 1 1
M7 = ~x3 + ~x2 + ~x1
18
9
9
1. Formas Cannicas
x2 x1 C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C1 C11 C1 C1 C1 C15
M0 0
M1 0
M2 1
M3 1
0
0
0
0
0
0
0
0
1
0
0
1
0
1
0
0
1
0
0
1
1
0
1
1
1
0
0
1
0
0
1
0
1
0
C0 = C7 . C11 . C13 . C14

C1 = C7 . C11 . C13
C2 = C7 . C11 . C14
C3 = C7 . C11
C4 = C7 . C13 . C14
C5 = C7 . C13
C6 = C7 . C14
C7 = C 7
1
0
1
1
1
1
C8 = C11 . C13 . C14

C9 = C11 . C13
C10 = C11 . C14
C11 = C11
C12 = C13 . C14
C13 = C13
C14 = C14
C15 = ~(C7 . C11 . C13 . C14)
19
1. Formas Cannicas
Mintermos e Maxtermos para trs variveis:
x3 x2 x1
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
Mintermos
m0 = ~x3 ~x2 ~x1 = ~M0
m1 = ~x3 ~x2 x1 = ~M1
m2 = ~x3 x2 ~x1 = ~M2
m3 = ~x3 x2 x1 = ~M3
m4 = x3 ~x2 ~x1 = ~M4
m5 = x3 ~x2 x1 = ~M5
m6 = x3 x2 ~x1 = ~M6
Maxtermos
M0 = x3 + x2 + x1 = ~m0
M1 = x3 + x2 + ~x1 = ~m1
M2 = x3 + ~x2 + x1 = ~m2
M3 = x3 + ~x2 + ~x1 = ~m3
M4 = ~x3 + x2 + x1 = ~m4
M5 = ~x3 + x2 + ~x1 = ~m5
M6 = ~x3 + ~x2 + x1 = ~m6
1 1 1
m7 = x3 x2 x1 = ~M7 M7 = ~x3 + ~x2 + ~x1 = ~m7
20
10
10
1. Formas Cannicas
Observaes adicionais: A lgebra de Chavea-
mento ({F.C.}, , , ~, 0t, 1t) tem o mesmo

nmero de Funes de Chaveamento que o
de classes de equivalncia da lgebra
Booleana ({C.E.}, , , ~, Ft, Vt), que :
2
n =k
{F.C.} tem um nmero de n-tuplas

diferentes em {0,1}n igual a k = 2n e gera
2k combinaes distintas para aplicar cada
uma destas k n-tuplas em {0,1}.
21
1. Formas Cannicas
Observaes adicionais:
{C.E.} tem um nmero de k = 2n produtos

cannicos com os quais pode-se escrever as
2k primeiras formas cannicas diferentes.
Pela definio 4.3 do material adicional de
lgebra Booleana, elas so isomorfas.
Sendo isomorfas existe uma correspondncia biunvoca entre cada Funo de Chaveamento de ordem n e cada classe de equivalncia de Expresses Booleanas de n
variveis.
22
11
11
1. Formas Cannicas
Observaes (continuao): A correspondncia tal
que se fi e fk esto em correspondncia com Ci e Ck
ento (fi+fk) e (fi.fk) estaro em correspondncia
com (Ci+Ck) e (Ci.Ck).
Importncia na aplicao ao projeto de circuitos
lgicos:
A sada de um circuito expressa como uma
Funo de Chaveamento tem infinitas formas
associadas a uma classe de equivalncia.
Como Engenheiros nos interessa encontrar a
forma mnima!
23
1.1. Identidades Bsicas

A seguir so apresentadas identidades bsicas para duas
ou trs variveis:
I1 - x+0=x
x.1=x
[Elemento neutro ou identidade]
I2 - x+1=1
x.0=0
[Elementos mximo/mnimo ou elemento nulo]
I3 - x+~x=1
x.~x=0
[Complemento]
I4 - ~(~x) = x
[Involuo]
24
12
12

Mais identidades:
I5 - x + x = x
x.x=x
[Idempotncia]
I6 - x+y=y+x
x.y=y.x
[Comutativa]
I7 - x+(y+z)=(x+y)+z x.(y.z)=(x.y).z
[Associativa]
I8 - x.(y+z)=x.y+x.z
x+(y.z)=(x+y).(x+z)
[Distributiva]
I9 - x+x.y=x [I9a]
x.(x+y)=x [I9b]
[Absoro ou cobertura]
25

Mais identidades:
I10 - ~(x+y)=~x.~y
[De Morgan]
~(x.y)=~x+~y
I11a-(x+y).(~x+z).(y+z)=(x+y).(~x+z)=x.z+~x.y
I11b - x.y+~x.z+y.z=x.y+~x.z
[Consenso]
I12 - x . y + x . ~y = x
(x + y) . (x + ~y) = x
[Combinao]
I13 - (x+y).(~x+z)= x.z+~x.y
I14 - (x+~x.y)=(x+y)
x.(~x+y)=x.y
26
13
13

Exemplo 1.1: Simplificar (x+y+z).(x.~y+y.z+x.~z) =
= x.x.~y+x.y.z+x.x.~z+x.y.~y+y.y.z+x.y.~z+x.~y.z+y.z.z+x.z.~z=
= x.~y + x.y.z + x.~z + x.0 + y.z + x.y.~z + x.~y.z + y.z + x.0 =
= x.(~y + y.z) + x.~z + x.y.~z + y.z + x.~y.z + y.z =

= x.(~y + z) + x.~z(1 + y) + z.(y + x.~y) + y.z =
= x.~y + x.z + x.~z + z.(y + x) + y.z =
= x.~y + x.z + x.~z + y.z + x.z + y.z =
= x.~y + x.z + x.z + x.~z + y.z + y.z =
= x.~y + x.(z + ~z) + y.z =
= x.~y + x.1 + y.z =
= x.~y + x + y.z =
= x + y.z
27

Exemplo 1.2: Calcular (desenvolver)
f = ~(x.y+~y.z+x.~z)
Exemplo 1.3: Verificar que a expresso
(~y + w.x.z + ~x.z + ~w.x) . (y + w.x + x.z)
idntica expresso
x . (w + y) . (~w + ~y) + z . (x + y)
Exemplo 1.4: Comprovar a validade da identidade I14,
[(x + ~x.y) = (x+y)], por Diagrama de Venn.
28
14
14

Exemplo 1.4: Comprovar a validade da identidade I14,
[(x + ~x.y) = (x+y)], por Diagrama de Venn.
x
~x
~x . y
x+ y
x + ~x . y
29

Maxtermos/mintermos permitem a decomposio
sistemtica de Expresses de Chaveamento em
subexpresses com subconjuntos das variveis.
Teorema da Expanso de Shannon:
Qualquer Expresso de Chaveamento do tipo
fn(x1, x2, x3, ..., xn)
pode ser decomposta na Expresso [I15a]
x1 . fn(1, x2, x3, ..., xn) + ~ x1 . fn(0, x2, x3, ..., xn)
ou decomposta em sua Expresso dual [I15b]
[x1+fn(0, x2, x3, ..., xn)] . [ ~ x1+fn(1, x2, x3, ..., xn)]
30
15
15

Exemplo da aplicao de [I15a]:
f3(x1, x2, x3) = x1.f3(1, x2, x3) + ~ x1.f3(0, x2, x3)
f3(x1, x2, x3) = x1.x2.f3(1,1, x3) + x1.~x2.f3(1,0, x3)
+ ~x1.x2.f3(0,1, x3) + ~ x1.~x2.f3(0,0, x3)
f3(x1, x2, x3)= x1.x2.x3.f3(1,1,1) + x1.x2.~x3.f3(1,1,0)
+ x1.~x2.x3.f3(1,0,1) + x1.~x2.~x3.f3(1,0,0)
+ ~x1.x2.x3.f3(0,1,1) + ~x1.x2.~x3.f3(0,1,0)
+ ~x1.~x2.x3.f3(0,0,1) + ~x1.~x2.~x3.f3(0,0,0)
31

Exemplo da aplicao de [I15b]:
f3(x1, x2, x3)=[x1 + f3(0, x2, x3)].[~ x1 + f3(1, x2, x3)]
f3(x1, x2, x3)=[x1+x2+f3(0,0, x3)].[x1+~x2+f3(0,1, x3)]
.[~x1+x2+f3(1,0, x3)].[~ x1+~x2+f3(1,1, x3)]
f3(x1,x2, x3)=[x1+x2+x3+f3(0,0,0)].[x1+x2+~x3+f3(0,0,1)]
. [x1+~x2+x3+f3(0,1,0)] . [x1+~x2+~x3+f3(0,1,1)]
. [~x1+x2+x3+f3(1,0,0)] . [~x1+x2+~x3+f3(1,0,1)]
. [~x1+~x2+x3+f3(1,1,0)] . [~x1+~x2+~x3+f3(1,1,1)]
32
16
16

Mais Identidades:
(fnDUAL)DUAL = fn
[I16]
[fn = gn] [fnDUAL = gnDUAL]
[I17]
fDUAL(x1, x2, ..., xn) = ~f(~x1, ~x2, ..., ~xn) [I18a]
fDUAL(x, y, ..., z) = ~f(~x, ~y, ..., ~z)
[I18b]
Exemplo: Dado fn = x.y + ~y.z
fnDUAL = (x+y) . (~y+z)
~fn=~(x.y+~y.z)=~(x.y).~(~y.z)= (~x+~y) . (y+~z)
Portanto: fnDUAL(x,y,z) = ~fn(~x,~y,~z)
33

Um Circuito Combinatrio (ou circuito sem memria) pode ser visto como um dispositivo lgico cuja sada (isto , o efeito da operao lgica
que ele realiza) depende apenas das entradas no
instante presente (isto , das causas lgicas).
Em vista disto pode-se representar a sada de um
circuito combinatrio por uma funo do tipo
fn(x1, x2, ..., xn), sendo (x1, x2, ..., xn) as entradas
lgicas. Ou ainda, por uma funo do tipo fn(x,
y, ..., z), sendo (x, y, ..., z) as entradas lgicas.
34
17
17

A forma de anlise de um Circuito Combinatrio
depende do modelo utilizado para especific-lo:
Diagrama Lgico
Expresso de Chaveamento
Estrutura exposta;
comportamento escondido
(este pode ser extrado)
Comportamento exposto;
Estrutura escondida
(representa infinitas estruturas)
35

Tipicamente extrai-se a Expresso de Chaveamento do Diagrama Lgico, quando ento constrise a Tabela da Verdade.
Diagrama Lgico
Identificao exata das operaes algbricas envolvidas:

- Modelo funcional
- Interpretao de Engenharia
Expresso de Chaveamento
Tabela da Verdade
36
18
18

Ao analisar um circuito combinatrio pode-se
utilizar um de trs procedimentos bsicos:
1-) Enumerao de todos os caminhos de propagao dos sinais de entrada - Levantam-se os caminhos possveis das entradas para as sadas.
2-) Aplicao da Identidade de Shanonn (I15) - Fixam-se os valores lgicos de uma dada varivel xi
gerando-se dois subcircuitos de n-1 variveis.
3-) Decomposio - Divide-se o circuito em blocos
e faz-se a anlise no nvel de blocos elementares.
37

Exemplo 2.1.1 - 1) Enumerao dos caminhos dos
sinais de entrada:
x1
x1.x2
x2
x1.x2 + ~x1.~x2
~x1
~x2
~x1.~x2
38
19
19

Exemplo 2.1.2-2) Aplicao da identidade de Shanonn (I15):
f2(x1, x2) = x1 . f2(1, x2) + ~x1 . f2(0, x2)
[a] x1 = 0 ~x1 = 1 I15a [b] x1 . f(1, x2) + ~x1 . f(0, x2)
[c] f(1, x2) = x2
x1
x2
x2
x2
0
[d] f(0, x2) = ~x2
x1
x2
x2
x2
0
~x2
~x2
~x2
~x2
Expresso final [e]: x1 . x2 + ~x1 . ~x2

39

Exemplo 2.1.3 - 3) Decomposio em blocos
elementares:
x1
x2
x1
~x1
~x1
x2
~x2
~x2
x1.x2
x1.x2
x1.x2 + ~x1.~x2
~x1.~x2
~x1.~x2
40
20
20
2.1. Circuitos a Portas

Definio 2.1.1 - Portas Lgicas:
n
Uma porta lgica uma funo de Z 2 em Z 2 .
n
A porta AND (E) a funo de Z 2 em Z 2 .
A porta OR (OU) a funo de Z 2n em Z 2.
A porta NOT (NO) a funo ~ de Z 2 em Z 2.
Definio 2.1.2 - O conjunto {p1, p2, ..., pn} de portas denominado funcionalmente completo se,
dado qualquer inteiro positivo n e uma funo f
de Z 2n em Z 2 , possvel construir um circuito
combinatrio que compute a funo f utilizando
apenas {p1, p2, ..., pn}.
41
2.1. Circuitos a Portas

Exemplo 2.1.4 - Os teoremas que atestam que toda
classe de equivalncia pode ser gerada a partir da
primeira e da segunda formas cannicas (1.1 e 1.2)
permitem mostrar que o conjunto de portas {AND,
OR, NOT} funcionalmente completo.
Definio 2.1.3 - Portas lgicas NAND e NOR.
NAND
NOR
Teorema 2.1.1 - Os conjuntos de portas

{AND, NOT}={NAND} e {OR, NOT}={NOR}
so funcionalmente completos.
42
21
21
2.1. Circuitos a Portas - Anlise

Quando o circuito aparece determinado por meio de
um diagrama de portas lgicas a maneira mais
eficiente de anlise a decomposio em funes
intermedirias, da sada para a entrada, ou a
composio de funes, da entrada para a sada.
x1
f1
x2
x4
x3
x5
f3
f2
43

Exemplo 2.1.5
x1
f1
x2
x4
x3
x5
f3
f2
As entradas do circuito anterior so (x1, x2, x3, x4, x5)

e sua sada o valor lgico f(x1, x2, x3, x4, x5).
Da sada para a entrada tem-se:
f(x1, x2, x3, x4, x5) = f1(x1, x2) + f2(x3, x4, x5) =
f(x1, x2, x3, x4, x5) = x1. x2 + x3 . f3(x4, x5) =
f(x1, x2, x3, x4, x5) = x1. x2 + x3 . (x4 + x5) =
f(x1, x2, x3, x4, x5) = x1. x2 + x3 . x4 + x3 . x5
44
22
22

Exemplo 2.1.6 - Anlise de circuitos E-OU (OU-E) a
dois nveis:
x1
f1
f1
x1
x2
x2
x3
x4
f2
x5
x5
f3
x6
f2
x3
x4
x6
f3
45

Exemplo 2.1.7 - Anlise de circuitos XOR:
x1
x2
f1
x3
f2
f3
x4
x5
Verifica-se a associatividade da operao, de modo

que f poderia ser representada por:
x1
x2
x3
x4
x5
46
23
23

Exemplo 2.1.8 - Anlise de circuitos NAND:
x1
f1
x2
x3
f2
f3
f
x4
x5
Exemplo 2.1.9 - Anlise de circuitos NOR:

x1
f1
x2
x3
f2
f3
f
x4
x5
47
3. Sntese de Circuitos Combinatrios

Sntese
Diagrama
Expresso
Tabela da
Inter-
Lgico
Algbrica
Verdade
pretao
Anlise
48
24
24

Terminologia:
Engenheiro
de Computao - No exerccio da
profisso:
Envolvimento na realizao de Projeto de
Sistemas Digitais.
Projeto
de Sistemas Digitais - Fases:
Especificao: requisitos, escopo.

Modelo: tcnicas, mtodos de implementao.
Implementao: simulao, laboratrio.
49

Projeto
de Sistemas Digitais - Necessidade

de representao:
Linguagem.
Diagramas.
lgebra Booleana e lgebra de
Chaveamento - Aparecem como ferramenta
aderente ao encaminhamento da soluo
desta classe de problemas.
Projeto de Sistemas Digitais - Envolve a
atividade do Projeto Lgico Digital.
50
25
25
Projeto Lgico Digital:
Atividade na qual o projetista de um sistema

eletrnico digital cria circuitos analisando um
problema e elaborando sua soluo no nvel
conceitual dos Circuitos Lgicos.
Circuitos Lgicos Circuitos que existem apenas como Abstraes
Matemticas:
Independentes do mundo fsico da eletrnica digital;
Constitudos de associaes de Mdulos Lgicos
Funcionais.
51

Mdulos Lgicos Funcionais:
Associaes de Portas Lgicas Fundamentais que
realizam as Operaes Lgicas Primitivas
definidas na lgebra de Chaveamento adotada.
Realizao de um Projeto Lgico Digital:
o projeto de uma Mquina Abstrata, ou
Equipamento Matemtico, onde as primitivas
(tijolos da construo) so operaes matemticas.
O Circuito Lgico pode ser visto como uma
associao (ou rede) de operadores matemticos.
52
26
26

Engenharia do Projeto Lgico Digital [Fregni-95]:
Muda o enfoque do projeto - Parte do princpio de
que a Finalidade de todo Circuito Lgico ser
Materializado em um Circuito Fsico.
Define: Mdulos Matemticos a serem utilizados.
Estabelece Tcnicas e Mtodos de implementao.
Define as Caractersticas Fsicas do circuito final.
Projetista usa a Intuio - A ao do Projetista
deixa de ser exclusivamente mecanizada ou formal
e este usa sua experincia como ferramenta.
Projetar passa a ser uma Arte, com mtodo cientfico!
53

Objetivo: Obter a soluo mais econmica!
Soluo mais econmica - Difcil de ser definida
com preciso.
Critrios possveis:
Minimizao do nmero de literais da funo de
chaveamento.
Minimizao do nmero de interconexes entre
as portas.
Minimizao do nmero de pinos do circuito
integrado a ser eventualmente construdo.
54
27
27
3.1. Sntese por Mtodo Algbrico

O Teorema da Expanso de Shannon [I15] mostrou
que pode-se decompor uma Expresso de Chaveamento fn(x1, x2, x3, ..., xn) em duas formas cannicas:
Soma de Produtos [SP - I15a] e
Produto de Somas [PS - I15b].
Ex. 3.1. f = x1.x2 + ~x2.x3 pode ser representada por:
f = x1.x2 .~x3 + x1.x2.x3 + x1.~x2.x3 + ~x1.~x2.x3 (SP)
ou por
f=(x1+x2 +x3).(x1+~x2+x3).(x1+~x2+~x3).(~x1+x2+x3) (PS)
55

Usando a definio de mintermos e maxtermos:
f = x1.x2 .~x3 + x1.x2.x3 + x1.~x2.x3 + ~x1.~x2.x3 (SP)
f = m3
+ m7 +
m5 +
m4 (SP)
f = m(3,4,5,7) .
ou
f=(x1+x2 +x3).(x1+~x2+x3).(x1+~x2+~x3).(~x1+x2+x3) (PS)
f= M0
.
M2 .
M6
.
M1 (PS)
f = M (0,1,2,6) .
56
28
28

Teorema 3.1.1 - Uma Expresso de Chaveamento
do tipo fn(x1, x2, x3, ..., xn) pode ser expressa de
maneira nica como uma soma de mintermos ou
um produto de maxtermos.
Teorema 3.1.2 - Se a Expresso de Chaveamento
fn(x1, x2, x3, ..., xn) expressa como uma soma
de p mintermos ento ela tambm expressa como um produto de (2n - p) maxtermos.
p
( 2n p )
f n mi M j
, onde: i j.
57
por Mtodo Algbrico Seja um

sistema e uma especificao deste:
Sntese
O processo de sntese consiste na obteno de

uma Expresso de Chaveamento do tipo fn(x1,
x2, x3, ..., xn), que represente o comportamento
do sistema em questo.
A especificao
pode vir:
Por meio de linguagem natural (uma descrio

de seu comportamento lgico, por exemplo).
Tabela da verdade.
58
29
29
Exemplo 3.1.1 - Sintetizar um circuito de

chaveamento para detectar os cdigos BCD
correspondentes aos nmeros mpares.
x1
x2
x3
x4
Detector
59

Exemplo 3.1.1
x4 x3 x2 x1
y
0 0 0 0
0
Soma Produtos
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
~x4 . ~x3 . ~x2 . x1
1 0 0 1
x4 . ~x3 . ~x2 . x1
0
0
0
0
0
0
0
1
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
Produto Somas
x4 + x3 + x2 + x1
x4 + x3 + ~x2 + x1
~x4 . ~x3 . x2 . x1
x4 + ~x3 + x2 + x1
~x4 . x3 . ~x2 . x1
x4 + ~x3 + ~x2 + x1
~x4 . x3 . x2 . x1
~x4 + x3 + x2 + x1
60
30
30

Exemplo 3.1.1 - Soma de Produtos: y = ~x4.~x3.~x2.x1 +
~x4.~x3.x2.x1+~x4.x3.~x2.x1+~x4.x3.x2.x1+x4.~x3.~x2.x1
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
61

Ex3.1.1-Produto de Somas: y=(x4+x3+x2+x1).(x4+x3+~x2+x1)
.(x4+~x3+x2+x1).(x4+~x3+~x2+x1).(~x4+x3+x2+x1)
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
62
31
31
3.2. Sntese por Mapa de Karnaugh

Um Mapa de Karnaugh pode ser considerado como
uma representao modificada de uma Tabela da
Verdade, em n dimenses. Consegue-se visualizar
propriedades explcitas por meio de padres e/ou
estruturas que permitem simplificaes nas funes de chaveamento, com complexidade de representao proporcional ao nmero de variveis.
Clula - um mintermo ou um Maxtermo.
Clulas Adjacentes - Duas clulas so adjacentes quando diferem apenas no valor de uma varivel.
Adjacncias - Grupamentos (retangulares ou quadrados)
de 2n clulas adjacentes.
63

Mapa de Karnaugh - Obteno e interpretao
para duas variveis:
Conjunto Universal
~x2 x2
~x2 x2
~x2 x2
~x1
~x1 (0) (2)
x1
x1 (1) (3)
Mintermos
x2
x2
x1
f=~x2.~x1
x1
0
x2
0
x1
f=x2.~x1
x2
0
x1
0
1
f=~x2.x1
f=x2.x1
64
32
32

Mapa de Karnaugh - Interpretao das Leis de De
Morgan para duas variveis:
x2
x2
0
x1
0
1
x1
x1
x2
x1
x2
0
1
x2
x1
f = ~(x2 . x1) = ~x2 + ~x1 = ~x2
f=x2.x1
0
x2
x2
x1
x1
~x1
x2
x2
x1
x2
x1
0
1
f=x2+x1 f= ~(x2 + x1) = ~x2 . ~x1 =
x1
~x2
~x1
65

Mapa de Karnaugh - Representao de alguns
Conectivos Lgicos para duas variveis:
Conjunto Universal
f=x2ORx1
x2
0
x1
Conjunto Universal
x2
f=x2ANDx1
x2
x2
x1
x1
x2
0
x1
f=x2NORx1 f=x2NXORx1 f=x2NANDx1

x2
x2
x1
x1
f=x2XORx1
x2
x1
x1
66
33
33

Mapa de Karnaugh - Representao:
Uma varivel
Duas variveis
x2
x1
0
Trs variveis
x1
(0) (1)
x3x2
x1 00 01 11 10
(0) (2)
(0) (2) (6) (4)
(1) (3)
(1) (3) (7) (5)
67

Trs variveis: x3,x2,x1
x3x2
x1 00 01 11 10
~x3~x2
(0) (2) (6) (4)
~x1
(1) (3) (7) (5)
x1
x3x2
~x1
~x3x2
~x3x2
x3x2
x3~x2
x3~x2
~x3~x2
x1
68
34
34

Quatro variveis
Cinco variveis
x5 = 0
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
x5 = 1
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
(16) (20) (28) (24)
00
01
(1) (5) (13) (9)
(17) (21) (29) (25)
01
(19) (23) (31)(27)

(18) (22) (30)(26)
01
(1) (5) (13) (9)
11
(3) (7) (15)(11)
11
(3) (7) (15)(11)
10
(2) (6) (14)(10)
10
(2) (6) (14)(10)
x4x3
00 01 11 10 x2x1
11
10
69

Quatro variveis
x4
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
00
00 01 11 10
(0) (4) (12) (8)
01
(1) (5) (13) (9)
01
(1) (5) (13) (9)
11
(3) (7) (15)(11)
11
(3) (7) (15)(11)
10
(2) (6) (14)(10)
10
(2) (6) (14)(10)
x2
x1
x3
70
35
35

Mapa de Karnaugh para Seis Variveis:
x5 = 0
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
00 01 11 10
x2x1
(16) (20) (28) (24)
00
(1) (5) (13) (9)
(17) (21) (29) (25)
01
11
(3) (7) (15)(11)
(19) (23) (31)(27)
10
(2) (6) (14)(10)
(18) (22) (30)(26)
10
00
(32) (36) (44) (40)
(48) (52) (60) (56)
00
01
(33) (37)(45) (41)
(49) (53) (61) (57)
01
11
(35) (39)(47) (43)
(51) (55) (63) (59)
11
10 (34) (38) (46) (42)
(50) (54) (62) (58)
10
01
x6 = 0
x6 = 1
x2x1
00 01 11 10
x4x3 x5 = 0
x5 = 1 x x
4 3
11
x6 = 0
x6 = 1
00 01 11 10
x2x1
x5 = 1 x4x3
71

Exerccio 3.2.1 - Determinar o menor conjunto de adjacncias que cubra (ou contenha) todos os mintermos das
funes de trs variveis dadas:
x3x2
x1 00 01 11 10
0
x3x2
x1 00 01 11 10
0
x3x2
x1 00 01 11 10
0
72
36
36

Exerccio 3.2.2 - Determinar o menor conjunto de adjacncias que cubra (ou contenha) todos os mintermos das
funes de quatro variveis dadas:
x4x3
x2x1 00 01 11 10
1 0 0 1
00
1 1 0 1
01
0 1 0 0
11
1 0 0 1
10
x4x3
x2x1 00 01 11 10
00 0 0 0 0
01
11
10
73
Cubo-r (cubo de ordem r ou cubo erre) - o

elemento bsico em um Mapa de Karnaugh. Sua
definio pode ser gerada de maneira indutiva:
Cubo-0: Em um Mapa de Karnaugh de n variveis,
uma entrada qualquer com 1 (isto , uma clula
ou um mintermo) um Cubo-0.
Cubo-1: Em um Mapa de Karnaugh de n variveis
sejam dois Cubos-0 que diferem apenas no valor
de uma varivel (Cubos-0 adjacentes). As n-1 variveis em que dois Cubos-0 adjacentes so concordantes definem um Cubo-1.
74
37
37

Cubo-r - Analogia com representaes geomtricas
de variveis contnuas:
x = 2,37
Uma
varivel
2
x2
Duas
1 x1 2
(2,37 ; 1,2)
1
1 x1 2
x1
(1,0)
x2
variveis
(0,0)
1
(1,1)
(x2,x1)
x1
(0,1)
75

Cubo-r (r 1): Em um Mapa de Karnaugh de n
variveis sejam dois Cubos-(r-1) diferindo exatamente no valor de uma varivel (denominados
Cubos-(r-1) adjacentes). As n-r variveis em
que dois Cubos adjacentes so concordantes
definem um Cubo-r.
Cubo-r - Analogia com representaes geomtricas de variveis contnuas. Exemplo com a
funo:
p
f n ( x1, x2 , x3 ) mi (0,2,3,6,7)
76
38
38

Trs variveis
Cubos-0 possveis para uma

funo de trs variveis
m6
(1,1,0)
(2,37;1,2;2)
2
x2
1
x3
m2
(0,1,0)
m3
(0,1,1)
m4
(1,0,0)
m7
(1,1,1)
1 x1 2
m5
(1,0,1)
x2 x3 (x ,x ,x )
3 2 1
(0,0,0) x1
m0
(0,0,1)
m1
77

Exemplo: Cubos-0 da
funo de trs variveis.
m6 (1,1,0)
m2
(0,1,0)
Exemplo: Cubos-1 da
funo de trs variveis.
m7 (1,1,1)
m3
(0,1,1)
1,1,0
1,1,X
X,1,0
0,1,0
1,1,1
X, 1,1
0, 1,X
0,1,1
0,X,0
(x3,x2,x1)
(0,0,0) m0
(x3,x2,x1)
0,0,0
78
39
39

Exemplo: Cubo-2 da funo de trs variveis.
p
f n ( x1, x2 , x3 ) mi (0,2,3,6,7)
f n ( x1, x2 , x3 ) ~ x3 ~ x1 x2
Cubo-2
1,1,X
X,1,0
X, 1,1
0, 1,X
Cubo-1
0,X,0
(x3,x2,x1)
79
4. Minimizao de Circuitos
No momento de simplificar-se um circuito conveniente determinar uma topologia (ou formato) de
circuito antes de definir-se o critrio para o significado de mais simples possvel. Vejamos as implementaes de trs formas distintas da seguinte
funo:
p
f n mi (5,6,9,10,13,14)
f n x4 x2 ~ x1 x4 ~ x2 x1 x3 x2 ~ x1 x3 ~ x2 x1
f n ( x4 x3 )( x2 ~ x1 ~ x2 x1 )
80
40
40
Qual a forma mais simples (I)?
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
x1
x2
x3
x4
m5
m6
fn
m9
m10
m13
m14
(I)
81
Qual a forma mais simples (II e III)?
x1
x2
x4
x2
x1
x1
x2
x4
fn
x1
x2
x3
fn
x4
x3
x2
x1
x2
x3
x1
(II)
(III)
82
41
41
4.1. Implicantes Primrios

Implicante Primrio: Um Cubo um IP
implicante primrio se ele no estiver
includo em nenhum outro Cubo de ordem
superior.
Uma funo de chaveamento pode ser representada
por uma soma de todos os seus implicantes primrios. Esta representao especial em Soma de Produtos denominada Soma Completa.
Tal representao no necessariamente a funo de
chaveamento minimizada, porm um passo
importante para a minimizao.
83
4.1. Implicantes Primrios

Implicante Primrio Essencial: Seja Ipj um
implicante primrio e seja fn uma funo
expressa na forma da soma de todos os seus
Ipi. Ipj um Implicante Primrio Essencial
(IPE) se Ipj contiver um cubo qualquer no
contido na somatria dos Ipi.
Os IPEs devero estar presentes em uma realizao
mnima para fn. Se estes IPEs cubrirem fn totalmente ento o problema de minimizao est concludo.
84
42
42
4.1.1. Tabela de Cobertura
Tabela de Cobertura: Se ocorrer o caso

de que os IPEs no cubram fn totalmente, ento deve-se usar algum procedimento que permita descobrir os IPs
(dentre os no essenciais), que faam
parte da expresso mnima:
Expresso Mnima =
= IPE1 + IPE2 + + IPEn + [(Demais Implicantes)]
Um destes procedimentos denomina-se

Tabela de Cobertura.
85

Considere-se o exemplo de uma funo definida por
seu Mapa de Karnaugh, onde o custo (k) igual ao
nmero de Literais do IP. Para descobrir os demais
implicantes realiza-se um processo de reduo da
Tabela de Cobertura:
1-) Por meio da eliminao das clulas j cobertas por
IPEs;
2-) Encontrando-se implicantes de menor custo (k)
possvel e que cobrem o maior nmero de clulas.
Diz-se que estes implicantes dominam os demais.
86
43
43

Exemplo Funo dada por seu Mapa de Karnaugh:
x x
4 3
x x
2 1 00
x x
4 3
x x
2 1 00
01 11 10
00 1
01 1
IPE1
00 1
01 1
1*
11
10 0
10 0
11
01 11 10
1
1*
1*
*: Clulas no
cobertas por
nenhum outro
cubo que seja o
maior possvel.
IPE2
IPEs:
IPE1 = ~x4.x1
IPE2 = x4.~x3.~x1
87

Todos os IPs:
Demais IPs:
IPEs:
IP1 = IPE1 = ~x4.x1
IP2 = IPE2 = x4.~x3.~x1
IP3 = ~x4.~x3.~x2
IP4 = ~x3.~x2.~x1
IP5 = x3.~x2.x1
IP6 = x4.x3.~x2
IP7 = x4.~x2.~x1
IP3 IP6
x x
4 3
x x
2 1 00
IP4
01 11 10
IP7
00 1
01 1
1* 1* 0
IP5
1*
IP2=IPE2
11
IP1=IPE1 10 0
88
44
44

Tabela de Cobertura- Para aplicao do processo de reduo:
Implicantes
IP1=IPE1
10
IP2=IPE2
IP3
IP4
12 13 Custo(k)
3
3
IP5
IP6
IP7
3
3
3
Obs: Lembrar que o custo (k) igual ao nmero de Literais do Implicante.

89

Tabela de Cobertura - Aps processo de reduo:
Implicantes
IP3 e IP4
so
indiferentes
(k e m0 iguais)
fmn =
12 13 Custo(k)
IP3
IP4
IP5
IP6
IP7
3
3
3
IP6
domina
IP5
e IP7
IP1 + IP2 + IP3 + IP6 (k=2+3+3+3=11)

OU
IP1 + IP2 + IP4 + IP6 (k=2+3+3+3=11)
90
45
45

Exemplo: Procedimento de extrao dos Implicantes Primrios pelo mtodo tabular. Dada a
Funo:
p
f n mi (0,2,4,5,7,8,10,12,15)
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
x4x3
x2x1 00 01 11 10
00
01
(1) (5) (13) (9)
01
1
1
11
(3) (7) (15)(11)
11
10
(2) (6) (14)(10)
10
1
1
91

Passo 1 -Listam-se os mintermos de fn com a notao Cubo-0 correspondente (Ex:m7=~x4x3x2x1).
Agrupam-se os Cubos-0 de modo que:
No primeiro grupo todos possuam zero 1s.
No segundo grupo todos possuam um 1, etc.
Identificam-se pares de Cubos-0 compatveis, isto ,

que exista um Cubo-1 que os contenha.
Define-se uma operao entre Cubos-0 compatveis
para gerar o Cubo-1 que os contm. Os Cubos-0
so marcados com e os Cubos-1 gerados
colocados em outra tabela para o passo 2.
92
46
46

Exemplo Mtodo Tabular de extrao dos
Implicantes Primrios :
(0)
(2)
(4)
(8)
(5)
(10)
(12)
(7)
(15)
Passo 1
x4 x3 x2
0 0 0
0 0 1
0 1 0
1 0 0
0 1 0
1 0 1
1 1 0
0 1 1
1 1 1
x1
0
0
0
0
1
0
0
1
1
93

Passo 2 - Os Cubos-1 gerados pelo Passo 1 so
agrupados, de maneira que os elementos do primeiro grupo possuem zero 1s, os do segundo
grupo um 1, etc. utilizado o mesmo procedimento de operao entre Cubos-1 para gerar
Cubos-2 para o passo 3.
Passo 3 - O procedimento anlogo aos anteriores. Como no so gerados Cubos-3 para este
exemplo termina-se o algoritmo de gerao de
Implicantes Primrios.
94
47
47

Exemplo - Mtodo Tabular de extrao dos Implicantes
Primrios:
IP5
Passo 2
x4 x3 x2 x1
(0,2)
0 0 - 0
(0,4)
0 - 0 0
(0,8)
- 0 0 0
- 0 1 0
(2,10)
(4,5)
0 1 0 (4,12)
- 1 0 0
(8,10)
1 0 - 0
(8,12)
1 - 0 0
(5,7)
0 1 - 1
(7,15)
- 1 1 1
IP4
IPE3
f = ~x4x3~x2 + ~x4x3x1 + x3x2x1 +
IPE2
IPE1
+ ~x3~x1 + ~x2~x1
Passo 3
(0,2,8,10)
(0,4,8,12)
x4 x3 x2 x1
- 0 - 0
- 0 0
95

Verificar se h necessidade dos termos (4,5) ou
(5,7) dado que:
4 (0,4,8,12) e 5 (5,7).
Ou outra maneira de ver que:

5 (4,5) e 7 (7,15).
IP5
IP4
(4,5)
(5,7)
IPE3
IPE2
IPE1
f = ~x4x3~x2 + ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1

(7,15) (0,2,8,10) (0,4,8,12)
96
48
48

x 4x 3
x 2x 1
00
01
11
10
IPE1
00
12*
(0,4,8,12*)
01
10
(0,2*,8,10*)
IP4
(4,5)
5
7
11
IPE2
IP5
15*
(5,7)
IPE3
10*
2*
IP4
(7,15*)
IPE3
IPE2
IPE1
fmn = ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1

OU
fmn = ~x4x3~x2 + x3x2x1 + ~x3~x1 + ~x2~x1

IP5
IPE3
IPE2
IPE1
97
4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes
At o momento identificamos Adjacncias

isto , grupamentos (retangulares ou quadrados) de 2n clulas (mintermos) adjacentes,
para as quais o valor da Funo 1.
Pode-se identificar outro tipo de Adjacncias
isto , grupamentos (retangulares ou quadrados) de 2n clulas (Maxtermos) adjacentes, para as quais o valor da Funo 0.
98
49
49
Exemplos:
f = x2 + x 4
x4
f = ~x1 + ~x3
x4x3
x2x1 00 01 11 10
00 1 1 1 1
x4x3
x2x1 00 01 11 10
0 0 1 1
00
x2
01
11
10
~x1
01
11
10
~x3
Realmente, considerando-se os uns chega-se ao

mesmo valor.
99
Dicas: 1-) Constri-se o Mapa de Karnaugh

de ~f; 2-) Escreve-se a expresso de ~f,
considerando-se os uns (mintermos); 3-)
Complementa-se ~f, obtendo-se f.
Na prtica nem se chega a construir
o Mapa de ~f, define-se o Mapa
de f considerando-se os Zeros
(Maxtermos); Lembrar que os
Maxtermos, identificados por
seus ndices, esto nas mesmas
posies que os mintermos.
Maxtermos
M0=x4 + x3 + x2 + x1
x4x3
x2x1 00 01 11 10
00 (0) (4) (12) (8)
01
(1) (5) (13) (9)
11
(3) (7) (15)(11)
10
(2) (6) (14)(10)
100
50
50
Exerccio Considerando-se os Zeros das Funes,

determinar a expresso de chaveamento das
seguintes funes:
x4x3
x2x1 00 01 11 10
0 1 1 0
00
x4x3
x2x1 00 01 11 10
00 1 1 1 1
01
01
11
11
10
10
101

Funes Incompletamente Definidas So
aquelas que, por razes diversas, tem o domnio de interesse de respostas menor que o
conjunto de combinaes de todas suas entradas. So funes para as quais no importa (Dont Care - X) que, para algumas combinaes de entradas, a sada possa valer 0
ou 1 (X).
Pode-se tirar proveito deste grau de liberdade
escolhendo-se o valor mais adequado de X
para se obter a expresso mnima possvel.
102
51
51

Funes Incompletamente Definidas Exemplo:
Quer-se sintetizar o Circuito2 de maneira que:
x1
x2
x3
f2
fn
Circuito2
x2
x3
fn mi (1, 3,4,6,7)
f1
Observa-se que a funo f1=x3.x2 j foi fornecida,

e que fn=f1+f2.
Por meio dos Mapas de Karnaugh faz-se a anlise
de quais mintermos podem ser dont care (X).
103
Pode-se ver que a funo f2 dever fornecer 1s nas

posies m1, m3 e m4, e no importa seu valor
lgico (1 ou 0) nas posies m6 e m7 (onde foi
anotado um X). Procura-se a melhor distribuio de
0s e 1s para os Xs, de maneira que se obtenha a
menor expresso de chaveamento.
p
fn mi (1,3,4,6,7) {f1 mi (6,7)} {f2 [ mi (1,3,4) X i (6,7)]}

x1
x1
fn
x3x2
00
0 1
(0) (1)
00
1
1
01
(2) (3)
01
11
(6) (7)
11
10
(4) (5)
10
x3x2
x1
x3x2
f1
0
x1
1
01
11
10
00
1
1
01
x3x2
00
f2
0
11
X X
10
104
52
52
Para sintetizar a soma mnima preciso:

1. Marcar os Implicantes Primrios (IPs) considerandose as clulas Xs como se tivessem valor 1;
2. Eliminar os IPs que cubram apenas clulas Xs e
apagar os Xs do Mapa de Karnaugh;
3. Eliminar IPs contidos em outros deixando apenas os
IPs Essenciais (IPEs).
x1
0
x1
x3x2
00
1
1
01
x3x2
x1
x3x2
00
00
1
1
01
01
X X
11
10
10
11
~x1.x3 10
x1.~x3
1
1
11
1
1
105

Funes Incompletamente Definidas Exemplo:
Por meio da anlise de quais mintermos podem ser
Dont Care (X) nos Mapas de Karnaugh e a
aplicao de tcnicas de minimizao conhecidas
(identificao do Implicantes primrios Essenciais
IPEs) pode-se sintetizar o Circuito2:
x1
x2
x3
f2
Circuito2
x2
x3
fn
f1
106
53
53
5. Exemplos de Aplicao: 5.1. Somador

1-) Anlise Fornece-se o circuito lgico e pede-se
para extrair a Expresso Algbrica e a Tabela da
Verdade, interpretando-se suas Funes de
Engenharia.
2-) Sntese:
a.) Pela Funo de Engenharia A partir da especificao funcional vo sendo desenvolvidos os
mdulos constituintes dos sistema.
b.) Por Mapa de Karnaugh O funcionamento do
circuito especificado por uma Tabela da
Verdade, da qual, por Mapa de Karnaugh, so
extradas as expresses algbricas .
107
5. Exemplos de Aplicao: 5.2. Half Adder Full Adder

Half Adder - Equivale a um circuito
meio-somador de dois dgitos binrios.
x
1
1
0
0
y
1
0
1
0
c s
1 0
0 1
0 1
0 0
x
y
c
108
54
54
5. Exemplos de Aplicao:
5.2. Meio Somador - Somador Completo
Somador Completo
Meio Somador
xi
x
y
yi
Meio Somador
sint
x
y
sint
cint
cint
ci+1
ci
109
5. Exemplos de Aplicao:
5.3. Soma de Dois Nmeros
M = x3x2x1
N = y3y2y1
s
x1
y1
x2
y2
x3
y3
z1
Meio
Somador
c Somador
z2
Completo
c Somador
z3
z4
Completo
110
55
55
Bibliografia
Dias, Francisco Jos de Oliveira; Introduo aos circuitos
de Chaveamento; Apostila, PEL/EPUSP, 1.989.
Ercegovac, Milos D.; Lang, Toms; Digital Systems and
Hardware/Firmware Algorithms; John Wiley, 1.985.
Fernndez, Gregrio; Saez Vacas, Fernando;
Fundamentos de Informtica, Alianza Editorial,
Coleccin Alianza Informtica, 1.987.
Fregni, Edson; Saraiva, Antnio Mauro; Engenharia do
Projeto Lgico Digital, Editora Edgard Blucher, 1.995.
Gersting, Judith L.; Fundamentos Matemticos Para a
Cincia da Computao, LTC - Livros Tcnicos e
Cientficos Editora S. A., 1.995.
111
Bibliografia
Guerra Vieira, Antnio Hlio; Dias, Francisco Jos de
Oliveira Notas de Aula de PEL 213 - Circuitos de
Chaveamento, Apostila, EPUSP, 1.979.
Hill, Frederic and Peterson, Gerald; Introduction To
Switching Theory and Logical Design, John Wiley Sons,
1.974.
Mendelson, Elliott; lgebra Booleana e Circuitos de
Chaveamento, Coleo Schaum, Editora McGraw-Hill,
1.977.
Ranzini, Edith; Fregni, Edson; Notas de Aula de PCS 214 Teoria da Comutao: Introduo aos Circuitos Digitais,
Apostila, EPUSP, 1.996.
Tremblay, J. P. and Monohar, R.; Discrete Mathematical
Structures With Applications to Computer Science,
McGraw-Hill, 1.975.
112
56
56

Analise Sintese Circuitos Combinatorios

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Analise Sintese Circuitos Combinatorios

Caricato da

Copyright:

Formati disponibili

PCS 2215

Mdulo 06a Anlise e Sntese de Circuitos

0. Notas e Definies Preliminares.

0. Notas e Definies Preliminares

PCi l1.l2 ., , ,.ln (lj )

Definio 1.2 - Primeira Forma Cannica

Como em um produto cannico intervm

Segundo Teorema da lgebra de Chaveamento

m0 = ~x3 ~x2 ~x1

Definio 1.4- Segunda Forma Cannica toda Expresso

M7 = ~x3 + ~x2 + ~x1

C0 = C7 . C11 . C13 . C14

C8 = C11 . C13 . C14

m7 = x3 x2 x1 = ~M7 M7 = ~x3 + ~x2 + ~x1 = ~m7

mento ({F.C.}, , , ~, 0t, 1t) tem o mesmo

{F.C.} tem um nmero de n-tuplas

{C.E.} tem um nmero de k = 2n produtos

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

= x.(~y + y.z) + x.~z + x.y.~z + y.z + x.~y.z + y.z =

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

1.1. Identidades Bsicas

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

Identificao exata das operaes algbricas envolvidas:

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

2. Anlise de Circuitos Combinatrios

[d] f(0, x2) = ~x2

Expresso final [e]: x1 . x2 + ~x1 . ~x2

2. Anlise de Circuitos Combinatrios

2.1. Circuitos a Portas

2.1. Circuitos a Portas

Teorema 2.1.1 - Os conjuntos de portas

2.1. Circuitos a Portas - Anlise

2.1. Circuitos a Portas - Anlise

As entradas do circuito anterior so (x1, x2, x3, x4, x5)

2.1. Circuitos a Portas - Anlise

2.1. Circuitos a Portas - Anlise

Verifica-se a associatividade da operao, de modo

2.1. Circuitos a Portas - Anlise

Exemplo 2.1.9 - Anlise de circuitos NOR:

3. Sntese de Circuitos Combinatrios

3. Sntese de Circuitos Combinatrios

de Sistemas Digitais - Fases:

Especificao: requisitos, escopo.

3. Sntese de Circuitos Combinatrios

de Sistemas Digitais - Necessidade

3. Sntese de Circuitos Combinatrios

Projeto Lgico Digital:

Atividade na qual o projetista de um sistema

3. Sntese de Circuitos Combinatrios

3. Sntese de Circuitos Combinatrios

3. Sntese de Circuitos Combinatrios

3.1. Sntese por Mtodo Algbrico

3.1. Sntese por Mtodo Algbrico