2 .

1 CIRCUITOS COMBINACIONALES
Elena Valderrama
Universidad Autnoma de Barcelona
 2 .1
1.Circuitoscombinacionales
Circuitosdigitalesqueimplementanunaovariasfuncionesdeconmutacin,ytalesque
lassalidasdelcircuitoencadainstantedetiempodependennicayexclusivamentedelas
seales de entrada en aquel mismo instante
sealesdeentradaenaquelmismoinstante.

Circuito
Circuito
combinacional

2
 2 .1
1.Circuitoscombinacionales
Sumadordenmerosdenmerosde4cifrasbinarias(4bits)

Sumador nmeros
de 4 bits

s<=X+Y+acarreoIN;
if s>1111then Z<=s 10000;acarreoOUT <=1;
else Z<=s;acarreoOUT <=0;
end if;
(Operacionesenbase2) 3
 2 .1
2.1Sntesisapartirdeunatabla:MemoriaROM

Sumador nmeros
de 4 bits

ss<=X+Y+acarreo
<= X + Y + acarreoIN;;
if s>1111then Z<=s 10000;acarreoOUT <=1;
else Z<=s;acarreoOUT <=0;
end if;

4
 TABLA DE VERDAD
2 .1

. .

5
 .
TABLA DE VERDAD

RO
OMde29 pallabras(512)de5bits
 2 .1
2.1Sntesisapartirdeunatabla:MemoriaROM
CCden entradasym salidas ROMde2n palabrasdem bitsporpalabra

ROM 2n palabrasde
ROM2 palabras de
m bits

Circuito
combinacional

habitualmente ineficiente !

7
 2 .1
PREGUNTA

