TP 03 2007 G (Circuitos Logicos)

Universidad Nacional de La Matanza.
Departamento: Ingeniera e Investigaciones Tecnolgicas

Ctedra: Introduccin a la Informtica
TRABAJO PRCTICO N 3
CIRCUITOS LOGICOS
1) Dados los siguientes ejemplos, identifique la correspondiente combinacin de la tabla de verdad de
la funcin lgica Implicacin vlida:
a) Hiptesis:
i) Todos los tringulos son poliedros.
ii) Todos los poliedros son figuras planas.
Tesis: Todos los tringulos son figuras planas.
b) Hiptesis:
i) Todos los tringulos son poliedros.
ii) Todos los poliedros son nmeros primos.
Tesis: Todos los tringulos son nmeros primos.
c) Hiptesis:
i) Todos los tringulos son polgonos.
ii) Todos los polgonos son figuras planas.
Tesis: Todos los tringulos son figuras planas.
d) Hiptesis:
i) El Sol es un astro.
ii) Todos los planetas son astros.
Tesis: El Sol es un planeta.
Sugerimos construir los diagramas de conjuntos para analizar las respuestas.
Corresponde al
Hiptesis Tesis Hiptesis Tesis
caso:
F F V
F V V
V F F
V V V
2) Demostrar las siguientes propiedades a partir de los postulados de Huntington:
3) Indicar cules son las expresiones duales del punto anterior.

4) Dada la expresin a . b . 0 = 0, seleccione la demostracin que emplea los postulados de
Huntington:
a) Como b . b = 0, luego a .0 = a . (b . b ), y reagrupando los parntesis (a . b) . b ; y como
a . b = a, se cumple a . a = 0
b) Como b . b = 0, entonces: a .0 = a . (b . b ), reagrupando (a . b). b ; y como a .b = b; se
cumple b . b = 0.
c) Como a . a = 0 y a + 0 = a , entonces 0 = a . ( a + 0) aplicando distributiva
(a . a ) + (a . 0) por lo tanto se cumple que: 0 + a . 0 = 0 y a . 0 = 0
d) Como a + 0 = a y a . 1 = a, entonces: a . 1 + 0 = a, aplicando distributiva
(a + 0) . (1 + 0) = a, como a solo toma los valores 0 o 1, entonces: a + a = a.
e) a . b . 0 = 0, es el postulado del elemento neutro del producto, no requiere demostracin.
T.P. Nro 3 2007 1/25
Universidad Nacional de La Matanza. Departamento: Ingeniera e Investigaciones Tecnolgicas
4) El resultado de simplificar la siguiente expresin aplicando los postulados de Huntington,
da como resultado:
a) f=c.b+a
b) f=a+b+c
c) f=c+a.b
d) f=c+a
e) f=b+a.c
5) Escribir la expresin booleana correspondiente a la funcin dada en la siguiente tabla de verdad en

sus dos formas cannicas (minitrminos y maxitrminos)
MINITRMINOS MAXITRMINOS
c b a f
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 0
6) Simplificar la siguiente expresin:

f ( d, c, b, a) = b . a . c . d + d . c . b . a + d . c . b + d . c . b . a + b . a . c + d . a . c . b
utilizando los siguientes mtodos:
Aplicando los postulados de Huntington
Aplicando el mtodo de Karnaugh
Aplicando el mtodo numrico de Quine McKlusky
Expresarlo en Minitrminos y Maxitrminos
a) f = b . a + d . c. b + d . c . b; 4(3,4,5,7,10,15); 4 (1,2,3,6,7,9,13,14,15)
b) f = b . a + d . c . b + d. c . b; 4 (1,2,3,6,7,9,13,14,15); 4 (1,2,3,4,10,11,15)
c) f = b . a + d . c . b + d. c . b; 4 (3,4,5,7,10,11,15); 4 (1,2,3,6,7,9,13,14,15)
d) f = b . a + d . c . b + d. c . b; 4 (3,5,7,10,11,15); 4 (1,2,3,6,13,14,15)
e) Ninguna de las anteriores
7) Dada la siguiente funcin lgica, plantear su tabla de verdad y expresarla en las dos formas
cannicas.
T.P. Nro 3 2007 2/25

a) 4(1,2,3,4,5,6,7,9,11,12,13,14,15) a)4 (0,1,2,3,12,15)

b) 4(0,2,3,4,5,9,12,13,14,15) b)4 (3,4,6,7,11,12,13,14,15)
c) 4(1,2,3,4,5,6,7,9,11,13,15) c)4 (3,7,10,12,15)
d) 4(5,6,7,10,13,14,15) d)4 (0,1,2,3,7,9,1012,15)
e) 4(1,2,3,5,8,9,11,14,15) e)4 (0,1,2,5,7,8,12,15)
f) ninguna es correcta f) ninguna es correcta
8) Dada la funcin f1 representada mediante la expresin cannica de suma de productos:
f1 = 4 (0,1,2,3,12,15)
a) Indicar cual de las siguientes es la expresin cannica de producto de sumas correcta.
a) 4(1,2,3,6,7,9,11,14,15)
b) 4(1,2,4,5,6,7,8,9,10,11)
c) 4(1,2,3,6,7,9,11,13,15)
d) 4(0,2,3,6,8,9,11,14,15)
e) 4(1,2,3,5,8,9,11,14,15)
b) Obtener las dos expresiones cannicas algebraicas de esta funcin.
c) Indicar cual de las siguientes alternativas (a,b,c,d,e) representar la tabla de verdad de la

