Você está na página 1de 56

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

0. Notas Preliminares
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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

3
3

0. Notas Preliminares
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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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).
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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).
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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).
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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).
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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).
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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}.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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!
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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]
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

24

12
12

1.1. Identidades Bsicas


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]
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

25

1.1. Identidades Bsicas


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

26

13
13

1.1. Identidades Bsicas


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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

27

1.1. Identidades Bsicas


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

28

14
14

1.1. Identidades Bsicas


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

29

1.1. Identidades Bsicas


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)]
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

30

15
15

1.1. Identidades Bsicas


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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

31

1.1. Identidades Bsicas


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)]
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

32

16
16

1.1. Identidades Bsicas


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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

33

2. Anlise de Circuitos Combinatrios


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

34

17
17

2. Anlise de Circuitos Combinatrios


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

35

2. Anlise de Circuitos Combinatrios


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

36

18
18

2. Anlise de Circuitos Combinatrios


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

37

2. Anlise de Circuitos Combinatrios


Exemplo 2.1.1 - 1) Enumerao dos caminhos dos
sinais de entrada:
x1

x1.x2

x2

x1.x2 + ~x1.~x2

~x1
~x2

~x1.~x2

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

38

19
19

2. Anlise de Circuitos Combinatrios


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


Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

39

2. Anlise de Circuitos Combinatrios


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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}.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

43

2.1. Circuitos a Portas - Anlise


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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

44

22
22

2.1. Circuitos a Portas - Anlise


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

45

2.1. Circuitos a Portas - Anlise


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

46

23
23

2.1. Circuitos a Portas - Anlise


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

47

3. Sntese de Circuitos Combinatrios


Sntese

Diagrama

Expresso

Tabela da

Inter-

Lgico

Algbrica

Verdade

pretao

Anlise
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

48

24
24

3. Sntese de Circuitos Combinatrios


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

49

3. Sntese de Circuitos Combinatrios


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

50

25
25

3. Sntese de Circuitos Combinatrios

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

51

3. Sntese de Circuitos Combinatrios


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.

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

52

26
26

3. Sntese de Circuitos Combinatrios


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!
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

53

3. Sntese de Circuitos Combinatrios


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.

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

55

3.1. Sntese por Mtodo Algbrico


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) .
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

56

28
28

3.1. Sntese por Mtodo Algbrico


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.

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

57

3.1. Sntese por Mtodo Algbrico

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

58

29
29

3.1. Sntese por Mtodo Algbrico

Exemplo 3.1.1 - Sintetizar um circuito de


chaveamento para detectar os cdigos BCD
correspondentes aos nmeros mpares.

x1
x2
x3
x4

Detector

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

59

3.1. Sntese por Mtodo Algbrico


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

60

30
30

3.1. Sntese por Mtodo Algbrico


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

61

3.1. Sntese por Mtodo Algbrico


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

63

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

64

32
32

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

65

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

66

33
33

3.2. Sntese por Mapa de Karnaugh


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

67

3.2. Sntese por Mapa de Karnaugh


Mapa de Karnaugh - Representao:
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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

68

34
34

3.2. Sntese por Mapa de Karnaugh


Mapa de Karnaugh - Representao:
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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

69

3.2. Sntese por Mapa de Karnaugh


Mapa de Karnaugh - Representao:
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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

70

35
35

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

71

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

72

36
36

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

73

3.2. Sntese por Mapa de Karnaugh

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

74

37
37

3.2. Sntese por Mapa de Karnaugh


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

75

3.2. Sntese por Mapa de Karnaugh


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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

76

38
38

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

77

3.2. Sntese por Mapa de Karnaugh


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

78

39
39

3.2. Sntese por Mapa de Karnaugh


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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 )
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

80

40
40

4. Minimizao de Circuitos
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)
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

81

4. Minimizao de Circuitos
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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

85

4.1.1. Tabela de Cobertura


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

86

43
43

4.1.1. Tabela de Cobertura


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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

87

4.1.1. Tabela de Cobertura


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

88

44
44

4.1.1. Tabela de Cobertura


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.


Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

89

4.1.1. Tabela de Cobertura


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

90

45
45

4.2 Minimizao pelo Mtodo Tabular


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

91

4.2 Minimizao pelo Mtodo Tabular


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

92

46
46

4.2 Minimizao pelo Mtodo Tabular


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

93

4.2 Minimizao pelo Mtodo Tabular


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

94

47
47

4.2 Minimizao pelo Mtodo Tabular


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

95

4.2 Minimizao pelo Mtodo Tabular


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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

96

48
48

4.2 Minimizao pelo Mtodo Tabular


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

98

49
49

4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

99

4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes

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)

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

100

50
50

4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

101

4.4 Funes Incompletamente Definidas


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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

102

51
51

4.4 Funes Incompletamente Definidas


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

103

4.4 Funes Incompletamente Definidas

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

104

52
52

4.4 Funes Incompletamente Definidas

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

105

4.4 Funes Incompletamente Definidas


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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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 .
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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

Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

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.
Andrade, Corra, Gomi e Margi 2.013 < Anlise e Sntese de Circuitos Combinatrios > PCS 2215 Sistemas Digitais I

112

56
56