ESCUELA POLITCNICA DEL EJRCITO EXTENSIN LATACUNGA

Morales Caranqui Mnica Elizabeth. Ingeniera Automotriz, QuintoA, Escuela Politcnica del Ejrcito Extensin Latacunga, Mrquez de Maenza S/N Latacunga, Ecuador. email : autor@hotmail.com.ec Fecha de presentacin: 18 de marzo 2013

ALGEBRA BOOLEANA (Arial, Negrita, 16)

RESUMEN (Arial, Negrita, 14)
La herramienta fundamental para el anlisis y diseo de circuitos digitales es el lgebra Booleana. Esta lgebra es un conjunto de reglas matemticas (similares en algunos aspectos al lgebra convencional), pero que tienen la virtud de corresponder al comportamiento de circuitos basados en dispositivos de conmutacin (interruptores, relevadores, transistores, etc). 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: Cerrado, Conmutativo, Asociativo, Distributivo, Identidad, Inverso.

PALABRA CLAVE
Algebra Booleana Teoremas de Boole Compuertas lgicas y Algebra Booleana

DESARROLLO
1. HISTORIA
A mediados del siglo XIX, George Boole (18151864), 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).

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)

CARACTERISTICAS Desarrollada por George Boole Herramienta para representar proposiciones lgicas en forma algebraica Se aplica en representacin de circuitos lgicos y diseo digital EXPRESIONES BOOLEANAS Uso de variables booleanas (cuyos valores son 1 0) Minitrmino: Es un producto booleano en la que cada variable aparece slo una vez; es decir, es una expresin lgica que se compone de variables y los operadores lgicos AND y NOT. Maxitrmino: Es una expresin lgica que se compone de variables y los operadores lgicos OR y NOT. En lgebra booleana, se conoce como forma cannica de una expresin, a todo producto o suma en la cual aparecen todas sus variables en su forma directa o inversa. Una expresin lgica puede expresarse en forma cannica usando minitrminos o maxitrminos. Todas las expresiones lgicas son expresables en forma cannica como una suma de minitrminos o como un producto de maxitrminos. PROPIEDADES DE LAS EXPRESIONES BOOLEANAS a) Formadas con variables booleanas b) Valores de 1 (verdadero) 0 (falso) c) Puede tener constantes booleanas (1 0) d) Puede tener operadores lgicos: AND, OR y NOT Multiplicacin lgica: AND xy = x y = (x)(y) Suma lgica: OR x+y Complemento (negacin): NOT x

e) Se puede obtener el resultado lgico de una expresin booleana aplicando las tablas de verdad (valores de certeza) f) Se puede aplicar la Ley de Morgan EJEMPLO DE EXPRESIONES BOOLEANAS Suponga que un sistema lgico tiene 3 variables de entrada (A, B y C) y la salida de la funcin (F) se comporta de acuerdo a la siguiente tabla de verdad:

TABLA 1 Representacin de la expresin booleana: F = ABC + ABC + ABC LEYES DEL LGEBRA BOOLEANA 1.- Existencia de neutros x+0=x x1=x 2.- Conmutatividad x+y=y+x xy=yx 3.- Asociatividad x + (y + z) = (x + y) + z x (y z) = (x y) z 4.- Distributividad x + (y z) = (x + y) (x + z) x (y z) = (x y) z 5.- Complementos x + x = 1 x x = 0 TEOREMAS DEL LGEBRA BOOLEANA 1.- Idempotencia x+x=x xx=x

2.- Identidad de los elementos 0 y 1 x+1=1 x0=0

3.- Absorcin x + (x y) = x x (x + y) = x 4.- Complemento de 0 y 1 0 = 1 1 = 0 5.- Involucin (doble negacin) (x) = x 6.- Leyes de Morgan (x + y) = x y (x y) = x + y a) Cambiar cada + por y viceversa b) Complementar (negar) cada trmino c) Complementar (negar) la expresin completa

Creados en 1950 por Maurice Karnaugh (fsico y matemtico de los Laboratorios Bell). Evita hacer clculos (aprovecha la capacidad humana del reconocimiento de patrones). Son representaciones bidimensionales de la tabla de verdad de la funcin a simplificar Un mapa es un diagrama com puesto de celdas, donde cada una representa un minitrmino La cantidad de celdas del mapa es 2n; donde n representa la cantidad de variables Se recomiendan para expresiones de hasta 6 variables Generan expresiones en una de las formas estndar: suma de productos producto de sumas

REPRESENTACIN DE EXPRESIONES CON MAPAS DE KARNAUGH Un mapa de Karnaugh es una representacin grfica de la tabla de verdad La tabla de verdad tiene un rengln por cada minitrmino El mapa de Karnaugh tiene una celda por cada minitrmino

TABLA DE TEOREMAS DEL LGEBRA BOOLEANA

TABLA 2

SIMPLIFICACIN DE EXPRESIONES BOOLEANAS MEDIANTE MAPAS DE KARNAUGH

MAPAS DE KARNAUGH DE 2 VARIABLES Sea f una funcin de 2 variables f(A, B)

 Se forma un mapa de minitrminos (celdas) Una forma ms sencilla de representar el minitrmino en la celda es sealando su valor decimal. Note que en las columnas AB no se sigue el orden progresivo de valores, 00, 01, 10 y 11; sino 00, 01, 11 y 10. Esto se debe a que el proceso de

