ALGEBRA BOOLEANA

[Escriba el subttulo del documento]

ARQUITECTURA DE COMPUTADORAS PAULA ALVAREZ MUOZ 07/06/2012

PAULA ALVAREZ MUOZ

ISC 6TO

INDICE

INTRODUCCION

PRINCIPIOS

FUNDAMENTOS

APLICACIONES

14

CONCLUSION

16

PAULA ALVAREZ MUOZ

ISC 6TO

INTRODUCCION

Si se hace un anlisis comparativo del clculo proposicional y la teora de conjuntos, con sus conectivos lgicos y las operaciones unin, interseccin y complemento respectivamente, se observa un comportamiento idntico. Posteriormente se ver la misma analoga con el lgebra de circuitos de conmutacin. En efecto, la analoga entre el lgebra de proposiciones y el lgebra de conjuntos es tan grande que no puede ignorarse. Este hecho sugiere la presencia un modelo matemtico abstracto, que vaco de todo contenido, sirve de soporte tanto a la lgica como a la teora de conjuntos. Este molde o estructura que se alcanza a vislumbrar es el LGEBRA DE BOOLE. Para empezar necesitamos saber que es la algebra 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.

PAULA ALVAREZ MUOZ

ISC 6TO

PRINCIPIOS DE LA ALGEBRA BOOLEANA

Leyes fundamentales El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano resulta en otra variable del sistema, y este resultado es nico.

1. Ley de idempotencia:

2. Ley de complemento:

3. Ley conmutativa:

4. Ley asociativa:

5. Ley distributiva: Distributiva por la izquierda:

Distributiva por la derecha:

PAULA ALVAREZ MUOZ

ISC 6TO

6. Ley de cancelacin:

7. Ley de identidad:

8 Ley de dominacin:

9. Leyes de De Morgan:

Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual, formada mediante el intercambio de los operadores unin (suma lgica) con los de interseccin (producto lgico), y de los 1 con los 0. Adems hay que cambiar cada variable por su negada. Esto causa confusin al aplicarlo en los teoremas bsicos, pero es totalmente necesario para la correcta aplicacin del principio de dualidad. Vase que esto no modifica la tabla adjunta.

PAULA ALVAREZ MUOZ

ISC 6TO

Adicin 1 2 3 4 5 6 7 8 9

Producto

PAULA ALVAREZ MUOZ

ISC 6TO

FUNCIONES DE LA ALGEBRA BOOLEANA

En matemticas, una funcin booleana es una funcin cuyo dominio son las palabras conformadas por los valores binarios 0 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1. Formalmente, son las funciones de la forma : Bn B, donde B = {0,1} y n un entero no negativo correspondiente a la aridad de la funcin.

Modos de representacin Existen distintas formas de representar una funcin lgica, entre las que podemos destacar las siguientes:

Algebraica Por tabla de verdad Numrica Grfica

El uso de una u otra, como veremos, depender de las necesidades concretas en cada caso. Algebraica Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un ejemplo con distintas formas en las que se puede expresar algebraicamente una misma funcin de tres variables. a) F = [(A + BC) + ABC] + ABC b) F = ABC + ABC + ABC + ABC c) F = (A + B + C)(A + B + C)(A + B + C)(A + B + C) d) F = BC + AB e) F = (A + B)(B + C) f) F = [(BC)(CB) (AB)] g) F = [(A + B) + (B + C)]
6

PAULA ALVAREZ MUOZ

ISC 6TO

La expresin a) puede proceder de un problema lgico planteado o del paso de unas especificaciones a lenguaje algebraico. Las formas b) y c) reciben el nombre expresiones cannicas: de suma de productos (sum-of-products, SOP, en ingls), la b), y de productos de sumas (product-of-sums, POS, en ingls), la c); su caracterstica principal es la aparicin de cada una de las variables (A, B y C) en cada uno de los sumandos o productos. Las d) y e) son funciones simplificadas, esto es, reducidas a su mnima expresin. Las dos ltimas expresiones tienen la particularidad de que exclusivamente utiliza funciones NO-Y, la f), o funciones NO-O, la g).
Por tabla de verdad

Una tabla de verdad contiene todos los valores posibles de una funcin lgica dependiendo del valor de sus variables. El nmero de combinaciones posibles para una funcin de n variables vendr dado por 2n. Una funcin lgica puede representarse algebraicamente de distintas formas como acabamos de ver, pero slo tiene una tabla de verdad. La siguiente tabla corresponde a la funcin lgica del punto anterior. La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una expresin algebraica es cuando esta ltima se da en su forma cannica. As, la funcin cannica de suma de productos (o forma cannica disyuntiva)
F = ABC + ABC + ABC + ABC