Culdeberasereltamaomnimo(nmerodepalabrasynmerodebitsporpalabra
deunaROMqueimplementaseuncircuitocombinacionalde8entradasy16salidas?
q p y

1. 23 palabrasde16bits
2
2. 28 palabrasde16bits
l b d 16 bit
3. 24 palabrasde8bits
4. 216 palabrasde8bits

8
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

Sumador nmeros Sumador

de 4 bits acarreoOUT 1bit acarreoIN

zi

x3 y3 x2 y2 x1 y1 x0 y0

Sumador Sumador Sumador Sumador

acarreoOUT 1bit 1bit 1bit 1bit acarreoIN

z3 z2 z1 z0

9
 2 .1
xi yi

Sumador
acarreoOUT 1bit acarreoIN
(co) (ci)

zi

ss<=x
< xi +y
+ yi +c
+ ci;;
if s=0thenzi <=0;co =0;
elsif s=1thenzi <=1;co <=0;
elsif s=2thenzi <=0;co <=1;
elsezi <=1;co <=1;
endif;
endif;
endif;

10
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

Sumador
co ci
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0 1
1 0
0 0
0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
11
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

co
Sumador
ci x x
1 bi
1bit z z x z
y y
zi
x y z x y z x y
xi yi ci co zi
0 0 0 0 0
0 0 0 0 0
0 0 1 0 1
0 1 0 1 1
0 1
1 0
0 0
0 1 1 0 1 0 INV
0 1 1 1 0 1 1 1 1
1 0 0 0 1
1 0 1 1 0 AND OR
1 1 0 1 0
1 1 1 1 1
12
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

Sumador
co ci
1 bi
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0 1
1 0
0 0
0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
13
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

Sumador
co ci
1 bi
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0 1
1 0
0 0
0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
14
 2 .1

Necesitamosunaherramientaquenospermitaimplementarcualquiercircuitodigital
Necesitamos una herramienta que nos permita implementar cualquier circuito digital
utilizandoelmenornmeroposibledepuertas

LGEBRA DE BOOLE
LGEBRADEBOOLE

15
 2 .1
((Ejercicio)
j )
xi yi
Disearconpuertaslgicalasalidazi delsumadorde1bit
Sumador
co ci
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0 1
1 0
0 0
0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
16
 2 .1
((Solucin del ejercicio
j propuesto)
p p )
xi yi
Disearconpuertaslgicalasalidazi delsumadorde1bit
Sumador
co ci
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0 1
1 0
0 0
0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
17
 2 .1
2.2Sntesisapartirdeunatabla:Puertaslgicas
xi yi

Sumador
co ci
1 bi
1bit

zi

xi yi ci co zi
0 0 0 0 0
0 0 1 0 1
0
0 1
1 0
0 0 1
0 1 1 1 0
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1
18
 2 .1
RESUMEN
Circuitoscombinacionales
Diseo de circuitos combinacionales utilizando memorias ROM (tablas)
DiseodecircuitoscombinacionalesutilizandomemoriasROM(tablas)
Primerintentodediseoutilizandopuertaslgicas

19
2 .1

20
2 .2 LGEBRA DE BOOLE
Elena Valderrama
Universidad Autnoma de Barcelona
 2 .2
1.lgebradeBoole
g

UnlgebradeBooleunconjuntofinitodeelementossobreelcualsehandefinidodos
operaciones (suma y producto) que cumplen 5 postulados que veremos a continuacin
operaciones(sumayproducto)quecumplen5postuladosqueveremosacontinuacin.
Ellgebradeconmutacin(*) esunlgebradeBooleenelqueelconjuntodeelementosse
limitaa{0,1}

B 0,1, operacin , operacin

(*)Enelmbitodelossistemasdigitalessetrabajaconlgebrasdeconmutacin,aunqueseutilizaelnombregenricosde
lgebradeBoole.
22
 2 .2
1.lgebradeBoole
g
P1 Lasoperaciones+y.soninternas, a , b B , a b B y a b B

Existe un elemento neutro para cada operacin a B , a 0 a, a 1 a

P 2 Existeunelementoneutroparacadaoperacin,
P2

P3 Existenciadelelementoinverso, a B , a B | a a 1, a a 0

P4 Lasoperacionessonconmutativas, a b b a, a b b a

P5 Lasoperacionessondistributivas, a (b c ) a b a c, a b c ( a b) ( a c )

23
 2 .2
1.lgebradeBoole
g
Lanicamaneradedefinirlasoperacionessuma_lgica yproducto_lgico deformaque
cumplanlos5postuladoses

a b aa+bb a.b
0 0 0 0
0 1 1 0
1 0
0 1
1 0
1 1 1 1

24
 2 .2
1.lgebradeBoole
g

a (b c ) a b a c , a b c ( a b ) ( a c )

25
 2 .2
2.PropiedadestilesdellgebradeBoole
p g
1 Elementoinverso, 0 1, 1 0
2 Idempotencia,
p , a a a, a a a

P1 a, b B, a b B y a b B
P1
P2 a B, a 0 a, a 1 a
P3 a B, a B | a a 1, a a 0
P4 a b b a, a b b a
P5 a (b c) a b a c, a b c (a b) (a c)

26
 2 .2
(Ejercicio)
Demuestraque a a a
Pista:Utilizalasegundapartedelospostulados2,3y5demanerasimilaracmolohemoshecho
Pista: Utiliza la segunda parte de los postulados 2 3 y 5 de manera similar a cmo lo hemos hecho
anteriormente

P1 a, b B, a b B y a b B
P1
P2 a B, a 0 a, a 1 a
P3 a B, a B | a a 1, a a 0
P4 a b b a, a b b a
P5 a (b c) a b a c, a b c (a b) (a c)

27
 2 .2
(Resolucin del ejercicio)
(Resolucindelejercicio)
Demuestraque a a a
Pista:Utilizalasegundapartedelospostulados2,3y5demanerasimilaracmolohemoshecho
Pista: Utiliza la segunda parte de los postulados 2 3 y 5 de manera similar a cmo lo hemos hecho
anteriormente

P1 a, b B, a b B y a b B
P1
P2 a B, a 0 a, a 1 a
P3 a B, a B | a a 1, a a 0
P4 a b b a, a b b a
P5 a (b c) a b a c, a b c (a b) (a c)

28
 2 .2
2.PropiedadestilesdellgebradeBoole
p g
1 Elementoinverso,0 1, 1 0
2 Idempotencia,
p , a a a, a a a

3 Involucin, aa
4 Asociatividad, a (b c ) ( a b) c, a (b.c ) ( a.b).c

5 Absorcin, a a.b a , a ( a b ) a

6 (sinnombre), a a.b a b, a ( a b ) a.b

7 deMorgan, ( a b ) a.b, a.b a b

8 deMorgangeneralizada, ( a1 a2 ... a n ) a1.a2 ...an , a1.a2 ... an a1 a2 ... an

29
 2 .2
PREGUNTA

Aquexpresinbooleanaesequivalentelasiguiente: a (b cd ) a.b
Pista: Utiliza los postulados y las propiedades del lgebra de Boole
Pista:UtilizalospostuladosylaspropiedadesdellgebradeBoole

1. a.b b.c d
2. a.b
3. a.b b.c d
4. a.b b.c b.d

30
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
a)Todafuncinbooleanapuederepresentarseexplcitamenteporunatabladeverdad