funcin.
d c b a a) f b) f c) f d) f e) f
0 0 0 0 0 1 0 1 1
0 0 0 1 0 1 1 1 1
0 0 1 0 0 0 1 1 1
0 0 1 1 1 0 0 1 1
0 1 0 0 1 0 0 0 0
0 1 0 1 0 1 1 0 0
0 1 1 0 1 1 0 0 0
0 1 1 1 1 0 0 1 0
1 0 0 0 1 1 0 1 0
1 0 0 1 0 1 1 0 0
1 0 1 0 0 1 1 1 0
1 0 1 1 0 0 0 1 0
1 1 0 0 0 0 1 1 1
1 1 0 1 1 1 1 0 0
1 1 1 0 0 0 1 1 0
1 1 1 1 1 1 0 0 1
T.P. Nro 3 2007 3/25

9) Sea la funcin f1 =
4 (2,3,5,7,10,11,15) =
4(1,2,3,6,7,9,11,14,15)
Aplicar el mtodo de Karnaugh para obtener la expresin mnima, para las dos formas cannicas.
10) Sean dos variables booleanas, analizar las 16 funciones lgicas posibles como f (a,b) realizando
sus tablas de verdad
_ _ _ _ ____ _ _ _ __ ___
AB 0 A.B A.B A A.B B AB A+B A.B AB B A+B A A+B A.B 1
00
01
10
11
11) La funcin f (c, b, a) = c + b . a fue simplificada con el mtodo de Karnaugh. Indique la tabla que
le corresponde.
a) b) c)
ba ba ba
c 00 01 11 10 c 00 01 11 10 c 00 01 11 10
0 1 1 1 0 1 1 1 1 0 1 1
0 1 3 2 0 1 3 2 0 1 3 2
1 1 1 1 1 1 1 1 1
4 5 7 6 4 5 7 6 4 5 7 6
d) e)
ba ba
c 00 01 11 10 c 00 01 11 10
0 1 1 0 1
0 1 3 2 0 1 3 2
1 1 1 1 1 1 1 1 1
4 5 7 6 4 5 7 6
T.P. Nro 3 2007 4/25

12) Dada la siguiente funcin expresada en su versin simplificada a travs de la sumatoria
f (c, b, a) = 3 (0, 4, 6)
Hallar cual de las expresiones booleanas simplificadas a travs de Karnaugh la representa a partir
de su segunda forma cannica (maxitrminos).
a) ( b + a) ( c + b) ( c + b + a )
b) ( a ) (c + b )
c) (b + a) ( c + a)
d) ( c + b) (c + b + a )
13) Expresar la siguiente funcin como minitrminos
no f (c, b, a) = 3 (1, 4, 7)
a) ( c + b + a ) ( c + b + a) (c + b + a )
b) ( c + b + a ) (c + b + a ) (c + b + a)
c) ( c . b . a ) + (c . b . a ) + (c . b . a)
d) ( c . b . a ) + ( c . b . a) + (c . b . a )
14) Dada la siguiente expresin lgica
F = NOT (A AND B) OR (C AND (NOT A))

a) Indicar cual de las siguientes alternativas (a,b,c,d,e) corresponde a su tabla de verdad.
Tomando los siguientes pesos para las variables: A = 4; B = 2; C = 1, es decir f(a,b,c)
a) F b) F c) F d) F e) F
1 1 0 1 1
1 0 0 1 1
1 1 1 1 1
1 1 1 1 1
0 0 1 1 0
0 0 1 1 1
0 0 1 0 0
0 0 1 0 1
b) Dibujar el circuito lgico.
15) Para la siguiente tabla de verdad:
T.P. Nro 3 2007 5/25

a) Indicar cual de las siguientes expresiones algebraicas la representa
A B F a) A XOR NOT B
0 0 0 b) A AND NOT B
c) NOT A AND B
0 1 1 d) NOT ((NOT A AND NOT B) OR (A AND B))
1 0 1 e) (NOT A AND B) OR (A AND B)
1 1 0
b) Realizar el esquema lgico, empleando una compuerta AND u OR y una NOT (si fuere
necesaria)
16) Para entradas binarias de un bit A y B y las salidas suma S, y acarreo C, de acuerdo al
principio del semi-sumador aritmtico (half adder):
a) Desarrolle la tabla de verdad
A A B C S
+ B 0 0
C S 0 1
1 0
1 1
b) Desarrolle el esquema lgico

c) Identifique cual de las siguientes expresiones corresponde a cada salida
a) C = A OR B Y S = A XOR B
b) C = A XOR B Y S = A AND B
c) C = A AND B Y S = A XOR B
d) C = NOT A OR B Y S = A OR B
e) C = A AND B Y S = NOT (A OR B)
17) Los conjuntos tienen sus equivalentes en el lgebra de Boole y el lgebra proposicional
respectivamente a:
a) Seales y Compuertas b) Compuertas Lgicas y Relaciones
c) Elementos y Proposiciones d) Variables e Hiptesis
e) Proposiciones y Compuertas Logicas
18) La conjuncin tiene sus equivalentes en Conmutacin (positiva) y Circuitos Lgicos,

