Você está na página 1de 57

PCS 2215

Fundamentos de Engenharia de Computao II

Mdulo 07 Anlise e Sntese de Circuitos

Combinatrios
Marco Tlio Carvalho de Andrade
Professor Responsvel
Verso: 2.0 (Agosto de 2.011)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 2

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 3

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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 5

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 6

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 7

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:

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


j =1
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 8

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 9

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 12

6
6

1. Formas Cannicas
Mintermos 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 1 1 1

Mintermos
m0 = ~x3 ~x2 ~x1 m1 = ~x3 ~x2 x1 m2 = ~x3 x2 ~x1 m3 = ~x3 x2 x1 m4 = x3 ~x2 ~x1 m5 = x3 ~x2 x1 m6 = x3 x2 ~x1 m7 = x3 x2 x1
PCS 2215 - Fund. Eng. Comp. II 13

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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
0

1 0 1 1

1 1 1 1

1 0 1 0

1 1 0 0

1 1 0 1

1 1 1 0

C0 = ~(C1 + C2 + C4 + C8) C1 = C1 C2 = C2 C3 = C1 + C2 C4 = C4 C5 = C1 + C4 C6 = C2 + C4 C7 = C1 + C2 + C4

C8 = C8 C9 = C1 + C8 C10 = C2 + C8 C11 = C1 + C2 + C8 C12 = C4 + C8 C13 = C1 + C4 + C8 C14 = C2 + C4 + C8 C15 = C1 + C2 + C4 + C8


PCS 2215 - Fund. Eng. Comp. II 14

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 17

1. Formas Cannicas
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 1 1 1

Maxtermos
M0 = x3 + x2 + x1 M1 = x3 + x2 + ~x1 M2 = x3 + ~x2 + x1 M3 = x3 + ~x2 + ~x1 M4 = ~x3 + x2 + x1 M5 = ~x3 + x2 + ~x1 M6 = ~x3 + ~x2 + x1 M7 = ~x3 + ~x2 + ~x1
PCS 2215 - Fund. Eng. Comp. II 18

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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

1 0 1 1

1 1 1 1

1 0 1 0

1 1 0 0

1 1 0 1

1 1 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 = C7

C8 = C11 . C13 . C14 C9 = C11 . C13 C10 = C11 . C14 C11 = C11 C12 = C13 . C14 C13 = C13 C14 = C14 C15 = ~(C7 . C11 . C13 . C14)
PCS 2215 - Fund. Eng. Comp. II 19

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

1. Formas Cannicas
Mintermos e Maxtermos para trs variveis:
x3 x2 x1 0 0 0 0 1 0 0 1 1 0 0 1 0 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 Maxtermos M0 = x3 + x2 + x1 = ~m0 M1 = x3 + x2 + ~x1 = ~m1 M2 = x3 + ~x2 + M3 = x3 + ~x2 + M4 = ~x3 + x2 + M5 = ~x3 + x2 + M6 = ~x3 + ~x2 + x1 = ~m2 ~x1 = ~m3 x1 = ~m4 ~x1 = ~m5 x1 = ~m6

1 0 1 1 1 0 1 1 1

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

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

20

10
10

