UNIVERSIDAD AUTONOMA DE SINALOA

FACULTAD DE INGENIERA
LIC. EN INGENIERA EN PROCESOS
INDUSTRIALES

MATERIA:
LABORATORIO DE
ELECTRONICA DIGITAL

PRACTIC
AV
MAESTRO:
MEJIA CAMACHO JUAN MANUEL
ALUMNOS:
ESTRADA ACOSTA ALAN ISAY
TELLES VALDEZ YARETZI

GRUPO:

3-1

INTRODUCCION
Las ecuaciones booleanas pueden reducirse a ecuaciones equivalentes ms
sencillas aplican las leyes y teoremas del algebra booleana. Una ecuacin
reducida equivalente a utilizar menos compuertas ya su vez menos circuitos
integrados, optimizando el diseo de un circuito digital.

OBJETIVO
Comprobar las leyes y teoremas de Boole mediante la simulacin e
implementacin de las expresiones lgicas.

CONCEPTOS BASICOS
LEY DISTRIBUTIVA
Aplicar la operacin OR a dos o ms variables y luego aplicar la operacin AND al
resultado de la operacin y a otra variable aislada, es equivalente a aplicar la
operacin AND a la variable aislada con cada uno de los sumandos y luego aplicar
la operacin OR a los productos resultantes.
Esta ley tambin expresa el proceso de sacar factor comn, en el que la variable
comn se saca como factor de los productos parciales.
Ley distributiva para tres variables

A(B + C) = AB + AC
TEOREMA DE MORGAN

PRIMER TEOREMA DE MORGAN

El complemento de un producto de variables es igual a la suma de los

complementos de las variables
En otras palabras: El complemento de dos o ms variables ANDeadas es
equivalente al
OR de los complementos de las variables individuales

SEGUANDO TEOREMA DE MORGAN

El complemento de la suma de variables es igual al producto de los complementos

de las variables.
En otras palabras: El complemento de dos o ms variables OReadas es
equivalente al
AND de los complementos de las variables individuales

Para el primer teorema de DeMorgan

Para el segundo teorema de DeMorgan

TEOREMA DEL CONSENSO

El teorema de consenso es extremadamente til en la simplificacin de
una expresin booleana . En una expresin del tipo que
se
muestra que el trmino
es redundante y puede eliminarse simplificando en la
expresin original
.De hecho, si
usted tiene que tener
y
, por lo que cualquiera de los dos trminos
, y
debe ser cierto , si
vale la pena
o la pena
.
Teorema consenso

PRACTICA
La prctica consiste en comprobar cada una de los teoremas y leyes del
algebra booleana realizando su tabla de verdad de respectivo teorema o ley
as como su simulacin y circuito armando en protoboard..

LEY DISTRIBUTIVA
Tabla de verdad
A. X(Y+Z) = XY + XZ
X (lila)

Z (azul)

Y
(verde)
0

X(Y+Z)
(amarillo)
(0)(0+0)=(0)
(0)=0
(0)(0+1)=(0)
(1)=0
(0)(1+0)=(0)
(1)=0
(1)(0+0)=(1)
(0)=0
(0)(1+1)=(0)
(1)=0
(1)(0+1)=(1)
(1)=1
(1)(1+0)=(1)
(1)=1
(1)(1+1)=(1)
(1)=1

XY + XZ (rojo)
(0)(0)+(0)
(0)=0+0=0
(0)(0)+(0)
(1)=0+0=0
(0)(1)+(0)
(0)=0+0=0
(1)(0)+(1)
(0)=0+0=0
(0)(1)+(0)
(1)=0+0=0
(1)(0)+(1)
(1)=0+1=1
(1)(1)+(1)
(0)=1+0=1
(1)(1)+(1)
(1)=1+1=1

Simulacin y circuito armando en protoboard

A)
000

000

001

010

011

100

101

110

111

B)

B. X+YZ = (X+Y)(X+Z)
Tabla de verdad
X (lila)

Z (azul)

Y
(verde)
0

Simulacin

000

X+YZ
(amarillo)
0+(0)
(0)=0+0=0
0+(0)
(1)=0+0=0
0+(1)
(0)=0+0=0
1+(0)
(0)=1+0=1
0+(1)
(1)=0+1=1
1+(0)
(1)=1+0=1
1+(1)
(0)=1+0=1
1+(1)
(1)=1+1=1

(X+Y)(X+Z) (rojo)
(0+0)(0+0)=(0)
(0)=0
(0+0)(0+1)=(0)
(1)=0
(0+1)(0+0)=(1)
(0)=0
(1+0)(1+0)=(1)
(1)=1
(0+1)(0+1)=(1)
(1)=1
(1+0)(1+1)=(1)
(1)=1
(1+1)(1+0)=(1)
(1)=1
(1+1)(1+1)=(1)
(1)=1

000

001

010

011

100

101

110

111

TEOREMAS DE SIMPLIFICACION (FACTORIZACION Y EXPANSION)

A) XY +XY = X
X
(azul)
0

Y
(verde)
0

Simulacin a)
00

