Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Boolean PDF
Boolean PDF
Ingeniería en Informática
Práctica II
Álgebra de Boole
Participantes:
______________________________________________________
______________________________________________________
______________________________________________________
______________________________________________________
Profesor:
Fecha de realización:
I P N_UPIICSA_A
APLIC ACIONES D E SI STEM AS DI GITALES_ ÁLGEBR A DE BOOLE
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.
1
Axiomas
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 (inducción perfecta). El teorema será verdadero si se cumple para ambos valores
de la variable.
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.
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
Página 2
I P N_UPIICSA_A
APLIC ACIONES D E SI STEM AS DI GITALES_ ÁLGEBR A DE BOOLE
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 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 = 2n 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).
3
N=2 =8
Página 3
I P N_UPIICSA_A
APLIC ACIONES D E SI STEM AS DI GITALES_ ÁLGEBR A DE BOOLE
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
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:
Lista de materiales
Desarrollo:
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.
Página 4
I P N_UPIICSA_A
APLIC ACIONES D E SI STEM AS DI GITALES_ ÁLGEBR A DE BOOLE
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
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
Página 5
I P N_UPIICSA_A
APLIC ACIONES D E SI STEM AS DI GITALES_ ÁLGEBR A DE BOOLE
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:
F = ( (X * Y’ * Z) + ( (X * Y) + ( (X * Y’ * Z) + (X * Y)’ )’ + (Y * Z) )’ )’
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’ = ______________
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.
Página 6