1. Formas Cannicas Observaes adicionais: A lgebra de Chaveamento ({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 : {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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 21

n =k

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.
PCS 2215 - Fund. Eng. Comp. II 22

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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
PCS 2215 - Fund. Eng. Comp. II 26

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 y x+ y

~x

~x . y

x + ~x . y

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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 Expresso de Chaveamento

Identificao exata das operaes algbricas envolvidas: - Modelo funcional - Interpretao de Engenharia

Tabela da Verdade

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 37

2. Anlise de Circuitos Combinatrios


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

x1.x2 x1.x2 + ~x1.~x2

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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 e [d] f(0, x2) = ~x2

x1 x2

1 x2 0 ~x2 x2 0 x2

x1 x2

0 x2 1 ~x2 0 ~x2 ~x2

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


Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 39

2. Anlise de Circuitos Combinatrios


Exemplo 2.1.3 - 3) Decomposio em blocos elementares:
x1 x2 x1 x2 ~x1 ~x2 ~x1 ~x2 x1.x2 x1.x2 ~x1.~x2 ~x1.~x2 x1.x2 + ~x1.~x2

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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 . n A porta OR (OU) a funo de Z 2 em Z 2. A porta NOT (NO) a funo ~ de Z2 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 n de Z 2 em Z 2 , possvel construir um circuito combinatrio que compute a funo f utilizando apenas {p1, p2, ..., pn}.
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 x2 x4 x5 x3 f3 f2
PCS 2215 - Fund. Eng. Comp. II 43

f1 f

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

2.1. Circuitos a Portas - Anlise


Exemplo 2.1.5
x4 x5 x1 x2 x3 f3 f2 f1 f

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 44

22
22

2.1. Circuitos a Portas - Anlise


Exemplo 2.1.6 - Anlise de circuitos E-OU (OU-E) a dois nveis:
x1 x2 x3 x4 x5 x6 f3 f2 f f1 x1 x2 x3 x4 x5 x6 f3
PCS 2215 - Fund. Eng. Comp. II 45

f1 f2

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

2.1. Circuitos a Portas - Anlise


Exemplo 2.1.7 - Anlise de circuitos XOR:
x1 x2

f1 x3

f2 x4

f3 x5

Verifica-se a associatividade da operao, de modo que f poderia ser representada por:


x1 x2 x3 x4 x5 f

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

46

23
23

2.1. Circuitos a Portas - Anlise


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

Exemplo 2.1.9 - Anlise de circuitos NOR:


x1 x2 f1 x3 f2 x4 f3 f x5
PCS 2215 - Fund. Eng. Comp. II 47

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

3. Sntese de Circuitos Combinatrios


Sntese

Diagrama Lgico

Expresso Algbrica

Tabela da Verdade

Interpretao

Anlise
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.

f n = mi = M j

( 2n p )

, onde: i j.
PCS 2215 - Fund. Eng. Comp. II 57

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

3.1. Sntese por Mtodo Algbrico

Sntese por Mtodo Algbrico Seja um sistema e uma especificao deste:


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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

59

3.1. Sntese por Mtodo Algbrico


Exemplo 3.1.1 x4 x3 x2 x1 y 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 Soma Produtos ~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 x4 . ~x3 . ~x2 . x1
PCS 2215 - Fund. Eng. Comp. II 60

Produto Somas x4 + x3 + x2 + x1

0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 63

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Obteno e interpretao para duas variveis:
Conjunto Universal ~x2 x2 ~x1 x1 ~x2 x2 ~x2 x2 ~x1 (0) (2) x1 (1) (3)

Mintermos
x2 x1 0 1 0 1 1 x1 0 1 x2 0 1 1 x1 0 1 1 x2 0 1 x1 0 1 1 x2 0 1

f=~x2.~x1

f=x2.~x1

f=~x2.x1

f=x2.x1
PCS 2215 - Fund. Eng. Comp. II 64

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

32
32

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Interpretao das Leis de De Morgan para duas variveis:
x2 x1 0 1 1 0 1 x1 0 1 x2 0 1 1 1 1 x1 0 1 x2 0 1 1 1 1 x1 0 1 x2 0 1 1 1 x1 0 1 x2 0 1 1 1

f=x2.x1
x2 x1 0 1 1 0 1 1 1

f = ~(x2 . x1) = ~x2 + ~x1 = ~x2


x2 x1 0 1 0 1 1 x1 0 1 x2 0 1 1 x1 0 1 x2 0 1 1 1

+
x2 x1 0 1

~x1
0 1 1 1

f=x2+x1 f= ~(x2 + x1) = ~x2 . ~x1 =


Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

~x2

~x1
65

PCS 2215 - Fund. Eng. Comp. II

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao de alguns Conectivos Lgicos para duas variveis:
Conjunto Universal x2 x1 0 1 0 1 1 1 1 1 x1 0 1 1

f=x2ORx1
x2 0 1 1 1

f=x2XORx1
x2 x1 0 1 1 0 1 1

f=x2ANDx1
x2 x1 0 1 1 0 1

Conjunto Universal x2 x1 0 1 0 1 1 1 1 1

f=x2NORx1 f=x2NXORx1 f=x2NANDx1


x2 x1 0 1 x2 0 1 1 x1 0 1 0 1 1 1 x1 0 1 x2 0 1 1
66

1 1

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

33
33

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao:


Uma varivel
x1 0 1 (0) (1)

Duas variveis
x2 x1 0 1 0 1 (0) (2) (1) (3)

Trs variveis
x3x2 x1 00 01 11 10 0 1 (0) (2) (6) (4) (1) (3) (7) (5)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

67

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao:


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

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

68

34
34

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao:


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

Cinco variveis
x5 = 0
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)

x5 = 1
x4x3 00 01 11 10 x2x1
(16) (20) (28) (24) (17) (21) (29) (25) (19) (23) (31)(27) (18) (22) (30)(26)

00 01 11 10

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

69

3.2. Sntese por Mapa de Karnaugh Mapa de Karnaugh - Representao:


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

x4
00 01 00 01 11 10 (0) (4) (12) (8) (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)

x1

x2

11 10

x3
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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) x6 = 0
01 11 10 00 01 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
(32) (36) (44) (40) (33) (37)(45) (41) (35) (39)(47) (43)