XY +XY (amarillo)
(0)(0)+(0)(0)=(0)
(1)=0
(0)(1)+(0)(1)=(0)
(0)=0
(1)(0)+(1)(0)=(1)
(1)=1
(1)(1)+(1)
(1)=1+(1)(0)=1

01

10

11

B)
Tabla de verdad
B. (X+Y)(X+Y) = X
X
(azul)
0

Y
(lila)
0

Simulacin
00

(X+Y)(X+Y) (amarillo)
(0+0)(0+0)=(0)
(0+1)=(0)(1)=0
(0+1)(0+1)=(1)
(0+0)=(1)(0)=0
(1+0)(1+0)=(1)
(1+1)=(1)(1)=1
(1+1)(1+1)=(1)
(1+0)=(1)(1)=1

01

10

11

C)
Tabla de verdad
C. X+XY = X
X
(lila)
0
0
1
1

Y
(blanco)
0
1
0
1

Simulacin
00

X+XY (rojo)
0+(0)(0)=0
0+(1)(0)=0
1+(1)(0)=1
1+(1)
(1)=1+1=1

01

10

11

D)
Tabla de verdad
D. X(X+Y) = X
X
(azul)
0

Y
(verde)
0

Simulacion
00

X(X+Y)
(amarillo)
(0)(0+0)=(0)
(0)=0
(0)(0+1)=(0)
(1)=0
(1)(1+0)=(1)
(1)=1
(1)(0+1)=(1)
(1)=1

01

10

11

E)
Tabla de verdad
E. (X+Y)Y = XY

X
(blanco)
0

Y
(lila)
0

Simulacin
00

(X+Y)Y (verde)
(0+0)(0)=(0+1)
(0)=(1)(0)=0
(0+1)(0)=(0+0)
(0)=(0)(0)=0
(1+0)(0)=(1+1)
(0)=(1)(0)=0
(1+1)(1)=(1+0)
(1)=(1)(1)=1

XY
(rojo)
(0)
(0)=0
(0)
(1)=0
(1)
(0)=0
(1)
(1)=1

01

10

11

F)
Tabla de verdad
F. XY+Y = X+Y
X
(blanco)
0

Y
(lila)
0

Simulacin
00

XY+Y (verde)
(0)(0)+0=(0)
(1)=0
(0)(1)+1=(0)
(0)+1=1
(1)(0)+0=(1)
(1)=1
(1)(1)+1=(1)
(0)+1=1

X+Y
(rojo)
0+0=0
0+1=1
1+0=1
1+1=1

01

10

11

LEY DE MORGAN (INVERSION)

A)
Tabla de verdad
A. (X+Y+Z) = XYZ
X
(verde)
0

Y
(verde
)
0

Z
(verde
)
0

(X+Y+Z)
(rojo)

XYZ (azul)

(0+0+0)=(0
)=1
(0+0+1)=(1
)=0
(0+1+0)=(1
)=0
(1+0+0)=(1
)=0
(0+1+1)=(1
)=0

(0)(0)(0)=(1)(1)
(1)=1
(0)(0)(1)=(1)(1)
(0)=0
(0)(1)(0)=(1)(0)
(1)=0
(1)(0)(0)=(0)(1)
(1)=0
(0)(1)(1)=(1)(0)
(0)=0

Simulacin

000

(1+0+1)=(1
)=0
(1+1+0)=(1
)=0
(1+1+1)=(1
)=0

(1)(0)(1)=(0)(1)
(0)=0
(1)(1)(0)=(0)(0)
(1)=0
(1)(1)(1)=(0)(0)
(0)=0

001

010

011

100

101

110

111

B)

Tabla de verdad
B. (XYZ) = X+Y+Z
X
(verde)
0

Y
(verde
)
0

Z
(verde
)
0

Simulacin

000

(XYZ) (rojo)

X+Y+Z (azul)

((0)(0)
(0))=(0)=1
((0)(0)
(1))=(0)=1
((0)(1)
(0))=(0)=1
((1)(0)
(0))=(0)=1
((0)(1)
(1))=(0)=1
((1)(0)
(1))=(0)=1
((1)(1)
(0))=(0)=1
((1)(1)
(1))=(1)=0

(0)+(0)+(0)=1
+1+1=1
(0)+(0)+(1)=1
+1+0=1
(0)+(1)+(0)=1
+0+1=1
(1)+(0)+(0)=0
+1+1=1
(0)+(1)+(1)=1
+0+0=1
(1)+(0)+(1)=0
+1+0=1
(1)+(1)+(0)=0
+0+1=1
(1)+(1)+(1)=0
+0+0=0

001

010

011

100

101

110

111

TEOREMA DEL CONSENSO

A)
Tabla de verdad
A. XY+YZ+XZ = XY+XZ
X
(verde
)
0

Y
(verde
)
0

Z
(verde
)
0

XY+YZ+XZ (rojo)

(0)(0)+(0)
(0)+(0)(0)=0+0+(1)
(0)=0
(0)(0)+(0)
(1)+(0)(1)=0+0+(1)
(1)=1
(0)(1)+(1)
(0)+(0)(0)=0+0+(1)
(0)=0
(1)(0)+(0)
(0)+(1)(0)=0+0+(0)
(0)=0
(0)(1)+(1)

