Sunteți pe pagina 1din 6

INFORME PREVIO Nº3

DOCENTE:
ING. CASIMIRO OSCAR
ALUMNO: CÓDIGO:
MEZA JARA JUNINHO JESÚS 17190011
FACULTAD:
INGENIERÍA ELECTRÓNICA
CURSO:
CIRCUITOS DIGITALES I
TEMA:
LABORATORIO 3:
ÁLGEBRA BOOLEANA
TIPO DE INFORME: PREVIO

AÑO: 2019

TURNO: jueves 12-2 pm


CUESTIONARIO PREVIO
1. Escribir la expresión booleana y la tabla de verdad de los circuitos lógicos
para demostrar los siguientes teoremas del algebra de Boole: Morgan,
redundancia, absorción y consenso. Utilice para cada caso los CI básicos
necesarios.
 Morgan
- A.B = A + B

A B (A.B)’ A’ +B’
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0

- A+B = A.B

A B (A+B)’ A’.B’
0 0 1 1
0 1 0 0
1 0 0 0
1 1 0 0

 Redundancia (Absorción)

- A+A.B = A

 Consenso
- AB+BC+A’C = AB+A’C
- (A+B) (A’+C) (B+C) = (A+B) (A’+C)
2. Para el circuito mostrado, verificar la tabla de verdad. Implementar con CI
básicos.

X Y Z Y’.Z F= X+Y’.Z
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 0 0
1 0 0 0 1
1 0 1 1 1
1 1 0 0 1
1 1 1 0 1

3. Escribir la tabla de verdad para la función lógica: F (x, y, z) = (/x. y) +


(/y. z). / = negación. Dibujar un diagrama de circuito lógico, utilizando
solo compuertas NAND de 2 entradas. Asumir que solo disponemos de
entradas directas (sin complementar). Utilice 7400 y numere los pines para
todas las conexiones en su circuito.

X Y Z X`.Y Y`.Z F= X`.Y+ Y`.Z


0 0 0 0 0 0
0 0 1 0 1 1
0 1 0 1 0 1
0 1 1 1 0 1
1 0 0 0 0 0
1 0 1 0 1 1
1 1 0 0 0 0
1 1 1 0 0 0
4. Dibujar la tabla de verdad y la expresión booleana de las compuertas XOR
de 2 y 3 entradas mostradas. Implementar con CI7486

a.
X Y Z X⊕Y X⊕Y⊕Z
0 0 0 0 0
0 0 1 0 1
0 1 0 1 1
0 1 1 1 0
1 0 0 1 1
1 0 1 1 0
1 1 0 0 0
1 1 1 0 1

b.
X Y Z X⊕Y⊕Z
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1

5. Escribir la expresión booleana y la tabla de verdad del circuito mostrado:


X Y S=X’.Y+X.Y’ C=XY
0 0 0 0
0 1 1 0
1 0 1 0
1 1 0 1

6. Diseñar el circuito que responde a la siguiente tabla de verdad.

A B C Y
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

Notamos que Y= A’. B’.C + A. B’C’


 Comprobando para A=0, B=0, C=0, => Y=0

 Comprobando para A=1, B=0, C=0 => Y=1