minimizacin depende de la ubicacin de las celdas en el mapa; ya que, entre una celda y otra (en forma horizontal o en forma vertical) slo debe cambiar 1 variable (adyacencia lgica).

PROCEDIMIENTO PARA ELABORAR MAPAS DE KARNAUGH 1. Desde la tabla de verdad Sea f una funcin de 3 variables f(A, B, C) cuya tabla de verdad es la siguiente:

MAPAS DE KARNAUGH DE 3 VARIABLES Sea f una funcin de 3 variables f(A, B, C) Se forma un mapa de minitrminos Es importante colocar las variables en el orden indicado de ms a menos significativo (A, B, C); ya que de otra forma el valor decimal sera diferente.

Se obtiene el mapa colocando un 1 en las celdas correspondientes a las combinaciones (minitrminos) en las que la funcin f=1 En este caso, las combinaciones son: ABC, ABC, ABC y ABC


Por lo tanto f = ABC + ABC + ABC + ABC 2. Directamente de una funcin Se pueden representar funciones cannicas o no cannicas. Sea f una funcin cannica de 3 variables f = ABC + ABC + ABC + ABC Se representa el mapa colocando un 1 en la celda de existencia de A, A, B, B, C y C.

MAPAS DE KARNAUGH DE 4 VARIABLES Sea f una funcin de 4 variables f(A, B, C, D) Se forma un mapa de minitrminos. Se sigue el mismo procedimiento que para una funcin de 3 variables.

Sea f una funcin no cannica de 3 variables f = AB + ABC + ABC Esta expresin no es cannica porque el primer trmino no tiene todas las variables de la funcin. La funcin es la UNIN de las reas que representan cada uno de los trminos y cada trmino es la INTERSECCIN de las reas que representan sus variables. El trmino AB es la interseccin de A=1 y B=1. El trmino ABC es la interseccin de A=0, B=1 y C=0. El trmino ABC es la interseccin de A=0, B=0 y C=1. El mapa final se obtiene mediante la UNIN de los tres resultados.

Obsrvese el orden de colocacin de las variables. Los renglones siguen el mismo orden de las columnas (00, 01, 11 y 10) para que haya adyacencia lgica. MAPAS DE KARNAUGH DE 5 VARIABLES

 Sea f una funcin de 5 variables f(A, B, C, D, E) Se forma un mapa de minitrminos. Obsrvese que ahora cada celda, adems de ser adyacente en forma horizontal o vertical, tambin es adyacente a la celda que ocupa la misma posicin en el cuadro cercano horizontal y en el cuadro cercano vertical. Por ejemplo, la celda 10 (001010) es adyacente a las celdas 11 (001011), 14 (001110), 8 (001000), 2 (000010) y a las celdas 26 (011010) y 42 (101010). Esto se debe a que solo cambia una variable entre una celda y otra. EXPRESIONES MEDIANTE MAPAS DE KARNAUGH 1. Convertir la expresin a una suma de productos (si es necesario): a. Algebraicamente b. Contruyendo la tabla de verdad 2. Dibujar el mapa

Obsrvese que ahora cada celda, adems de ser adyacente en forma horizontal o vertical, tambin es adyacente a la celda que ocupa la misma posicin en el cuadro cercano. Por ejemplo, la celda 15 (01111) es adyacente a las celdas 13, 7, 14, 11 y a la 31 (11111). Esto se debe a que solo cambia una variable entre una celda y otra.

3. Cubrir todos los 1s del mapa mediante rectngulos de 2n elementos (donde n=0.. nmero de variables); es decir, 2, 4, 8, 16, etc. a. Ningn rectngulo debe tener un 0 b. Usar la mnima cantidad de rectngulos c. Hacer cada rectngulo tan grande como sea posible 4. Encontrar la suma de productos minimal a. Cada rectngulo es un trmino producto b. Cada trmino se define encontrando las variables que hay en comn en dicho rectngulo

MAPAS DE KARNAUGH DE 6 VARIABLES Sea f una funcin de 6 variables f(A, B, C, D, E, F) Se forma un mapa de minitrminos

5. Agrupar los rectngulos a. Para simplificar la expresin, se agrupan los 1s de celdas adyacentes en bloques cuadrados o rectangulares de 2, 4, 8, 16, , 2n. Estos se llaman implicantes primos. b. Si alguno de los rectngulos contiene algn 1 que no aparece en ningn otro rectngulo, entonces es un implicante primo

esencial, los cuales deben aparecer de manera obligatoria en el resultado final. NOTA: Cuando se desea obtener una suma de productos, entonces se agrupan los 1s. Cuando se desea obtener un producto de sumas, entonces se agrupan los 0s. Aunque las expresiones resultantes no son iguales, son lgicamente equivalentes.

COMPUERTAS LGICAS Es una representacin grfica de una o ms variables de entrada a un operador lgico para obtener como resultado una seal determinada de salida.

REPRESENTACIN DE EXPRESIONES CON COMPUERTAS LGICAS

CONCLUSIONES (Arial, Negrita, 14)

XXXXXXXXXXXX (Arial, 10)

XXXXXXXXXXX

BIBLIOGRAFA Y/O ENLACES (Arial, Negrita, 14)

http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Matematicas_Discretas/Apuntes/Algebra_Bo
oleana.pdf (17 de marzo 2013)

http://lc.fie.umich.mx/~jrincon/elec3-cap4.pdf (17 de marzo 2013) http://www.monografias.com/trabajos14/algebra-booleana/algebra-booleana.shtml (17 de

marzo 2013)