x5 = 1 x x 4 3
00 01 11 10
(16) (20) (28) (24) (17) (21) (29) (25) (19) (23) (31)(27) (18) (22) (30)(26) (48) (52) (60) (56) (49) (53) (61) (57) (51) (55) (63) (59) (50) (54) (62) (58)

x2x1 00 01 11 10 00 01 11 10

x6 = 0

x6 = 1

11

x6 = 1

10 (34) (38) (46) (42) x2x1 00 01 11 10 x4x3 x5 = 0

00 01 11 10 x2x1 x5 = 1 x4x3
PCS 2215 - Fund. Eng. Comp. II 71

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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 1 0 1 1 0 1 0 0 1 x3x2 x1 00 01 11 10 0 1 0 0 1 1 1 1 1 0

x3x2 x1 00 01 11 10 0 1 1 1 0 0 0 0 1 1
PCS 2215 - Fund. Eng. Comp. II 72

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

73

3.2. Sntese por Mapa de Karnaugh 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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 74

Cubo-r (cubo de ordem r ou cubo erre) - o

37
37

3.2. Sntese por Mapa de Karnaugh Cubo-r - Analogia com representaes geomtricas de variveis contnuas:
Uma varivel

x = 2,37 0 1 x1 2 3 0 (1,0) x2 1 x1 2 3 (0,0) (x2,x1) x1 (0,1)


75

x1

1 (1,1)

2 x2
Duas variveis

(2,37 ; 1,2)

1 0

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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:

f n ( x1 , x2 , x3 ) = mi (0,2,3,6,7)
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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) m2 (0,1,0) m3 (0,1,1) m4 (1,0,0) 3 x2 x3 (x ,x ,x ) 3 2 1 (0,0,0) x1 m0 (0,0,1) m1
77

(2,37;1,2;2) x2 1 0 2 1 1 x1 2 2 x3

m7 (1,1,1)

m5 (1,0,1)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

3.2. Sntese por Mapa de Karnaugh


Exemplo: Cubos-0 da funo de trs variveis. m6 (1,1,0) m2 (0,1,0) m7 (1,1,1) 0,1,0 Exemplo: Cubos-1 da funo de trs variveis. 1,1,0

1,1,X
0,1,1

m3 (0,1,1)

1,1,1

X,1,0 0, 1,X
(x3,x2,x1)

X, 1,1

0,X,0
(x3,x2,x1) (0,0,0) m0 0,0,0

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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 0, 1,X X, 1,1

Cubo-1

0,X,0
(x3,x2,x1)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 m9 m10 m13 m14

fn

(I)
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 81