XY+XZ
(amarillo)
(0)
(0)+(0)(0)=0+(1)
(0)=0
(0)
(0)+(0)(1)=0+(1)
(1)=1
(0)
(1)+(0)(0)=0+(1)
(0)=0
(1)
(0)+(1)(0)=0+(0)
(0)=0
(0)

000

(1)+(0)(1)=0+1+(1)
(1)=1
(1)(0)+(0)
(1)+(1)(1)=0+0+(0)
(1)=0
(1)(1)+(1)
(0)+(1)(0)=1+0+(0)
(0)=1
(1)(1)+(1)
(1)+(1)(1)=1+1+(0)
(1)=1

(1)+(0)(1)=0+(1)
(1)=1
(1)
(0)+(1)(1)=0+(0)
(1)=0
(1)
(1)+(1)(0)=1+(0)
(0)=1
(1)
(1)+(1)(1)=1+(0)
(1)=1

001

010

011

100

101

110

111

B)

TABLA DE VERDAD
B. (X+Y)(Y+Z)(X+Z) = (X+Y)(X+Z)
X
(az
ul)
0

Y
(ver
de)
0

Z
(blan
co)
0

000

(X+Y)(Y+Z)(X+Z) (amarillo)

(0+0)(0+0)((0)+0)=(0)(0)
(1+0)=(0)(0)(1)=0
(0+0)(0+1)((0)+1)=(0)(1)
(1+1)=(0)(1)(1)=0
(0+1)(1+0)((0)+0)=(1)(1)
(1+0)=(1)(1)(1)=1
(1+0)(0+0)((1)+0)=(1)(0)
(0+0)=(1)(0)(0)=0
(0+1)(1+1)((0)+1)=(1)(1)
(1+1)=(1)(1)(1)=1
(1+0)(0+1)((1)+1)=(1)(1)
(0+1)=(1)(1)(1)=1
(1+1)(1+0)((1)+0)=(1)(1)
(0+0)=(1)(1)(0)=0
(1+1)(1+1)((1)+1)=(1)(1)
(0+1)=(1)(1)(1)=1

(X+Y)(X+Z) (rojo)

(0+0)((0)+0)=(0)
(1+0)=(0)(1)=0
(0+0)((0)+1)=(0)
(1+1)=(0)(1)=0
(0+1)((0)+0)=(1)
(1+0)=(1)(1)=1
(1+0)((1)+0)=(1)
(0+0)=(1)(0)=0
(0+1)((0)+1)=(1)
(1+1)=(1)(1)=1
(1+0)((1)+1)=(1)
(0+1)=(1)(1)=1
(1+1)((1)+0)=(1)
(0+0)=(1)(0)=0
(1+1)((1)+1)=(1)
(0+1)=(1)(1)=1

001

010

011

100

101

110

111

C)

TABLA DE VERDAD

B. (X+Y)(X+Z) = XZ + XY
X
(azul)
0

Y
(verde
)
0

Z
(blanco
)
0

000

(X+Y)(X+Z) (verde)

(0+0)((0)+0)=(0)
(1+0)=(0)(1)=0
(0+0)((0)+1)=(0)
(1+1)=(0)(1)=0
(0+1)((0)+0)=(1)
(1+0)=(1)(1)=1
(1+0)((1)+0)=(1)
(0+0)=(1)(0)=0
(0+1)((0)+1)=(1)
(1+1)=(1)(1)=1
(1+0)((1)+1)=(1)
(0+1)=(1)(1)=1
(1+1)((1)+0)=(1)
(0+0)=(1)(0)=0
(1+1)((1)+1)=(1)
(0+1)=(1)(1)=1

XZ + XY (lila)

(0)(0)+(0)(0)=0+(1)
(0)=0+0=0
(0)(1)+(0)(0)=0+(1)
(0)=0+0=0
(0)(0)+(0)(1)=0+(1)
(1)=0+1=1
(1)(0)+(1)(0)=0+(0)
(0)=0+0=0
(0)(1)+(0)(1)=0+(1)
(1)=0+1=1
(1)(1)+(1)(0)=1+(0)
(0)=1+0=1
(1)(0)+(1)(1)=0+(0)
(1)=0+0=0
(1)(1)+(1)(1)=1+(0)
(1)=1+0=1

001

010

011

100

101

110

111

CONCLUSION:

Se logr comprobar mediante la simulacin, clculos matemticos y el mtodo experimental los

ejercicios propuestos en la prctica, tales como la ley distributiva, los teoremas de simplificacin
(factorizacin y expansin), ley de Morgan (inversin) y los teoremas de consenso.
Lo ms complicado fue el mtodo experimental, ya que como le incluimos leds, la fuente de poder
que utilizbamos, en nuestro caso pilas, no eran suficiente para abastecer las cadas de voltaje que
provocaban los leds, y nos haca caer en la idea errnea de que el circuito estaba mal conectado,
tuvimos que cambiar la fuente de poder por otras con mayor voltaje y utilizbamos los leds
adecuados para cada configuracin para que todos prendieran y funcionaran correctamente.