Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Introduccin
algebra de
Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole ,
Boole
constituyen un rea
de las matemticas que ha pasado a ocupar un lugar prominente con el
advenimiento de la computadora digital. Son usadas ampliamente en el diseo de circuitos
de distribucin y computadoras, y sus aplicaciones van en aumento en muchas otras reas.
En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y
que est formado por los componentes electrnicos de la mquina, se trabaja con
diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos que
forman el nivel. stas funciones, en la etapa de disea del hardware, son interpretadas
como funciones de boole.
En el presente trabajo se intenta dar una definicin de lo que es un lgebra de boole; se
tratan las funciones booleanas,
haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos
formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales
como el de determinar si dos expresiones representan o no la misma funcin. Pero para
otros propsitos son a menudo engorrosas, por tener ms operaciones que las necesarias.
Particularmente, cuando estamos construyendo los circuitos electrnicos con que
implementar funciones booleanas, el problema de determinar una expresin mnima para
una funcin es a menudo crucial. No resultan de la misma eficiencia en dinero y tiempo,
principalmente, dos funciones las cuales calculan lo mismo pero donde una tiene menos
variables y lo hace en menor tiempo. Como solucin a este problema, se plantea un mtodo
de simplificacin, que hace uso de unos diagramas especiales llamados mapas o diagramas
de Karnaugh, y el cual tiene la limitacin de poder trabajar adecuadamente slo con pocas
variables.
Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el
lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de
simplificacin presentado en la lgica de proposiciones.
2. Resea Histrica
A mediados del siglo XIX, George Boole (1815-1864), en sus libros: "The Mathematical
Analysis of Logic" (1847) y "An Investigation of te Laws of Thought" (1854), desarroll la
idea de que las proposiciones lgicas podan ser tratadas mediante herramientas
matemticas. Las proposiciones lgicas (asertos, frases o predicados de la lgica clsica)
son aquellas que nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas
nicas respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden ser
representadas mediante smbolos y la teora que permite trabajar con estos smbolos, sus
entradas (variables) y sus salidas (respuestas) es la Lgica Simblica desarrollada por l.
Dicha lgica simblica cuenta con operaciones lgicas que siguen el comportamiento de
reglas algebraicas. Por ello, al conjunto de reglas de la Lgica Simblica se le denomina
LGEBRA DE BOOLE.
A mediados del siglo XX el lgebra Booleana result de una gran importancia prctica,
importancia que se ha ido incrementando hasta nuestros das, en el manejo de informacin
digital (por eso hablamos de Lgica Digital). Gracias a ella, Shannon (1930) pudo formular
su teora de la codificacin y John Von Neumann pudo enunciar el modelo de arquitectura
que define la estructura interna de los ordenadores desde la primera generacin.
Todas las variables y constantes del lgebra booleana, admiten slo uno de dos valores en
sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos valores bivalentes y opuestos
pueden ser representados por nmeros binarios de un dgito (bits), por lo cual el lgebra
booleana se puede entender cmo el lgebra del Sistema Binario. Al igual que en lgebra
tradicional, tambin se trabaja con letras del alfabeto para denominar variables y formar
ecuaciones para obtener el resultado de ciertas operaciones mediante una ecuacin o
expresin booleana. Evidentemente los resultados de las correspondientes operaciones
tambin sern binarios.
Todas las operaciones (representadas por smbolos determinados) pueden ser materializadas
mediante elementos fsicos de diferentes tipos (mecnicos, elctricos, neumticos o
electrnicos) que admiten entradas binarias o lgicas y que devuelven una respuesta
(salida) tambin binaria o lgica. Ejemplos de dichos estados son: Abierto/Cerrado
(interruptor), Encendida/Apagada (bombilla), Cargado/Descargado (condensador) , Nivel
Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor), etctera.
Los dispositivos con los cuales se implementan las funciones lgicas son llamados puertas
(o compuertas) y, habitualmente, son dispositivos electrnicos basados en transistores.
Estos dispositivos, y otros que veremos a lo largo de esta unidad, son los que permiten el
diseo, y la ulterior implementacin, de los circuitos de cualquier ordenador moderno, as
como de muchos de los elementos fsicos que permiten la existencia de las
telecomunicaciones modernas, el control de mquinas, etctera. De hecho, pensando en los
ordenadores como una jerarqua de niveles, la base o nivel inferior sera ocupada por la
lgica digital (en el nivel ms alto del ordenador encontraramos los actuales lenguajes de
programacin de alto nivel).
En esta unidad se representan las puertas lgicas elementales, algunas puertas complejas y
algunos ejemplos de circuitos digitales simples, as como algunas cuestiones de notacin.
Por otra parte se plantean actividades de trabajo, muchas de las cuales implican una
respuesta escrita en vuestro cuaderno de trabajo. El deseo del autor es que os resulte
sencillo y ameno adentraros en el mundo de la lgica digital y despertaros la curiosidad,
tanto por ella, como por la matemtica que subyace en ella.
3. lgebra Booleana
El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno
(falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un
par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND
acepta dos entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra
booleana a menudo emplea los siguientes postulados:
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+
(AC) y A+ (BC) = (A+B) (A+C).
P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.
Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados,
adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los
cuales podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A A = A
Teorema 3: A + 0 = A
Teorema 4: A 1 = A
Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1
Teorema 9: A + A B = A
Teorema 10: A (A + B) = A
Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en honor al
matemtico que los descubri.
Caractersticas:
Un lgebra de Boole es un conjunto en el que destacan las siguientes caractersticas:
1- Se han definido dos funciones binarias (que necesitan dos parmetros) que llamaremos
aditiva (que representaremos por x
+ y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un solo
parmetro) que representaremos por x'.
2- Se han definido dos elementos (que designaremos por 0 y 1)
Y 3- Tiene las siguientes propiedades:
Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada uno puede
votar si o no. Representemos el voto de cada uno por xi. La funcin devolver s (1) cuando
el numero de votos afirmativos sea 3 y en caso contrario devolver 0.
Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0.
Producto mnimo (es el nmero posible de casos) es un producto en el que aparecen todas
las variables o sus negaciones.
El nmero posible de casos es 2n.
Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los
posibles casos son:
Votos
Resultado
ABCD
1111
1
1110
1
1101
1
1100
0
1011
1
1010
0
1001
0
1000
0
0111
1
0110
0
0101
0
0100
0
0011
0
0010
0
0001
0
0000
0
Las funciones booleanas se pueden representar como la suma de productos mnimos
(minterms) iguales a 1.
En nuestro ejemplo la funcin booleana ser:
f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD
Diagramas De Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas.
Se construye una tabla con las variables y sus valores posibles y se agrupan los 1
adyacentes, siempre que el nmero de 1 sea potencia de 2.
En esta pgina tienes un programa para minimizacin de funciones booleanas mediante
mapas de Karnaugh
funciones booleanas diferentes, es muy importante recordar ste echo, cada salida
representa una funcin booleana diferente.
Un ejemplo comn de un circuito combinacional es el decodificador de siete segmentos, se
trata de un circuito que acepta cuatro entradas y determina cul de los siete segmentos se
deben iluminar para representar la respectiva entrada, de acuerdo con lo dicho en el parrafo
anterior, se deben implementar siete funciones de salida diferentes, una para cada
segmento. Las cuatro entradas para cada una de stas funciones booleanas son los cuatro
bits de un nmero binario en el rango de 0 a 9. Sea D el bit de alto orden de ste nmero y
A el bit de bajo orden, cada funcin lgica debe producir un uno (para el segmento
encendido) para una entrada dada si tal segmento en particular debe ser iluminado, por
ejemplo, el segmento e debe iluminarse para los valores 0000, 0010, 0110 y 1000.
En la siguiente tabla se puede ver qu segmentos deben iluminarse de acuerdo al valor de
entrada, tenga en cuenta que slo se estn representando valores en el rango de 0 a 9, los
decodificadores para las pantallas de siete segmentos comerciales tienen capacidad para
desplegar valores adicionales que corresponden a las letras A a la F para representaciones
hexadecimales, sin embargo la mecanica para iluminar los respectivos segmentos es similar
a la aqu representada para los valores numricos.
0 a bc de f
bc
2 a b
de
3 a bc d
bc
f g
5 a
c d
c de f g
7 a bc
f g
8 a bc de f g
9 a bc
f g
TEOREMA 2
A+A = A
AA = A
TEOREMA 3
Redundancia
A+AB = A
A (A+B) = A
TEOREMA 4
0+A = A
Equivalente a una compuerta OR con una de sus terminales conectada a tierra
1A = A
Equivalente a una compuerta AND con una de sus terminales conectada a 1
1+A = 1
0A = 0