4. Minimizao de Circuitos
Qual a forma mais simples (II e III)?
x x1 x2 4 x1 x2 x4 x1 x2 x3 x1 x2 x3

x2 x1

fn

x4 x3 x2 x1

fn

(II)
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

(III)
PCS 2215 - Fund. Eng. Comp. II 82

41
41

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 83

4.1. Implicantes Primrios Implicante Primrio: Um Cubo um IP implicante primrio se ele no estiver includo em nenhum outro Cubo de ordem superior.

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.
PCS 2215 - Fund. Eng. Comp. II 84

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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:
= IPE1 + IPE2 + + IPEn + [(Demais Implicantes)]

Expresso Mnima =

Um destes procedimentos denomina-se Tabela de Cobertura.

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 0 1 1 0 1 1 0 0 1 0 0 1

01 11 10 0 1 1 1 1 0 0 1*

00 1 01 1 11 1

IPE1

00 1 01 1 11

*: Clulas no
cobertas por nenhum outro cubo que seja o maior possvel.

1* 1* 0 0 0

10 0

10 0

IPE2

IPEs: IPE1 = ~x4.x1 IPE2 = x4.~x3.~x1


Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 87

4.1.1. Tabela de Cobertura


Todos os IPs:
IPEs: IP1 = IPE1 = ~x4.x1 IP2 = IPE2 = x4.~x3.~x1
IP3 IP6
x x 4 3 x x 2 1 00

Demais IPs:
IP3 = ~x4.~x3.~x2 IP4 = ~x3.~x2.~x1 IP5 = x3.~x2.x1 IP6 = x4.x3.~x2 IP7 = x4.~x2.~x1
1 0 0 1*

01 11 10 0 1 1 1

IP4

00 1 01 1 11

IP7 IP5 IP2=IPE2


PCS 2215 - Fund. Eng. Comp. II 88

1* 1* 0 0 0

IP1=IPE1 10 0

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

44
44

4.1.1. Tabela de Cobertura


Tabela de Cobertura- Para aplicao do processo de reduo:
Implicantes 0 1 X 3 X 5 X 7 X X X X X X X X X X X X X 8 10 12 13 Custo(k) 2 3 3 3 3 3 3

IP1=IPE1 IP2=IPE2 IP3 IP4 IP5 IP6 IP7

Obs: Lembrar que o custo (k) igual ao nmero de Literais do Implicante.


Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 89

4.1.1. Tabela de Cobertura


Tabela de Cobertura - Aps processo de reduo:
Implicantes 0 X X X X X X 12 13 Custo(k) 3 3 3 3 3

IP3 e IP4 so indiferentes (k e m0 iguais)

IP3 IP4 IP5 IP6 IP7

IP6 domina IP5 e IP7

fmn =

IP1 + IP2 + IP3 + IP6 (k=2+3+3+3=11) OU IP1 + IP2 + IP4 + IP6 (k=2+3+3+3=11)
PCS 2215 - Fund. Eng. Comp. II 90

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

45
45

4.2 Minimizao pelo Mtodo Tabular


Exemplo: Procedimento de extrao dos Implicantes Primrios pelo mtodo tabular. Dada a Funo:

fn = mi (0,2,4,5,7,8,10,12,15)
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10) x4x3 x2x1 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1
PCS 2215 - Fund. Eng. Comp. II 91

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 92

46
46

4.2 Minimizao pelo Mtodo Tabular


Exemplo Mtodo Tabular de extrao dos Implicantes Primrios :
Passo 1
(0) (2) (4) (8) (5)
(10) (12)

(7)
(15)

x4 0 0 0 1 0 1 1 0 1

x3 x2 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1

x1 0 0 0 0 1 0 0 1 1


PCS 2215 - Fund. Eng. Comp. II 93

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 +


+ ~x3~x1 + ~x2~x1
Passo 3
(0,2,8,10) (0,4,8,12)

IPE2

IPE1

x4 x3 x2 x1 - 0 - 0 - 0 0
PCS 2215 - Fund. Eng. Comp. II 95

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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 IPE3 IPE2 IPE1