nos indica que ser 1 cuando lo sea uno de sus sumandos, lo que significa que tendr por lo tanto cuatro combinaciones que lo sern (010 para ABC, 100 para ABC, 101 para ABC y 110 para ABC) siendo el resto de combinaciones 0. Con la funcin cannica de producto de sumas (o forma cannica conjuntiva) se puede razonar de forma anloga, pero en este caso observando que la funcin ser 0 cuando lo sea uno de sus productos. Tambin es fcil obtener la tabla de verdad a partir de la funcin simplificada, pero no as a la inversa.

Numrica

La representacin numrica es una forma simplificada de representar las expresiones cannicas. Si consideramos el criterio de sustituir una variable sin negar por un 1 y una
7

PAULA ALVAREZ MUOZ

ISC 6TO

negada por un 0, podremos representar el trmino, ya sea una suma o un producto, por un nmero decimal equivalente al valor binario de la combinacin. Por ejemplo, los siguientes trminos cannicos se representarn del siguiente modo (observe que se toma el orden de A a D como de mayor a menor peso): ABCD = 10112 = 1110 A + B + C + D = 01002 = 410 Para representar una funcin cannica en suma de productos utilizaremos el smbolo n (sigma) y en producto de sumas n (pi), donde n indicar el nmero de variables. As, la representacin numrica correspondiente a la tabla de verdad del punto anterior quedar como: F = 3(2, 4, 5, 6) = 3(0, 1, 3, 7) Matemticamente se demuestra, que para todo trmino i de una funcin, se cumple la siguiente ecuacin: F = [n(i)]' = n(2n-1-i ) A modo de ejemplo se puede utilizar esta igualdad para obtener el producto de sumas a partir de la suma de productos del ejemplo anterior: F = 3(2, 4, 5, 6) = [3(2, 4, 5, 6)]' ' = [3(0, 1, 3, 7)]' = 3(0, 1, 3, 7)

Grfica La representacin grfica es la que se utiliza en circuitos y esquemas electrnicos. En la siguiente figura se representan grficamente dos funciones algebraicas, una con smbolos no normalizados, superior, y la otra con normalizados, inferior (vanse los smbolos de las puertas lgicas).

Mtodos de simplificacin Por simplificacin de una funcin lgica se entiende la obtencin de su mnima expresin. A la hora de implementar fsicamente una funcin lgica se suele simplificar para reducir as la complejidad del circuito.
8

PAULA ALVAREZ MUOZ

ISC 6TO

A continuacin se indican los modos ms usuales de simplificar una funcin lgica. Algebraico Para la simplificacin por este mtodo no slo bastar con conocer todas las propiedades y teoremas del lgebra de Boole, adems se debe desarrollar una cierta habilidad lgicomatemtica que se adquiere fundamentalmente con la experiencia. Como ejemplo se simplificar la siguiente funcin: F = AC + ABC + BC + ABC + ABC Observando cada uno de los sumando podemos ver que hay factores comunes en los sumandos 2 con 5 y 4 con 5 que conllevan simplificacin: F = AC + BC + BC(A + A) + AC(B + B) Note que el trmino 5 se ha tomado dos veces, de acuerdo con la propiedad que dice que A + A = A. Aplicando las propiedades del lgebra de Boole (A + A' = 1 y A . 1 = A), queda F = AC + BC + BC + AC Repitiendo nuevamente el proceso, F = A( C + C) + B( C + C) = A + B No siempre las funciones son tan fciles de simplificar como la anterior. El mtodo algebraico, por lo general, no resulta cmodo para los no expertos, a los cuales, una vez simplificada una ecuacin le pueden quedar serias dudas de haber conseguido la mxima simplificacin. Mapa de Karnaugh Este mtodo consiste en formar diagramas de 2n cuadros, siendo n el nmero de variables. Cada cuadro representa una de las diferentes combinaciones posibles y se disponen de tal forma que se puede pasar de un cuadro a otro en las direcciones horizontal o vertical, cambiando nicamente una variable, ya sea en forma negada o directa. Este mtodo se emplea fundamentalmente para simplificar funciones de hasta cuatro variables. Para un nmero superior utilizan otros mtodos como el numrico. A continuacin pueden observarse los diagramas, tambin llamados mapas de Karnaugh, para dos, tres y cuatro variables.
9

PAULA ALVAREZ MUOZ

ISC 6TO

Numrico de Quine-McCluskey El algoritmo Quine-McCluskey permite la simplificacin de funciones lgicas de cualquier nmero de variables y es el que se utiliza para disear aplicaciones informticas en las que se necesite obtener funciones simplificadas. A continuacin se indican los pasos a seguir en este mtodo a partir de un ejemplo. 1) Se expresa la funcin a simplificar en su forma cannica de suma de productos. Sea la siguiente funcin a simplificar: F = S4 (0,1,2,3,5,9,11,12,13,15) 2) Se forma una tabla con el valor decimal de la combinacin, el estado de las variables y el ndice (nmero de unos que contiene el estado de las variables).

