Está en la página 1de 6

INSTITUTO POLITECNICO NACIONAL

UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERIA Y CIENCIAS
SOCIALES Y ADMINISTRATIVAS

Ingeniería en Informática

Aplicaciones de Sistemas Digitales

P Pr rá ác ct ti ic ca a I II I
Á Ál lg ge eb br ra a d de e B Bo oo ol le e

Participantes:
______________________________________________________
______________________________________________________
______________________________________________________
______________________________________________________

Profesor:

Fecha de realización:



I P N_UPIICSA_A AP PL LI IC CA AC CI IO ON NE ES S D DE E S SI IS ST TE EM MA AS S D DI IG GI IT TA AL LE ES S_ _Á ÁL LG GE EB BR RA A D DE E B BO OO OL LE E

Página 2

Practica II
Álgebra de Boole

Objetivo: Identificar las leyes y teoremas del álgebra booleana con base en su aplicación en la simplificación de funciones
lógicas.

Introducción:

En 1854, el matemático inglés, George Boole, inventó el sistema algebraico de dos valores, conocido como álgebra
booleana, pero hasta 1938, el investigador Claude E. Shannon, quién colaboraba en los Laboratorios Bell, demostró como
por medio de dicha álgebra se podía analizar y describir el funcionamiento de los circuitos construidos con relevadores,
indicando que el estado de los contactos de un relevador podría ser representado por la variable X, la cual asumiría un valor
0 o 1. En la actualidad utilizamos el mismo razonamiento para los niveles de voltaje alto (1) y bajo (0), manejados en las
compuertas lógicas.

Axiomas
1


Tabla 2.1 Axiomas

(A1) X = 0 si X NO ES 1 (A1’) X=1 si X NO ES 0
(A2) SI X=0 ENTONCES X’=1
2
(A2’) SI X=1 ENTONCES X’= 0
(A3) 0 * 0 = 0 (A3’) 1 + 1 = 1
(A4) 1 * 1 = 1 (A4’) 0 + 0 = 0
(A5) 0 * 1 = 1 * 0 = 0 (A5’) 1 + 0 = 0 + 1 = 1

Teoremas
3


Dados los axiomas anteriores, podemos demostrar los teoremas descritos en la siguiente tabla, pues una variable X solo
puede tener dos valores diferentes 0 y 1 (inducción perfecta). El teorema será verdadero si se cumple para ambos valores
de la variable.

Tabla 2.2 Teoremas del álgebra booleana con una variable

(T1) X + 0 = X (T1’) X * 1 = X IDENTIDAD
(T2) X + 1 = 1 (T2’) X * 0 = 0 ELEMENTOS NULOS
(T3) X + X = X (T3’) X * X = X POTENCIA IDÉNTICA
(T4) ( X’ )’ = X INVOLUCIÓN
(T5) X + X’ = 1 (T5’) X * X’ = 0 COMPLEMENTOS

En los teoremas de dos y tres variables, también se aplica la inducción perfecta, pero ahora también se debe tomar en
cuenta que con dos variables X, Y, se tienen cuatro combinaciones. Con tres variables X, Y, Z debemos considerar ocho
combinaciones. Encontramos teoremas que son idénticos a las leyes asociativa, conmutativa y distributiva de la suma y
multiplicación en números enteros y reales.

Tabla 2.3 Teoremas del álgebra booleana de dos y tres variables

(T6) X + Y = Y + X (T6’) X * Y = Y * X CONMUTATIVIDAD
(T7) (X + Y) + Z = X + (Y + Z) (T7’) (X * Y) * Z = X * (Y * Z) ASOCIATIVIDAD
(T8) X*Y + X*Z = X * (Y + Z) (T8’) (X + Y )*(X + Z) = X + Y*Z DISTRIBUTIVIDAD
(T9) X + X * Y = X (T9’) X * (X + Y) = X ABSORCIÓN
(T10) X * Y + X * Y’ = X (T10’) (X + Y) * (X + Y’) = X COMBINACIÓN