respectivamente a:
a) Circuito Paralelo y OR b) Circuito Serie y AND
c) Negacin y Complementos d) Inversor y NOT
e) Circuito Serie y NAND
19) Para el siguiente circuito lgico:

Indique el nombre con el que se conoce el siguiente circuito lgico. Realice su tabla de verdad y
escriba su expresin lgica.
T.P. Nro 3 2007 6/25

a) Indique el nombre con el que se lo reconoce
a) SEMISUMADOR
b) VERIFICADOR DE PARIDAD
c) MULTIPLEXOR
d) DECODIFICADOR
e) SUMADOR DE 4 BITS
b) Realice su tabla de verdad
c) Identifique cual de las siguientes expresiones lo

representa
a) b) c) d) e)
F0=(NOT A) AND F0=(NOT A) AND F0= A AND (NOT B) F0=(NOT A) AND F0=(NOT A) AND
(NOT B) (NOT B) F1=(NOT A) AND B (NOT B) (NOT B)
F1=(NOT A) AND B F1=(NOT A) AND B F2=A AND (NOT B) F1=(NOT A) AND B F1=A XOR B
F2=A AND (NOT B) F2=A AND (NOT B) F3 =A AND B F2=A AND (NOT B) F2=A AND (NOT B)
F3 =A OR B F3 =A AND B F3=NOT (A AND B) F3 =A AND B
20) Sabiendo que A B es equivalente a ( b . a) + ( b . ); indicar cual de las siguientes es la

expresin equivalente a A B , aplicando De Morgan:
a) . b + b . a b) ( b + a ) . (b + ) c) . b + a . b
d) a..b + a . b e) a . b + b.a
A
21) Que funcin le corresponde al siguiente
circuito? B
a) F = ( A + B).( A.B) F
b) F = ( A + B) + ( A.B)
c) F = ( A + B) + ( B . A)
d) F = ( A + B ) + (A.B)
22) Dada la siguiente tabla de verdad, indique las expresiones que equivalen a cada funcin.
T.P. Nro 3 2007 7/25

c b a m s
0 0 0 0 1 a) m = b. (a+ c) + c. a;
0 0 1 1 0 s = a ( c . b + c. b ) + a. ( c . b + c. b)
0 1 0 0 0 b) m = b . (a + c) + c. a; s = (c b ) a
0 1 1 0 1
c) m= c b a + c . b . a; s = (c b) a
1 0 0 1 0
1 0 1 1 1 d) m= b. (a + c) + c. a ; s = (c b) a
1 1 0 0 1 e) m= c . b . a + c. b. a ; s= (c b) a
1 1 1 1 0
23) Indique para el siguiente circuito lgico a cul de las salidas le corresponde la expresin lgica:
F(A,B) = (A + B) . (A + B ) . ( A + B )
a) F3
b) F2
c) F1
d) F0
24) Para el siguiente circuito secuencial, indique la expresin lgica equivalente y la funcin que tiene
cada una de las variables (set o reset)
a) St= B + A + S(t-1), no A corresponde al reset; no B al set.
b) St= B +A + S(t-1), A corresponde al reset; B al set.
c) St= B + (A . S(t-1)), no A corresponde al reset; no B al set.
d) St= B .A . S(t-1), A corresponde al reset; B al set.

e) Ninguna es correcta
T.P. Nro 3 2007 8/25

25) Para el siguiente circuito, indique la expresin lgica que corresponde:
B A
+
Lgica positiva
a) A * B b) A * B c) A * B d) A + B e) A * B
26) Para el siguiente circuito secuencial, indique la expresin lgica correspondiente y la funcin que
cumple cada una de las entradas (set o reset)
a) Sf = A + S i . B ; A es el set, B es el reset
b) Sf = A.S i . B ; A es el set, B es el reset
c) Sf = A + Si + B ; B es el set ; A es el reset
d) Sf = ; B es el reset, A es el set
e) Sf = A.S i + B ; B es el set, A es el reset
T.P. Nro 3 2007 9/25

EJERCICIOS RESUELTOS
1) Demostrar las siguientes propiedades a partir de los postulados de Huntington:
I) a + 1 = 1 II) a + a.b = a
I) a+1=1
1=a+ a Postulado 6a
1 = a + a . 1 Postulado 5b
1 = (a + a ) . (a + 1) Postulado 4b
1 = 1 . ( a + 1) Postulado 6a
1 = (a + 1) Postulado 5b
II) a+a.b=a Ley de absorcin

a + a . b = a. (1 + b) Postulado 4a
a + a . b = a. 1 Teorema demostrado en I)
a+a.b=a Postulado 5b
2) Indicar cules son las expresiones duales del punto anterior.
Para hallar la expresin dual cambiamos cero por uno y uno por cero; producto por suma y suma
por producto.
I) a+1=1 expresin dual a.0=0

II) a+a.b=a expresin dual a (a + b) = a
3) A partir de los postulados de Huntington y los teoremas, simplificar la siguiente expresin

booleana:
f = (a + 1) . b . b + c . 0 . (a + a ) + ( a + a) . c . c
f = (a + 1). b. b + c. 0. (a + a ) + ( a + a). c. c
Unicidad Postulado 6a Teorema