f ( a , b, c ) b.c a.b

a b c f(a,b,c)
0 0 0
0 0
0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0

31
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
b)Dadaunatabladeverdadpodemosencontrarunafuncinbooleanaequivalente?...
LarespuestaesSI

LITERAL

Cualquier variable o su elemento inverso a, a, b, b, c, c, ...

Cualquiervariableosuelementoinverso:

MINTERM de nvariables

Cualquierproductoden literalestalquecadavariableapareceunasolavez.Paran=3,
lossiguientestrminossonminterms :

a.b.c, a.b.c, a.b.c, a.b.c, ...

32
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
MINTERM de nvariables:Cadaminterm tomaelvalor1paraunanicacombinacinde
valores

a b c
a.b.c 1 0 0 0 m0 a.b.c
a.b.c 1 0 0 1 m1 a.b.c
a.b.c 1 0 1 0 m2 a.b.c
a.b.c 1 0 1 1 m3 a.b.c
a.b.c 1 1 0 0 m4 a.b.c
a.b.c 1 1 0 1 m5 a.b.c
a.b.c 1 1 1 0 m6 a.b.c
a.b.c 1 1 1 1 m7 a.b.c
33
PREGUNTA

Indicaculdelassiguientesexpresionescorrespondealminterm5 (m5 )enn=4:

1. a.b.c.d
2. a.b.c
3. a.b.c.d
4. a.b.c.d

34
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
MINTERM deunafuncinbooleanade nvariables
Sonaquellosminterms quecoincidenconlos1sdelafuncin

a b c f(a,b,c)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0
35
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
Representacincannicaensumadeproductosdeunafuncinbooleanade nvariables

Todafuncinbooleanapuederepresentarse a b c f(a,b,c)
deunamaneranicacomolasumadesus
0 0 0 0
minterms
0
0 0 1 0
0 1 0 1 m2 a.b.c
f ( a, b, c ) ( m2 , m3 , m6 )
0 1 1 1 m3 a.b.c
f ( a, b, c ) a.b.c a.b.c a.b.c
1 0 0 0
1 0 1 0
1 1 0 1 m6 a.b.c
1 1 1 0

36
 2 .2
3.Funcionesbooleanasytablasdeverdad
y
if ((b=1and c=0)or (a=0and b=1))then f=1;
else f=0;
end if;
endif;

a b c f(a,b,c)
0 0 0 0
0 0 1 0 f ( a, b, c ) a.b.c a.b.c a.b.c
0 1 0 1
a.b( c c ) b.c.( a a ) a.b b.c
0 1 1
1 1
1
1 0 0 0
f ( a, b, c ) ( m2 , m3 , m6 )
1 0 1 0
f ( a, b, c ) a.b.c a.b.c a.b.c
1 1 0 1
1 1 1 0

37
 2 .2
4.Ejemplo:Sumadorbinariodens
j p de4bits
xi yi

Sumador nmeros Sumador

de 4 bits acarreoOUT 1bit acarreoIN

zi

x3 y3 x2 y2 x1 y1 x0 y0

Sumador Sumador Sumador Sumador

acarreoOUT 1bit 1bit 1bit 1bit acarreoIN

z3 z2 z1 z0

38
 2 .2
4.Ejemplo:Sumadorbinariodens
j p de4bits
xi yi xi yi ci co zi
0 0 0 0 0
Sumador 0 0 1 0 1
co ci
1bit
0 1 0 0 1
0 1 1 1 0
zi
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 1 1

39
 2 .2
RESUMEN
lgebradeBoole.Postuladosypropiedades.
Representacin tabular de funciones booleanas
Representacintabulardefuncionesbooleanas
Conceptodeminterm yformacannicadesumadeproductos
Cmoobtenerelcircuitoqueimplementaunadescripcinfuncionalparticular
(d
(descripcinfuncional
i i f i t bl d d d funcin/esbooleana/s
l tabladeverdad f i / b l / circuito)
i it )

