INSTITUTO POLITECNICO NACIONAL

UNIDAD PROFESIONAL INTERDISCIPLINARIA DE

INGENIERIA Y CIENCIAS SOCIALES Y
ADMINISTRATIVAS

Ingeniera en Informtica

Aplicaciones de Sistemas Digitales

Prctica II

lgebra de

Boole

Participantes:

Profesor:

Fecha de realizacin:
 I P N_UPIICSA_APLICACIONES
APLICACIONES DE SISTEMAS DIGITALES_LGEBRA DE BOOLE

Practica II
lgebra de
Boole

Objetivo: Identificar las leyes y teoremas del lgebra booleana con base en su aplicacin en la simplificacin de funciones
lgicas.

Introduccin:

En 1854, el matemtico ingls, George Boole, invent el sistema algebraico de dos valores, conocido como lgebra
booleana, pero hasta 1938, el investigador Claude E. Shannon, quin colaboraba en los Laboratorios Bell, demostr como
por medio de dicha lgebra se poda analizar y describir el funcionamiento de los circuitos construidos con relevadores,
indicando que el estado de los contactos de un relevador podra ser representado por la variable X, la cual asumira 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 lgicas.

1
Axiomas

Tabla 2.1 Axiomas

(A1) X = 0 si X NO ES 1 (A1) X=1 si X NO ES 0

2
(A2) SI X=0 ENTONCES X=1 (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

3
Teoremas

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 (induccin 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 IDNTICA
(T4) ( X ) = X INVOLUCIN
(T5) X + X = 1 (T5) X * X = 0 COMPLEMENTOS

En los teoremas de dos y tres variables, tambin se aplica la induccin perfecta, pero ahora tambin 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 idnticos a las leyes asociativa, conmutativa y distributiva de la suma y
multiplicacin en nmeros 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 ABSORCIN
(T10) X * Y + X * Y = X (T10) (X + Y) * (X + Y) = X COMBINACIN

Pgina
2
 I P N_UPIICSA_APLICACIONES
APLICACIONES DE SISTEMAS DIGITALES_LGEBRA DE BOOLE
1 Axioma es una proposicin evidente en s misma y por lo tanto, no necesita demostracin. 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 smbolo de prima () para indicar la funcin inversora.
3 Teorema es una proposicin que para ser evidente necesita demostracin. Por ejemplo: La suma de los ngulos de un tringulo es igual a dos
ngulos rectos. www.euclides.org/menu/elements_esp/definiciones.htm

Pgina
3
Teoremas de DeMorgan

Estos teoremas pueden utilizarse para n nmero 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 estn 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 estn 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 Estndar de Funciones Lgicas

Tabla de verdad

Es una representacin que muestra el valor de salida asociado a cada combinacin posible para las entradas.
Tradicionalmente, se hace una lista de las combinaciones en forma ascendente segn su valor binario, comenzando por el
cero (cada variable tiene el valor asociado 0) y terminando con la combinacin del valor binario ms 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 nmero de combinaciones en la tabla de verdad est definido por el nmero de variables involucradas, segn la relacin:

n
N=2 Donde:
N = nmero de combinaciones
n = nmero de variables

Sustituyendo valores, encontramos que para el ejemplo de la tabla 2.5 se tienen 8 combinaciones. Cabe sealar que la
tabla de verdad es una herramienta prctica cuando el nmero de variables es pequeo (con 10 variables se tienen 1024
combinaciones).

3
N=2 =8
 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
tambin llamadas trminos. Los trminos pueden ser de dos tipos: trminos de producto (minitrmino), donde las
variables se multiplican, y trminos de suma (maxitrmino), donde las variables se suman. En el minitrmino las
variables que tienen valor bajo deben ser negadas. En el maxitrmino las variables con valor alto son las que deben
negarse. Tabla 2.6.
Tabla 2.6

Nmero F(X,Y,Z) X Y Z F Minitrmino Maxitrmino

Decimal
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 trminos 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 trminos 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 lgico correspondiente a la siguiente funcin

F = Y * (X + Z)
3.- Observe y anote en la siguiente tabla de verdad el valor correspondiente a F para cada combinacin de sus variables X,
Y, Z.
 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 funcin lgica

Y = A * B + A * B

5.- Observe y anote en la siguiente tabla de verdad el valor correspondiente a Y para cada combinacin de sus variables A,
B.
A B Y
0 0
0 1
1 0
1 1
Nombre del estudiante: _ _ _ _ _ __

Cuestionario:

1.- Utilizando la induccin perfecta compruebe los teoremas de la tabla 2.2 de la introduccin terica.

2.- Despus de realizar ejercicios de simplificacin con su profesor en clase. Simplifique la siguiente funcin lgica:

= + + +
+

3.- Dibuje el circuito lgico resultante:

4.- Utilizando software construya el circuito lgico resultante y realice la tabla de verdad correspondiente al comprobar el
valor de la salida para cada combinacin 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, comprelo con las tablas de verdad de las compuertas
lgicas bsicas. Cul de las compuertas es equivalente a este circuito?. Anote la funcin lgica en la lnea.

A * B + A * B = _ _

7.- Obtenga el minitrmino 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 minitrmino.

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