Unicidad
Teorema II Teorema II Teorema
Unicidad
f= 1 . b+ 0 . 1 + a . c
Postulado 5b Teorema II
f= b + 0 + a . c ; puesto que 0 + a . c = a . c
f = b + a. c ( Postulado 5a )
T.P. Nro 3 2007 10/25

4) Mostrar que la funcin XOR puede realizarse a partir de las funciones AND, OR y NOT.
Lo demostramos a travs a travs de las tablas de verdad equivalentes.
B A A XOR B
0 0 0 Sabemos por definicin que la
0 1 1 tabla de Verdad de AB es
1 0 1 esta.
1 1 0
Ahora vamos a verificar la tabla de verdad de la funcin equivalente a AB que es

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

0 0 0 0 0
0 1 1 0 1
1 0 0 1 1
1 1 0 0 0
Las tablas de verdad son iguales por lo tanto las funciones son equivalentes.
A
B
A+B
5) Establecer mediante una tabla la correspondencia entre el lgebra Proposicional, los circuitos
digitales, el lgebra de Conmutacin y el lgebra de Boole.
CIRCUITOS DIGITALES PROPOSICIONAL BOOLE CONMUTACION

Compuerta OR Disyuncin (V) Suma Lgica (+) Conexin en Paralelo
Compuerta AND Conjuncin () Producto Lgico (.) Conexin en Serie
Compuerta NOT Negacin (no) Elemento opuesto Inversor
0 Falsedad (F) Elemento neutro de la Circuito abierto
suma (0)
1 Certeza (V) Elemento neutro del Circuito cerrado
Producto (1)
T.P. Nro 3 2007 11/25

6) Sean dos variables booleanas, implementar las funciones lgicas:

I) a + b II) a + b III) a . b
utilizando nicamente compuertas NAND (NOT AND) y/o compuertas NOR (NOT OR).
I) a + b ; partimos de una compuerta OR

Aplicamos doble negacin ; (teorema de la doble negacin a = a ):
a + b = a+b
Aplicamos de Morgan:
a + b = a.b
Aplicamos teorema de la doble negacin (variable b)
a + b = a.b Se obtuvo una expresin equivalente expresada con una

compuerta NAND.
II) a+b
Esta funcin ya est expresada por medio de una compuerta NOR
III) a. b partimos de una compuerta AND

Aplicamos el teorema de la noble negacin
a . b = a.b
Aplicamos de Morgan:
a. b = a +b
Aplicamos teorema de la doble negacin (variable a)
a. b = a+b Se obtuvo una expresin equivalente expresada con una

compuerta NOR.
7) Dado el siguiente circuito:

Obtener la funcin de salida y desarrollar la Tabla de Verdad. Extraer conclusiones.
T.P. Nro 3 2007 12/25

Funcin de salida: F(A,B) = ((A XOR B) NOR (A AND B) AND (NOT B)
Tabla de verdad
A B A XOR B A AND B OR NOR NOT B F

0 0 0 0 0 1 1 1
0 1 1 0 1 0 0 0
1 0 1 0 1 0 1 0
1 1 0 1 1 0 0 0
Conclusiones:
Este circuito tiene salida verdadera solo cuando a y b son falsas.
Su tabla de verdad es igual a la de NOR.
8) Dadas las siguientes expresiones lgicas confeccionar las tablas de verdad y los circuitos lgicos
correspondientes:
a) (NOT A) AND B
_ _
A A .B A B A A.B
0 0 1 0
B 0 1 1 1
1 0 0 0
1 1 0 0
b) A OR (NOT B)
_ _
A B B A+B
A A+ B
0 0 1 1
0 1 0 0
B
1 0 1 1
1 1 0 1
9) Para cada una de las siguientes tablas de verdad:
Desarrollar el esquema lgico y Construir su expresin algebraica, empleando una compuerta AND
u OR y una NOT (si fuere necesaria).
a) A A.B
B A Z NOT (A AND B)
0 0 1 B
0 1 1 o
1 0 1 A A+B (NOT A) OR (NOT B)
1 1 0
B
T.P. Nro 3 2007 13/25

Dada esta tabla podemos resolverlo por Karnaugh:
a
b 0 1
0 1 1 Obtenemos: A + B
0 1
Por leyes de De Morgan es equivalente A.B
1 1
2 3
b)
B A X A A. B
0 0 0
NOT B AND A
0 1 1 B
1 0 0
1 1 0
Dada esta tabla podemos resolverlo por Karnaugh:
a
b 0 1
0 1 Obtenemos: A . B
0 1
1
2 3
c)
A
B A Y B
0 0 1 AB
0 1 0
1 0 0
1 1 1
Esta tabla es justo la inversa del XOR por

lo tanto es A B
Como AB = ( A . B) + ( A. B ) entonces:
A B = (A. B) + ( A. B ) Aplicando De Morgan:
A B = ( A.B ). ( A.B ) Aplicando De Morgan:
A B = ( A + B ). ( A + B ) Por teorema de la doble negacin:
A B = (A + B ) . ( A + B) Utilizamos distributiva (Postulado 4):
A B = A. A + B . A + A. B + B . B Por postulado 6:
A B = 0 + B . A + A. B + 0
T.P. Nro 3 2007 14/25

A B = A. B + A . B ( A AND B) OR (NOT A AND NOT B)
10) Indique el circuito lgico y la expresin algebraica correspondiente a la siguiente tabla de