1
Axioma es una proposición evidente en sí misma y por lo tanto, no necesita demostración. Por ejemplos tenemos los axiomas euclidianos: El todo es
igual a la suma de las partes. El todo es mayor que cada una de las partes. www.euclides.org/menu/elements_esp/definiciones.htm
2
Utilizaremos el símbolo de prima (‘) para indicar la función inversora.
3
Teorema es una proposición que para ser evidente necesita demostración. Por ejemplo: La suma de los ángulos de un triángulo es igual a dos
ángulos rectos. www.euclides.org/menu/elements_esp/definiciones.htm
I P N_UPIICSA_A AP PL LI IC CA AC CI IO ON NE ES S D DE E S SI IS ST TE EM MA AS S D DI IG GI IT TA AL LE ES S_ _Á ÁL LG GE EB BR RA A D DE E B BO OO OL LE E

Página 3


Teoremas de DeMorgan

Estos teoremas pueden utilizarse para n número de variables y nos dicen que:

(T11) Una compuerta AND de n entradas cuya salida esta complementada (NAND) es equivalente a una OR de n
entradas, las cuales están complementadas (OR negative). Fig. 2.1

(T11’) Una compuerta de OR n entradas cuya salida esta complementada (NOR) es equivalente a una AND de n
entradas, las cuales están complementadas (AND negative). Fig. 2.2

Tabla 2.4 Teoremas de DeMorgan

(T11) (X * Y )’ = X’ + Y’ (T11’) (X + Y)’ = X’ * Y’




Fig. 2.1 Equivalencia entre compuerta NAND y compuerta OR negativa



Fig. 2.1 Equivalencia entre compuerta NOR y compuerta AND negativa


Representaciones Estándar de Funciones Lógicas

Tabla de verdad

Es una representación que muestra el valor de salida asociado a cada combinación posible para las entradas.
Tradicionalmente, se hace una lista de las combinaciones en forma ascendente según su valor binario, comenzando por el
cero (cada variable tiene el valor asociado 0) y terminando con la combinación del valor binario más alto (todas las
variables tienen valor alto). La estructura de una tabla de verdad de tres variables se muestra en la tabla 2.5.

El número de combinaciones en la tabla de verdad está definido por el número de variables involucradas, según la relación:

N = 2
n
Donde:
N = número de combinaciones
n = número de variables

Sustituyendo valores, encontramos que para el ejemplo de la tabla 2.5 se tienen 8 combinaciones. Cabe señalar que la
tabla de verdad es una herramienta práctica cuando el número de variables es pequeño (con 10 variables se tienen 1024
combinaciones).

N = 2
3
= 8











I P N_UPIICSA_A AP PL LI IC CA AC CI IO ON NE ES S D DE E S SI IS ST TE EM MA AS S D DI IG GI IT TA AL LE ES S_ _Á ÁL LG GE EB BR RA A D DE E B BO OO OL LE E

Página 4


Tabla 2.5 Tabla de verdad para 3 variables F(X,Y,Z)

X Y Z F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0


En la tabla de verdad se denomina variable a X, Y, Z; la salida es F. Finalmente la tabla cuenta con 8 combinaciones
también llamadas términos. Los términos pueden ser de dos tipos: términos de producto (minitérmino), donde las
variables se multiplican, y términos de suma (maxitérmino), donde las variables se suman. En el minitérmino las
variables que tienen valor bajo deben ser negadas. En el maxitérmino las variables con valor alto son las que deben
negarse. Tabla 2.6.
Tabla 2.6