Comb. Estado ndice 0 1 2 0000 0001 0010 0 1 1

10

PAULA ALVAREZ MUOZ

ISC 6TO

3 5 9 11 12 13 15

0011 0101 1001 1011 1100 1101 1111

2 2 2 3 2 3 4

3) Se agrupan las combinaciones cuyos estados difieren en una sola variable, sustituyndola por un guion bajo (_). Las combinaciones utilizadas se marcan con un aspa (X). Hay que fijarse en las combinaciones cuya diferencia entre sus respectivos ndices es la unidad.

4) Se repite el proceso anterior las veces que sean necesarias y se van eliminando estados idnticos.

11

PAULA ALVAREZ MUOZ

ISC 6TO

5) Se forma una tabla con las combinaciones finales y las no agrupadas. Se toman como filas las combinaciones finales y las no agrupadas y como columnas los valores decimales de dichas combinaciones. Cada celda que contenga el valor decimal de una combinacin se marca con un aspa. A continuacin nos fijamos en aquellas columnas con una sola aspa; sus combinaciones sern esenciales. Finalmente se toman aquellas combinaciones de los valores decimales no seleccionados, teniendo precaucin de no tomar aquellas combinaciones cuyos valores decimales hayan sido ya tomados en otras combinaciones. La funcin simplificada final viene dada por las combinaciones esenciales y estas ltimas.

Funciones incompletas Hasta ahora todas las funciones estudiadas tienen definido un valor lgico, 0 1, para cada una de las posibles combinaciones. Estas funciones se denominan completas o totalmente definidas. Tambin existen funciones con una o varias combinaciones no definidas, llamadas funciones incompletas. Esta situacin puede deberse por las dos causas siguientes: 1. Hay combinaciones de entrada que no existen, por lo que a la salida se le puede asignar indistintamente el valor 0 o el 1. 2. En ciertas combinaciones de entrada la salida del sistema lgico est inhibida, siendo por lo tanto su valor indiferente. En la tabla de verdad de una funcin incompleta, los trminos indiferentes se designan mediante una equis (X). En cuanto a la forma cannica se separan los trminos definidos de los que no lo son (indicados mediante el smbolo ).
12

PAULA ALVAREZ MUOZ

ISC 6TO

A la hora de simplificar una funcin incompleta, los trminos indiferentes servirn como comodines a la hora de tomar lo lazos, esto es, si nos interesa que sea un 1 porque as el lazo es mayor, lo tomaremos como 1, y en caso contrario como 0. Forma cannica Una Funcin lgica, que est compuesta por operador lgico, puede ser expresada en forma cannica usando los conceptos de minitrmino y maxitrmino. Todas las funciones lgicas son expresables en forma cannica, tanto como una suma de minitrmino como producto de maxitrmino. Esto permite un mejor anlisis para la simplificacin de dichas funciones. Minitrmino Para una funcin booleana de n variables x1,...xn, un producto booleano en el que cada una de las n variables aparece una sola vez (negada o sin negar) es llamado minitrmino. Es decir, un minitrmino es una expresin lgica de n variables consistente nicamente en el operador conjuncin lgica (AND) y el operador complemento o negacin (NOT). Por ejemplo, abc, ab'c y abc' son ejemplos de minitrminos para una funcin booleana con las tres variables a, b y c. Maxitermino Un maxitrmino es una expresin lgica de n smbolos que consiste nicamente en la disyuncin lgica y el operador complemento o negacin. Los cuales estn unidos por los operadores del algebra de Boole (+ . ) Por ejemplo, los siguientes trminos cannicos son maxitrminos: 1. a + b' + c 2. a' + b + c