verdad. Implemntelas mediante un circuito lgico con compuertas AND, OR e inversoras.
B A W
0 0 1 A A+ B
0 1 1
1 0 0 B
1 1 1
Realizando el mapa de Karnaugh:

a
b 0 1
0 1 1
0 1
B +A (NOT B) OR A
1 1
2 3
11) Confeccione la tabla de verdad de la siguiente expresin algebraica.

Implemntela mediante un circuito lgico con compuertas AND, OR e inversoras.
Cmo se conoce esta expresin? Cul es su smbolo?
Podemos ver el ejercicio 9 c) que es la inversa de A B , entonces negamos la expresin anterior

A B y por teorema de la doble negacin obtenemos: AB.
_________
_ _ __ __ __
A B A B A.B A.B A.B + A.B A.B + A.B
0 0 1 1 0 1 1 0
0 1 1 0 0 0 0 1
1 0 0 1 0 0 0 1
1 1 0 0 1 0 1 0
T.P. Nro 3 2007 15/25

Es el XOR llamado OR EXCLUSIVO
A
A+B
B
12) Implemente un circuito lgico que ponga en 1 su salida X, cuando las entradas A y B se
encuentren en distinto estado lgico. Con qu nombre se conoce este circuito?
Armamos la tabla:
B A F
0 0 0 Podemos observar que coincide con la
0 1 1 tabla de AB.
1 0 1
1 1 0
Haciendo el mapa de Karnaugh obtenemos:
a
b 0 1
0 1 La funcin queda ( A . B) + ( A. B ).
0 1
( Coincide con la funcin XOR)
1 1 Tabla tpica de XOR
2 3
Circuito:
A
B
_ _
A + B
A.B +A.B
13) Implemente un circuito lgico que ponga en 1 su salida Y, cuando ambas entradas A y B
se encuentren en el mismo estado lgico. Con qu nombre se conoce este circuito?
Realizamos la tabla:
B A NOT XOR
0 0 1
0 1 0
1 0 0
1 1 1
T.P. Nro 3 2007 16/25

Se conoce con el nombre de NOT XOR
Haciendo el mapa de Karnaugh obtenemos:

a
b 0 1
0 1 La funcin queda ( A . B ) + ( A.B).
0 1
Coincide con la funcin A B
1 1
2 3
B
AB
Tambin puede ser el siguiente circuito:
A
B
A+B
14) Resuelva las siguientes situaciones:

a) Complete la tabla de verdad e implemente un circuito lgico que ponga su salida S1, en el
mismo estado lgico que su entrada A, y su salida S2 en el estado lgico inverso a su
entrada A.
A S1 S2
0
1
b) Indique la expresin lgica de S1 y S2, en funcin de A.

Con qu nombre se conoce este circuito ?
a) Completamos la tabla segn el enunciado:

A S1 S2
0 0 1
1 1 0
T.P. Nro 3 2007 17/25

Implementacin del circuito

S1
A S2
b) Expresin lgica: S1 simplemente es igual a A y S2 es el inverso de A.
El circuito se conoce como NOT

Circuito inversor
15) Realice el circuito lgico de un sumador (full adder), para entradas binarias de
dos bits A y dos bits B , C (acarreo de entrada), S (suma) y C (acarreo de salida).
Cuntas veces se necesita repetir este circuito para sumar palabras de 8 bits, 16 bits, 32 bits ?
b1 a1 b0 a0
Cy0
1 1/2 0
Cy0
Cy1
S1 S0
Se necesitan:
para 8 bits = 7 sumadores y 1 semisumador para el bit menos significativo.
para n bits = n-1 sumadores y 1 semisumador para el bit menos significativo.
Los sumadores (full adder) tienen tres entradas (bi, ai y Cyi-1) y dos salidas (Cyi y Si).
El semisumador (half adder) tiene dos entradas (b0 y a0) y dos salidas (Cy0 y S0).
16) Indique como se conocen los siguientes circuitos lgicos. Realice su tabla de verdad y escriba
su expresin lgica.
I) II)
AMBOS SON GENERADORES DE BITS DE PARIDAD
T.P. Nro 3 2007 18/25

I) Escribimos la funcin segn el circuito: f = (AB) (CD)
D C B A DC BA (DC) C (BA)
0 0 0 0 0 0 0
0 0 0 1 0 1 1
0 0 1 0 0 1 1
0 0 1 1 0 0 0
0 1 0 0 1 0 1
0 1 0 1 1 1 0
0 1 1 0 1 1 0
0 1 1 1 1 0 1
1 0 0 0 1 0 1
1 0 0 1 1 1 0
1 0 1 0 1 1 0
1 0 1 1 1 0 1
1 1 0 0 0 0 0
1 1 0 1 0 1 1
1 1 1 0 0 1 1
1 1 1 1 0 0 0
Observando esta tabla vemos que la funcin agrega a cada combinacin de D, C , B, A un bit
de paridad par en los unos.
II) Escribimos la funcin segn el circuito f = ((AB) C) D
D C B A AB (AB) C ((AB) C) D
0 0 0 0 0 0 0
0 0 0 1 1 1 1
0 0 1 0 1 1 1
0 0 1 1 0 0 0
0 1 0 0 0 1 1
0 1 0 1 1 0 0
0 1 1 0 1 0 0
0 1 1 1 0 1 1
1 0 0 0 0 0 1
1 0 0 1 1 1 0
1 0 1 0 1 1 0
1 0 1 1 0 0 1
1 1 0 0 0 1 0
1 1 0 1 1 0 1
1 1 1 0 1 0 1
1 1 1 1 0 1 0
Aqu tambin comprobamos que la funcin agrega a cada combinacin de D, C , B, A un bit