f = ~x4x3~x2 + ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1 (4,5) (5,7) (7,15) (0,2,8,10) (0,4,8,12)

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

96

48
48

4.2 Minimizao pelo Mtodo Tabular


x 4x 3 x 2x 1 00 0 01 4 5 7 2* 15* 10* 11 12* 10 8

IPE1
(0,4,8,12*)

00 01 11 10

IP5
(4,5)

IP4
(5,7)

IPE2
(0,2*,8,10*)

IPE3
(7,15*)

fmn = ~x4x3x1 + x3x2x1 + ~x3~x1 + ~x2~x1


OU

IP4

IPE3

IPE2

IPE1

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


IP5 IPE3 IPE2 IPE1
PCS 2215 - Fund. Eng. Comp. II 97 Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 98

49
49

4.3 Mapas de Karnaugh Considerando-se os Zeros das Funes

Exemplos:
f = x2 + x4 x4
x4x3 x2x1 00 01 11 10 0 0 1 1 00 01 0 1 1 0 1 1 1 1 1 1 1 1

f = ~x1 + ~x3
x4x3 x2x1 00 01 11 10 1 1 1 1 00

~x1

01 11 10

1 1 1

0 0 1

0 0 1

1 1 1

x2

11 10

~x3

Realmente, considerando-se os uns chega-se ao mesmo valor.


Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

Maxtermos
M0=x4 + x3 + x2 + x1
x4x3 x2x1 00 01 11 10 00 (0) (4) (12) (8) 01 11 10 (1) (5) (13) (9) (3) (7) (15)(11) (2) (6) (14)(10)
100

PCS 2215 - Fund. Eng. Comp. II

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 01 11 10 1 1 0 1 1 1 1 1 1 1 1 0 x4x3 x2x1 00 01 11 10 1 1 1 1 00 01 11 10 0 1 1 0 1 1 0 1 1 0 1 1

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 102

51
51

4.4 Funes Incompletamente Definidas


Funes Incompletamente Definidas Exemplo: Quer-se sintetizar o Circuito2 de maneira que:
x1 x2 x3 x2
Circuito2

f2 fn

fn = mi (1,3,4,6,7)

x3

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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.
fn = mi (1,3,4,6,7) = {f1 = mi (6,7)} + {f2 = [ mi (1,3,4) + Xi (6,7)]}
x1 x3x2 00 01 11 10 0 1 (0) (1) (2) (3) (6) (7) (4) (5) x3x2 00 01 11 10 1 1 x1
p p p p

fn
0 1 1 1 1 x3x2 00

x1

f1
0 1 x3x2 00 1 1

x1

f2
0 1 1 1

01 11 10

01 11 10

X X
1
104

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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

1
1 1 1 x3x2 00 01 11 10

x1 0

2
1 1 1 x3x2 00 01

x1 0

3
1 1 1 1 1

x1.~x3

X X
1

~x1.x3 10

11

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

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 x2 x3
Circuito2

f2 fn

f1
PCS 2215 - Fund. Eng. Comp. II 106

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 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 s

c
Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 108

54
54

5. Exemplos de Aplicao: 5.2. Meio Somador - Somador Completo


Somador Completo Meio Somador

xi yi

Meio Somador x y

x y

sint cint

sint cint

ci

ci+1

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

109

5. Exemplos de Aplicao: 5.3. Soma de Dois Nmeros


M = x3x2x1 s x1 y1 x2 y2 x3 y3
Meio Somador

N = y3y2y1 z1 s z2 s

c Somador
Completo

c Somador
Completo

z3

z4
110

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

55
55

Lio de Casa
Leitura Obrigatria:
Captulo 4 do Livro-texto.

Exerccios Obrigatrios:
Captulo 4 do Livro Texto; Lista de Exerccios.

Andrade, Corra, Gomi e Margi 2.011 Anlise e Sntese de Circuitos Combinatrios

PCS 2215 - Fund. Eng. Comp. II

111

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 112

56
56

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.011 Anlise e Sntese de Circuitos Combinatrios PCS 2215 - Fund. Eng. Comp. II 113

57
57