13

PAULA ALVAREZ MUOZ

ISC 6TO

APLICACIONES DE LA ALGEBRA BOOLEANA

Debido a que los computadores trabajan con informacin binaria, la herramienta matemtica adecuada para el anlisis y diseo de su funcionamiento en el algebra de boole en su forma bivalente, aunque fue desarrollada inicialmente para el estudio de la lgica. Ha sido a partir de 1938, fecha en que C.E. Shanon publico su obre Analisis simblico de circuitos con reles, estableciendo los primeros conceptos de la actual teora de computacin, cuando se ha producido un aumento considerable en el numero de trabajos de aplicacin del algebra de boole a los computadores digitales. Hoy en da, esta herramienta resulta fundamental para el desarrollo de computadores ya que, con su ayuda, el anlisis y sntesis de combinaciones complejas de circuitos logicos puede realizarse con rapidez y eficacia.

La relacin que existe entre la lgica booleana y los sistemas de cmputo es fuerte, de hecho se da una relacin uno a uno entre las funciones booleanas y los circuitos electrnicos de compuertas digitales. Para cada funcin booleana es posible disear un circuito electrnico y viceversa, como las funciones booleanas solo requieren de los operadores AND, OR y NOT podemos construir nuestros circuitos utilizando exclusivamente stos operadores utilizando las compuertas lgicas homnimas Un hecho interesante es que es posible implementar cualquier circuito electrnico utilizando una sola compuerta, sta es la compuerta NAND. Para probar que podemos construir cualquier funcin booleana utilizando slo compuertas NAND, necesitamos demostrar cmo construir un inversor (NOT), una compuerta AND y una compuerta OR a partir de una compuerta NAND, ya que como se dijo, es posible implementar cualquier funcin booleana utilizando slo los operadores booleanos AND, OR y NOT. Para construir un inversor simplemente conectamos juntas las dos entradas de una compuerta NAND. Una vez que tenemos un inversor, construir una compuerta AND es fcil, slo invertimos la
14

PAULA ALVAREZ MUOZ

ISC 6TO

salida de una compuerta NAND, despus de todo, NOT ( NOT (A AND B)) es equivalente a A AND B. Por supuesto, se requieren dos compuertas NAND para construir una sola compuerta AND, nadie ha dicho que los circuitos implementados slo utilizando compuertas NAND sean lo ptimo, solo se ha dicho que es posible hacerlo. La otra compuerta que necesitamos sintetizar es la compuerta lgica OR, esto es sencillo si utilizamos los teoremas de De Morgan, que en sntesis se logra en tres pasos, primero se reemplazan todos los "" por "+" despus se invierte cada literal y por ltimo se niega la totalidad de la expresin: A OR B A AND B.......................Primer paso para aplicar el teorema de De Morgan A' AND B'.....................Segundo paso para aplicar el teorema de De Morgan (A' AND B')'..................Tercer paso para aplicar el teorema de De Morgan (A' AND B')' = A' NAND B'.....Definicin de OR utilizando NAND Si se tiene la necesidad de construir diferentes compuertas de la manera descrita, bien hay dos buenas razones, la primera es que las compuertas NAND son las ms econmicas y en segundo lugar es preferible construir circuitos complejos utilizando los mismos bloques bsicos. Observen que es posible construir cualquier circuito lgico utilizando slo compuertas de tipo NOR (NOR = NOT(A OR B)). La correspondencia entre la lgica NAND y la NOR es ortogonal(o sea que esta en ngulo recto) entre la correspondencia de sus formas cannicas. Mientras que la lgica NOR es til en muchos circuitos, la mayora de los diseadores utilizan lgica NAND.

15

PAULA ALVAREZ MUOZ

ISC 6TO

CONCLUSION
Como sabemos la algebra booleana es una estructura algebraica que representa las operaciones lgicas: AND OR NOT IF La algebra de boole anteriormente se aplicaba en el diseo de circuitos de conmutacin elctrica biestables, en la actualidad se aplica en el mbito del diseo lgico. Toda operacin que se realiza en un sistema digital, ya sea un computador, un telfono mvil, un reloj o una calculadora utiliza las operaciones definidas por el lgebra de Boole para realizar sus funciones. Unas veces estas funciones vendrn implementadas por software y otras por hardware. Tengamos en cuenta que el lgebra de bool se extiende a partir de la lgica para definir todas las operaciones aritmticas como la suma o la multiplicacin.

16