de paridad par en los unos.
T.P. Nro 3 2007 19/25

17) Explicar por que se dice que los circuitos secuenciales son los que proveen la capacidad de
memorizar informacin a un sistema digital. Ejemplificar
En los circuitos secuenciales, la salida es una funcin de las variables de entrada y del valor del
estado anterior de la salida.
Veamos el siguiente ejemplo:
St-1
A
St
B
La funcin St = S t -1 . A . B se calcula en base a las variables de entrada A y B, pero tambin a St-1

que es el estado anterior de St. Aqu radica el concepto de memoria.
Si hacemos la tabla de verdad:
A B St-1 St Observamos que:

0 0 0 1 B = 0 pone el circuito siempre en 1 => B = 0 es el SET.
0 0 1 1
0 1 0 0 A = 0 pone el circuito siempre en 0, por lo tanto A = 0 es el RESET.
0 1 1 0
1 0 0 1 Los estados prohibidos son los dos primeros A = 0 y B = 0.
1 0 1 1
1 1 0 0 En las ltimas dos filas, observamos como el estado actual St es igual
1 1 1 1 al estado anterior St-1, que es la forma de memorizar la informacin.
18) Dada la expresin a + a . b = a , seleccione la demostracin que emplea los postulados de

Huntington
a) Como a .1 = a ; a . 1 + a. b = a . (1 + b), aplicamos la reciproca de la distributiva y como b
+ 1 = 1 y a .1 = a , a = a + a .b
b) Como a . 1 = a luego a .1 + a . b ser a . (1 + b) . Por otra parte: 1 = b + b .1 y aplicando
distributiva: 1 = (b + b ) . (b + 1); entonces: 1 = 1 . (b + 1) luego: a.(1 + b) = a.
c) Como a . 1 = a y 1 = b + 1, aplicando distributiva: a . (1 + b) = a + a. b
d) Aplicada la reciproca de la distributiva: a . (1 + b) y como: b + 1 = 1; a + a. b = a.
e) a + a . b = a, es el postulado de absorcin y no requiere demostracin.
Comenzamos por analizar opcin por opcin y paso por paso para ver si se aplicaron Postulados o
Teoremas. En cuanto se aplica un teorema esa opcin NO es la correcta.
Nota: la numeracin de los Postulados es la citada en el libro Introduccin a los Sistemas
Digitales 2 edicin (Ing. Fernando I. Sklanny)
T.P. Nro 3 2007 20/25

a) Como
a.1=a Postulado 5b
a .1 + a. b = a . (1 + b) Postulado 4a (reciproco)
b + 1= 1 Esto es un teorema NO un postulado
NO ES LA CORRECTA
b) Como
a. 1 = a Postulado 5b
a .1 + a . b ser a .(1 + b) Postulado 4a
1 = b + b .1 Postulados 6a y 5b (aplicamos distributiva)
1 = (b + b ) . (b + 1) Postulado 4b
1 = 1 . (b + 1) Postulado 6a
a . (1 + b) = a Postulado 5b
ES LA OPCION CORRECTA PORQUE SLO US POSTULADOS.
c) Como
a.1=a Postulado 5b
1=b+1 Esto es un teorema NO un postulado
NO ES LA CORRECTA
d) Como
a . (1 + b) Postulado 4b (aplicamos la reciproca de la distributiva)
b + 1= 1 Esto es un teorema NO un postulado
NO ES LA CORRECTA
e) a + a . b = aEsto es un teorema NO un postulado

NO ES LA CORRECTA
19) Simplificar la siguiente expresin:

f = a . c + a . b. c + a. b. c + a. c
Utilizando los siguientes mtodos:

a) Aplicando los postulados de Huntington
b) Aplicando el mtodo de Karnaugh
c) Aplicando el mtodo de Quine Mc.Cluskey
a) Aplicando los postulados de Huntington

f = a . c + a . b. c + a. b. c + a. c
Aplicando conmutatividad:
f = a . c + a. c + a. b. c + a. b .c
Aplicamos la inversa de la distributiva:
f = ( a + a). c + ( c + c) . a. b
Por el postulado del elemento opuesto:
f = 1 . c + 1. a. b
Por el postulado del elemento neutro del producto obtenemos: f=c+a.b
T.P. Nro 3 2007 21/25

b) Por Karnaugh
f = a . c + a . b. c + a. b. c + a. c
La funcin est expresada como suma de productos, si bien estos no incluyen todas las
variables de la funcin. Para llevar la misma a su primer forma cannica basta agregar en cada
trmino las variables ausentes en el mismo, de forma que no se modifique la expresin original;
para ello usamos
a . 1 = a (elemento neutro del producto)
a + a = 1 (elemento opuesto de la suma)
f = a . c . ( b + b ) + a. b. c + a. b. c + a. c. ( b + b )
Por el postulado de distributividad

f = a . c .b + a . c. b + a. b. c + a. b. c + a. c. b + a. c. b
Los trminos duplicados los eliminamos aplicando el teorema de unicidad