40
2 .3 NAND, NOR, XOR, NXOR, TRI-STATE
Elena Valderrama
Universidad Autnoma de Barcelona
 2 .3
1.NAND,NOR
,

a b ab ab
Smbolosalgebraicos:
0 0 1 1
0 1 1 0 NAND(a,b)=a b,
1 0 1 0
NOR(a,b)=a b.
1 1 0 0

42
 2 .3
1.NAND,NOR
,
LaspuertaslgicasNANDyNORsonmdulosuniversales

43
 2 .3
(quiz)
CmoimplementarasunaANDconpuertasNOReinversores?

1.

2.

3.

44
 2 .3
(Ejercicio)
CmoimplementaraselcircuitosiguienteutilizandoslopuertasNAND?

45
 2 .3
(Resolucin del ejercicio)
(Resolucindelejercicio)
CmoimplementaraselcircuitosiguienteutilizandoslopuertasNAND?

46
 2 .3
2.XOR,NXOR
,

a b XOR XNOR
0 0 0 1 Smbolos algebraicos:
Smbolosalgebraicos:
0 1 1 0 XOR(a,b)=a b,
1 0 1 0 XNOR(a,b)=(a b)
1 1 0 1

XOR=ORexclusiva

LaspuertaslgicasXORyNXORnosonmdulosuniversales
47
 2 .3
2.XOR,NXOR
, LaspuertaslgicasXORsonasociativas
p g
a b c z
0 0 0 0 1
0 0 1 1 0

a b 0 1 0 1 0
a z
b z c z b 0 1 1 0 1
c
c a 1 0 0 1 0
1 0 1 0 1
1 1 0 0 1

n) n) n) 1 1 1 1 0

LaspuertaslgicasNANDyNORno sonasociativas

48
 2 .3
2.1.XOR,NXOR
, Ejemplosdeuso:Comparadordeigualdad

If ((x3=y3)and(x2=y2)and(x1=y1)and(x0=y0))then z=1;
else z=0;end if;

49
 2 .3
2.2.XOR,NXOR
, Ejemplosdeuso:Bitsdeparidad(par)

50
 2 .3
2.3.XOR,NXOR
, Ejemplosdeuso:Sumadordenmerosde4bits

x3 y3 x2 y2 x1 y1 x0 y0

Sumador Sumador Sumador Sumador

acarreoOUT 1 bit
1bit 1 bit
1bit 1 bit
1bit 1 bit
1bit acarreoIN

z3 z2 z1 z0

51
 2 .3
2.3.XOR,NXOR
, Ejemplosdeuso:Sumadordenmerosde4bits

52
 2 .3
2.3.XOR,NXOR
, Ejemplosdeuso:Sumadordenmerosde4bits

y x

Suma
co 1bit
ci
x y

co
ci

53
 2 .3
2.3.XOR,NXOR
, Ejemplosdeuso:Sumadordenmerosde4bits

x3 y3 x2 y2 x1 y1 x0 y0

Sumador Sumador Sumador Sumador

acarreoOUT 1 bit
1bit 1 bit
1bit 1 bit
1bit 1 bit
1bit acarreoIN

z3 z2 z1 z0

54
 2 .3
3.BUFFERTRISTATE,INVERSORTRISTATE
,
c c x z
0 0 H

x z
0 1 H
1 0 0
1 1 1

c
c x z
0 0 H
x z 0 1 H
1 0 1
1 1 0

55
 2 .3
3.BUFFERTRISTATE,INVERSORTRISTATE
,
c
c x z
0 0 0
x z 0 1 1
1 0 H
1 1 H
c
c x z
0 0 1
x z 0 1 0
1 0 H
1 1 H

56
 2 .3
3.BUFFERTRISTATE,INVERSORTRISTATE
,

C1 C2 CK

x1 x2 x3 .. xn y1 y2 y3 .. yn z1 z2 z3 .. zn

SiC1=0 Xbus;siC2=0 Ybus;...Cn=0 Zbus

Sl l Ci estactiva(C
SlounasealC i (Ci =0)encadainstantedetiempo
0) d i d i

57
nombre smbolo funcin 2 .3
AND

OR

INV

NAND

NOR

XOR

XNOR

Tri-state

58
 2 .3
RESUMEN
NAND,NOR.Conceptoemdulouniversal.
XOR,NXOR
Bufferstristate.Bus.

59