Número
Decimal
F(X,Y,Z) X Y Z F Minitérmino Maxitérmino
0 F(0,0,0) 0 0 0 1 X’ * Y’ * Z’ X + Y + Z
1 F(0,0,1) 0 0 1 0 X’ * Y’ * Z X + Y + Z’
2 F(0,1,0) 0 1 0 0 X’ * Y * Z’ X + Y’ + Z
3 F(0,1,1) 0 1 1 1 X’ * Y * Z X + Y’ + Z’
4 F(1,0,0) 1 0 0 0 X * Y’ * Z’ X’ + Y + Z
5 F(1,0,1) 1 0 1 1 X * Y’ * Z X’ + Y + Z’
6 F(1,1,0) 1 1 0 1 X * Y * Z’ X’ + Y’ + Z
7 F(1,1,1) 1 1 1 0 X * Y * Z X’ + Y’ + Z’

Funciones Suma de Productos

Las funciones Suma de Productos (SOP), son expresiones que suman todos los términos de producto que tienen un valor
alto como salida. Para la tabla 2.6 tenemos:

F = X’ * Y’ * Z’ + X’ * Y * Z + X * Y’ * Z + X * Y * Z’
Funciones Producto de Sumas

Las funciones Producto de Sumas (POS), son expresiones que multiplican todos los términos de suma que tienen un valor
abajo como salida. Para la tabla 2.6 tenemos:

F = (X + Y + Z’) * (X + Y’ + Z) * (X’ + Y + Z) * (X’ + Y’ + Z’)

Lista de materiales

 Software “Simulador de Circuitos Digitales 0.9.5”. Obtenido gratuitamente en www.tourdigital.net.
 Computadora personal.

Desarrollo:

1.- Abrir el simulador gratuito de tourdigital.net para protoboard.

2.- Construya el circuito lógico correspondiente a la siguiente función

F = Y * (X + Z)

3.- Observe y anote en la siguiente tabla de verdad el valor correspondiente a F para cada combinación de sus variables X,
Y, Z.
I P N_UPIICSA_A AP PL LI IC CA AC CI IO ON NE ES S D DE E S SI IS ST TE EM MA AS S D DI IG GI IT TA AL LE ES S_ _Á ÁL LG GE EB BR RA A D DE E B BO OO OL LE E

Página 5


X Y Z F
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

4.- Construya el circuito correspondiente a la siguiente función lógica

Y = A’ * B + A * B’

5.- Observe y anote en la siguiente tabla de verdad el valor correspondiente a Y para cada combinación de sus variables A,
B.
A B Y
0 0
0 1
1 0
1 1








































I P N_UPIICSA_A AP PL LI IC CA AC CI IO ON NE ES S D DE E S SI IS ST TE EM MA AS S D DI IG GI IT TA AL LE ES S_ _Á ÁL LG GE EB BR RA A D DE E B BO OO OL LE E

Página 6


Nombre del estudiante:_______________________________________________________________________________

Cuestionario:

1.- Utilizando la inducción perfecta compruebe los teoremas de la tabla 2.2 de la introducción teórica.

2.- Después de realizar ejercicios de simplificación con su profesor en clase. Simplifique la siguiente función lógica:

=

+ +

+

+

3.- Dibuje el circuito lógico resultante:

4.- Utilizando software construya el circuito lógico resultante y realice la tabla de verdad correspondiente al comprobar el
valor de la salida para cada combinación de entrada

X Y Z F
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

5.- Compare esta tabla con la obtenida en clase para el primer circuito propuesto. Concluya:
___________________________________________________________________________________________________
___________________________________________________________________________________________________
_____________________________________________________________________________________________

6.- Tomando como base el segundo circuito construido en clase, compárelo con las tablas de verdad de las compuertas
lógicas básicas. ¿Cuál de las compuertas es equivalente a este circuito?. Anote la función lógica en la línea.

A’ * B + A * B’ = ______________

7.- Obtenga el minitérmino de la compuerta XNOR
A B Y
0 0 1
0 1 0
1 0 0
1 1 1

Y = ________________________________

8.- Realice un formulario con los teoremas del álgebra booleana, anexe la igualdad de las dos compuertas exclusivas con
su minitérmino.

9.- Anexe las hojas necesarias para mostrar la solución a este cuestionario y sus conclusiones.