f = a . c .b + a . c. b + a. b. c + a. b. c + a. c. b
Aplicando conmutatividad
f = c .b. a + c. b . a . + c . b. a + c. b. a + c. b . a
Ordenando la funcin obtenemos como expresin de la misma:

f (a, b, c) = 3 (3, 4, 5, 6 , 7)
Representamos la funcin en un mapa de Karnaugh de tres variables:

ba
c 00 01 11 10
0 1
0 1 3 2
1 1 1 1 1
4 5 7 6
Agrupamos los unos de manera de tener la menor cantidad de grupos posibles y cada uno
de ellos con la mayor cantidad (potencia de dos) de unos posibles. As obtuvimos dos grupos,
uno formado por los minitrminos 3 y 7 y otro por los minitrminos 4, 5, 6 y 7.
En el primer grupo 3 y 7 (diferencia 4), desaparece la variable de ese peso, o sea la variable
c y queda: b. a ( tal como aparece en la tabla, sin negar, con valor 1).
En el segundo grupo (4, 5, 6 y 7) desaparecen las variables a y b (la variable a aparece la

misma cantidad de veces con valor cero que con valor 1, por lo tanto se simplifica. Lo mismo
ocurre con la variable b). La variable c aparece siempre con valor uno, por lo tanto queda
directa.
La funcin simplificada resulta:
f (c, b, a) = c + a. b
T.P. Nro 3 2007 22/25

c) Por Quine Mc. Cluskey

f (a, b, c) = 3 (3, 4, 5, 6, 7)
Armamos la tabla 1 formando grupos en orden creciente de acuerdo a la cantidad de unos que
posee cada trmino; por ejemplo: 3 (011) est en el grupo de los trminos que poseen dos unos,
el 7 (111) est en el grupo de los que poseen tres unos, etc.
Tabla 1:
Cantidad de unos Trmino Utiliz?
1 4 X
2 3 X
5 X
6 X
3 7 X
Armamos la tabla 2 buscando entre grupos adyacentes pares de minitrminos cuya diferencia
sea una potencia entera de 2; por ejemplo: el 4 del primer grupo con el 3 del segundo grupo, 4
3 = 1, diferencia; 1 = 20
A cada trmino de la tabla 1 que se utiliz en la tabla 2, se la marca con una X (en este caso se
utilizaron todos).
Pares Difiere Utiliz?
4-3 1 No (A)
4-5 1 X
4-6 2 X
3-7 4 No (B)
5-7 2 X
6-7 1 X
Armamos la tabla 3 analizando los sectores adyacentes de la tabla 2. Busco en la tabla 2 los
pares que tengan el mismo valor de diferencia, y adems que la diferencia entre pares sea una
potencia entera de dos. Por ejemplo: el par 4 5 del primer sector y el par 6 7 del segundo
sector (difieren en 1)
6 7
-4 -5
2 2
Se marcan en la tabla 2 los que se utilizan en la tabla 3.
Los que no se utilizaron (A) y (B) son implicantes primos.
Pares de Pares Difiere

45 67 1 2 (C)
46 57 1 1 (D)
Analizando la tabla 3, vemos que no hay trminos con diferencias iguales, entonces
terminamos el proceso de agrupacin.
Los trminos (C) y (D) no fueron incluidos en tablas posteriores, pero como contienen los
mismos minitrminos usamos cualesquiera de ellos; por ejemplo el (C).
T.P. Nro 3 2007 23/25

Armamos ahora la tabla de implicantes primos:
Trminos Primos 3 4 5 6 7
A 43 X X
B 37 X X
C 4567 X X X X
El trmino 6 slo se resuelve en la agrupacin C (trmino esencial)
C 45 67 46 57
1 1 2 2
Podemos observar que los pares de valores difieren en 1 (4-5) o en 2 (4-6), segn el peso de
nuestras variables (c b a); por lo tanto se van las variables a y b de pesos uno y dos
respectivamente. Queda la variable c.
De los dos trminos no esenciales A y B elegimos uno para dar solucin al minitrmino 3; por
ejemplo el B: 3 7 (difiere en 4), se va la variable c por tener peso 4, quedan a y b.
La funcin simplificada resulta:
f (c, b, a) = c + a . b
20) Para el siguiente circuito secuencial, indique la expresin lgica equivalente y la funcin que
tiene cada una de las variables (set o reset)
A
S
B
Comenzaremos escribiendo la ecuacin segn el circuito dado:
St = ( A + S t 1 ) + B
Ahora (si es necesario) la escribimos de forma de lograr que B resulte con un producto. Para
ello aplicamos De Morgan y queda:
St = ( A + S t 1 ) . B = ( A + S t-1 ). B
Ahora comenzamos a analizar esta expresin
Si B = 0 (es decir NO B) nos queda:
St = ( A + S t-1 ) . 0 resulta
St = ( A + S t-1 ) . 1
St = ( A + S t-1 ) No podemos sacar ninguna conclusin de esta expresin.
T.P. Nro 3 2007 24/25

Ahora analizamos el otro valor de B, es decir B = 1

St = ( A + S t-1 ). 1 resulta
St = ( A + S t-1 ). 0 esto siempre da:
St = 0 Independientemente de los valores de A y S t-1
Por lo tanto B = 1 (es decir B) es el RESET, porque siempre hace St = 0
Una vez que encontramos el RESET, buscamos el SET, o viceversa de acuerdo al ejercicio.
En este caso, buscaremos el SET, para lo cual analizamos la tabla de acuerdo al circuito:
B A S t-1 St
0 0 0 0 En esta parte de la tabla investigamos cual es el SET (en este caso).
0 0 1 1 Debe ser un valor de A para el cual el circuito siempre vale 1 (St =1).
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0 En esta parte de la tabla B = 1 por lo tanto St =0 como explicamos
1 1 0 0 arriba.
Estados imposibles (combinaciones no vlidas)
1 1 1 1
Observamos que para A = 0, St toma valores 0 y 1. Pero para A =1, St siempre toma valor 1.
Por lo tanto A = 1 (es decir A) es el SET
Los dos estados imposibles se dan cuando A y B estn en SET y RESET al mismo tiempo, es
decir:
A = 1 y B = 1.
Entonces B = 0 y A = 0 son los estados donde St = S t-1 (Se mantiene el estado anterior)
La tabla reducida queda:
B A St
0 0 S t-1 ESTADO ANTERIOR
0 1 1 SET
1 0 0 RESET
1 1 X PROHIBIDO
Respuesta:
St = ( A + S t-1 ). B (o expresin equivalente).
A es el SET y B es el RESET
T.P. Nro 3 2007 25/25

TP 03 2007 G (Circuitos Logicos)

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TP 03 2007 G (Circuitos Logicos)

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de La Matanza.

Departamento: Ingeniera e Investigaciones Tecnolgicas

2) Demostrar las siguientes propiedades a partir de los postulados de Huntington:

3) Indicar cules son las expresiones duales del punto anterior.

4) El resultado de simplificar la siguiente expresin aplicando los postulados de Huntington,

5) Escribir la expresin booleana correspondiente a la funcin dada en la siguiente tabla de verdad en

6) Simplificar la siguiente expresin:

T.P. Nro 3 2007 2/25

a) 4(1,2,3,4,5,6,7,9,11,12,13,14,15) a)4 (0,1,2,3,12,15)

8) Dada la funcin f1 representada mediante la expresin cannica de suma de productos:

b) Obtener las dos expresiones cannicas algebraicas de esta funcin.

c) Indicar cual de las siguientes alternativas (a,b,c,d,e) representar la tabla de verdad de la

T.P. Nro 3 2007 3/25

T.P. Nro 3 2007 4/25

12) Dada la siguiente funcin expresada en su versin simplificada a travs de la sumatoria

13) Expresar la siguiente funcin como minitrminos

14) Dada la siguiente expresin lgica

F = NOT (A AND B) OR (C AND (NOT A))

b) Dibujar el circuito lgico.

15) Para la siguiente tabla de verdad:

T.P. Nro 3 2007 5/25

a) Indicar cual de las siguientes expresiones algebraicas la representa

a) Desarrolle la tabla de verdad

b) Desarrolle el esquema lgico

18) La conjuncin tiene sus equivalentes en Conmutacin (positiva) y Circuitos Lgicos,

19) Para el siguiente circuito lgico:

T.P. Nro 3 2007 6/25

a) Indique el nombre con el que se lo reconoce

b) Realice su tabla de verdad

c) Identifique cual de las siguientes expresiones lo

20) Sabiendo que A B es equivalente a ( b . a) + ( b . ); indicar cual de las siguientes es la

T.P. Nro 3 2007 7/25

a) St= B + A + S(t-1), no A corresponde al reset; no B al set.

b) St= B +A + S(t-1), A corresponde al reset; B al set.

c) St= B + (A . S(t-1)), no A corresponde al reset; no B al set.

d) St= B .A . S(t-1), A corresponde al reset; B al set.

T.P. Nro 3 2007 8/25

25) Para el siguiente circuito, indique la expresin lgica que corresponde:

T.P. Nro 3 2007 9/25

1) Demostrar las siguientes propiedades a partir de los postulados de Huntington:

II) a+a.b=a Ley de absorcin

2) Indicar cules son las expresiones duales del punto anterior.

I) a+1=1 expresin dual a.0=0

3) A partir de los postulados de Huntington y los teoremas, simplificar la siguiente expresin

Unicidad Postulado 6a Teorema

T.P. Nro 3 2007 10/25

Lo demostramos a travs a travs de las tablas de verdad equivalentes.

Ahora vamos a verificar la tabla de verdad de la funcin equivalente a AB que es

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

CIRCUITOS DIGITALES PROPOSICIONAL BOOLE CONMUTACION

T.P. Nro 3 2007 11/25

6) Sean dos variables booleanas, implementar las funciones lgicas:

I) a + b ; partimos de una compuerta OR

a + b = a.b Se obtuvo una expresin equivalente expresada con una

III) a. b partimos de una compuerta AND

a. b = a+b Se obtuvo una expresin equivalente expresada con una

7) Dado el siguiente circuito:

T.P. Nro 3 2007 12/25

Funcin de salida: F(A,B) = ((A XOR B) NOR (A AND B) AND (NOT B)

A B A XOR B A AND B OR NOR NOT B F

9) Para cada una de las siguientes tablas de verdad:

T.P. Nro 3 2007 13/25

Dada esta tabla podemos resolverlo por Karnaugh: