Algebra booleana El lgebra booleana fue desarrollado por George Boole y en su libro Una investigacin de las leyes del

pensamiento, publicado en 1854, muestra las herramientas para que las proposiciones lgicas sean manipuladas en forma algebraica. Una seal es la representacin de informacin, y puede aparecer en forma de valor o de una cadena de valores de una magnitud fsica. Existen principalmente dos clases de seales: analgicas y digitales. La seal analgica tiene como caracterstica principal el continuo cambio de magnitud, dela misma manera que una corriente elctrica y una presin de gas. En la seal digital los posibles valores de tensin estn divididos en un numero infinito de intervalos, a cada un de los cuales esta asignado un valor o una cadena de valores como informacin. Una seal digital puede obtenerse de una manera analgica asignando ciertos umbrales de sensibilidad. La seal binaria es una seal digital con solo dos valores posibles: conectado/desconectado, verdadadero/falso, 1/0. Expresiones booleanas El lgebra booleana trabaja con seales binarias. Al mismo tiempo una gran cantidad de sistemas de control, tambin conocidos como digitales, usan seales binarias y stas son un falso o un verdadero que proviene de sensores que mandan la informacin al circuito de control, mismo que lleva a cabo la evaluacin para obtener un valor que indicar si se lleva a cabo una determinada actividad, como encender un foco, arrancar un equipo de ventilacin en un cine o ejecutar una operacin matemtica en una computadora.
Por ejemplo #1. Supnganse que en una industria refresquera se desea que un sistema automtico saque de la banda de transportacin un refresco que no cumple con los requisitos mnimos de calidad y que para esto se cuenta con cuatro sensores en diferentes puntos del sistema de transportacin para revisar aspectos importantes de calidad. Supngase adems que los sensores son A, B, C, D y que le sistema F sacar el refresco si los sensores emiten el siguiente grupo de seales. A 0 0 0 0 0 0 0 0 1 B 0 0 0 0 1 1 1 1 0 C 0 0 1 1 0 0 1 1 0 D 0 1 0 1 0 1 0 1 0 F 0 1 0 1 0 0 0 0 0

1 1 1 1 1 1 1

0 0 0 1 1 1 1

0 1 1 0 0 1 1

1 0 1 0 1 0 1

1 1 1 0 0 0 0

La funcin booleana que equivale a la tabla de verdad anterior es: F= ABCD + ABCD + ABCD + ABCD + ABCD Esto implica que el refresco ser extrado de la banda de transportacin en cualquiera de los siguientes casos, ya que para cualquiera de ellos se tiene que F=1: A=0 A=0 A=1 A=1 A=1 B=0 B=0 B=0 B=0 B=0 C=0 C=1 C=0 C=1 C=1 D=1 D=1 D=1 D=0 D=1

La funcin booleana indica solamente los casos en donde el refresco ser extrado, pero existen varios casos ms en donde se dejar pasar porque cumple con los requisitos mnimos de calidad.
El lgebra booleana es un sistema algebraico que consiste en un conjunto B que contiene dos o ms elemento y en elque estn definidas dos operaciones, denominadas respectivamente suma u operacin OR (+) y producto u operacin AND (.), las cuales satisfacen las siguientes propiedades. 1) Existencia de neutros. En B existen el elemento neutro de la suma (0) y el elementro neutro del producto (1), tales que para cualquier elemento de x de B: x + 0= x x .1 = x 2) Conmutatividad. Para cada x,y en B: x+y=y+x x.y = y.x 3) Asociatividad. Para cada x,y,z en B: x + (y+z) = (x+y) +z x . (y.z) = (x.y) . z 4) Distributividad. Para cada x,y,z en B: x + (y.z) = (x+y) . (x+z) x . (y+z) = (x.y) +(x.z) 5) Existencia de complemento. Para cada x en B un elemento x llamado complemento de x, tal que: x + x = 1 x . x =0

Propiedades de las expresiones booleanas.

Las expresiones booleanas poseen las siguiente propiedades: a) Estn compuestas de literales (A,B,C,) y cada una de ellas representa la seala de un sensor. Un ejemplo es F=ABD+ABCD.

b) El valor de las seales o de la funcin solo puede ser 0 o 1, falso o verdadero. Adems de literales, en la expresin booleana se puede tener el valor de 0 o 1. Por ejemplo: F=ABD1 + ABCD + 0 c) Adems de literales en la expresin booleana se puede tener el valor de 0 o1. Por ejemplo F= ABD1 + ABCD + 0 d) Las literales de las expresiones booleanas pueden estar conectados por medio de los operadores lgicos And (), Or (v) y Not (). El operador And es una multiplicacin lgica que se indica por medio de un parntesis, un punto o simplemente poniendo junta las variables que se multiplican, por ejemplo el producto de A y B se expresa como (A)(B) = A.B = AB; el Or es una suma lgica que se indica con el signo +; y el operador Not es el complemento o negacin de una seal que se indica por un apostrofo (). En la siguiente expresin se muestra la forma en que se representan los operadores: F=ABD1 + ABCD + 0 = A B D 1 v A B C D 0 e) Es posible obtener el valor de una expresin booleana sustituyendo en cada una de las literales el valor de 0 o 1, teniendo en cuenta el comportamiento de los operadores lgicos. En las siguientes tablas se muestra la manera en la se aplica esta propiedad: And A B = AB 1 0 0 0 Or A v B = AB 1 1 1 0 Not A 1 0 A 0 1

A 1 1 0 0

B 1 0 1 0

A 1 1 0 0

B 1 0 1 0

Hay que tener presente que en lgebra booleana: 1 + 1 =1 1 + 1 +1 = 1 0+1=1 0+0=0 Ya que el valor mximo es 1 f) Adems de las operaciones bsicas, tambin es posible aplicar la Ley de Morgan de forma semejante a como se aplica en teora de conjunto. El siguiente ejemplo muestra la aplicacin de esta propiedad. (ABCD) = A + B + C + D (A+B+C+D) = ABCD

Teoremas del lgebra booleana. A partir de las propiedades de las operaciones del lgebra booleana se puede demostrar los siguientes teoremas: Teorema 1. Idempotencia. x+x=x x.x=x Teorema 2. Identidad de los elementos de 0 y 1. x+1=1 x.0=0

Teorema 3. Absorcin. x + (x . y) = x x . (x +y ) = x Teorema 4. Complemento de 0 y 1 0 = 1 1 = 0 Teorema 5. Involucion. (x) = x Teorema 6. Leyes de Morgan.

(x + y) = x . y

(x . y) = x + y

Optimizacin de expresiones booleanas. Cundo se plante aun problema, en general la expresin booleana obtenida no necesariamente es la ptima, esto es, la ms fcil, clara y sencilla de implementar utilizando compuertas lgicas. La expresin que resulta del planteamiento del problema puede ser simplificada empleando para ello teoremas y postulados del lgebra booleana o bien mapas de karnaugh. Simplificacin de expresiones booleanas mediante teoremas del lgebra de Boole Lo teoremas que se van a utilizar se derivan de los postulados del lgebra booleana, y permiten simplificar las expresiones lgicas o transformarla en otras que son equivalentes. Una expresin simplificada se puede implementar con menos equipo y su circuito es ms claro que el que corresponde a la expresin no simplificada. A continuacin se presenta una lista de teoremas, cada uno con su dual.
Nmero 1 2 3 4 5 6 7 8 9 10 11 12 13 Teorema 0A = 0 1A = A AA = A AA = 0 AB = BA ABC = A(BC) (AB,,Z) = A+B++Z AB + AC = A(B+C) AB + AB = A A +AB= A A +AB = A+B CA +CAB=CA +CB AB +AC +BC = AB +AC Dual 1+A = 1 0+A=A A+A=A A + A = 1 A+B=B+A A + B + C = A + (B + C) (A+B++Z) = ABZ (A+B)(A+C)=A+BC (A+B)(A+B)=A A(A+B)=A A(A+B)?AB (C+A)(C+A+B) = (C+A)(C+B) (A+B)(A+C)(B+C)=(A+B)(A+C)

En esta tabla, A representa no slo una variable, sino tambin un trmino o factor o bien una expresin. Para obtener el dual deun teorema se convierte cada 0 (cero) en 1 (uno) y cada 1 (uno) en 0 (cero), los signos ms (+) se convierte en parntesis, punto o simplemente no se ponen, y los puntos en signos de ms (+). Adems de esto, las variables no se complementan ya que al hacerlo se obtendra el complemento en lugar del dual.

Por otro lado, los teoremas 1 a 4 se aplican en cualquier caso y los teoremas 5 a 9 son propiedades que tiene el lgebra booleana, semejantes a las reglas de conjuntos correspondientes a las propiedades conmutativas, asociativa y de DeMorgan. Por lo general los teoremas 11 a 13 se aplican en combinacin, dependiendo de la expresin booleana. La aplicacin de los teoremas es muy sencilla: simplemente se comparan partes de la expresin con los teoremas que permitan hacer ms simple la expresin, y esto se realiza hasta que ya no sea posible simplificar.
Por ejemplo #2. Para simplificar la expresin booleana F= AB + (ABC) +C(B + A) Los teoremas de la tabla anterior se aplican de la siguiente manera: F= AB + (ABC) +C(B + A) F= AB + A + B + C +C(B + A) F= AB + A + B + C +CB + CA F= AB + A + B + CB + C + CA F= A(B + 1) + B (1 + C) + C + CA F= A1 + B1 + C + CA F= A + B + C + CA F= A + B + C + A F= (A + A) + B + C F= (1 + B) + C F= 1 + C F=1 Despus de aplicar 7a Por 8a a la inversa Por la 5a Por la 8a Por la 1b Por la 2a Por la 11a Por la 5a Por la 4a Por la 1b Por la 1b

La expresin booleana en su forma ms simple es F = 1, y este resultado indica que si se sustituye las diferentes combinaciones con los valores binarios 0 o 1 de las variables A, B y C en la expresin inicial, entonces el resultado ser siempre igual a 1 (lo que se conoce en lgica matemtica como tautologa).

En general luego de un proceso de simplificacin el resultado no siempre en 1, en cambio lo que se espera es obtener una expresin ms simple conformada por menos variables.
Por ejemplo #3 La simplificacin de la expresin booleana F = ZX +XYZ + XZW Es la siguiente: F = ZX +XYZ + XZW F= Z(X + XW) + XYZ F= Z(X + XW) + XYZ F= ZX + ZW + XYZ F= X(ZY + Z) + ZW F= X(Z + Y) + ZW F= XZ + XY + ZW

Por la 8a Por la 11a Por la 8a a la inversa Por la 8a Por la 11a Por la 8a, a la inversa

En los ejemplos anteriores se utiliz un teorema a la vez, y esto se hizo para que no haya confusiones en la aplicacin de los mismos. Obviamente que cuando ya se tiene suficiente prctica, se puede aplicar varios teoremas a la vez. Tampoco es necesario indicar que teorema se usa, sin embargo aqu se hace para ilustrar la simplificacin. Comprensiblemente las expresiones booleanas a simplificar son el resultado del planteamiento de un problema que se busca resolver, tal y como se ilustr al inicio de la unidad. F= ABCD + ABCD + ABCD + ABCD + ABCD Comnmente este tipo de expresiones booleana son factibles de ser simplificadas, como se muestra a continuacin:
F= ABCD + ABCD + ABCD + ABCD + ABCD F= ABD(C + C) + ABD(C + C) + ABCD F= ABD + ABD + ABCD F= BD(A + A) + ABCD F= BD + ABCD F= B(D + DAC) F= B(D + AC) F= BD + ABC

Es conveniente mencionar que con las funciones booleanas se pueden elaborar circuitos equivalente tanto con la funcin booleana simplificada como con la que se obtuvo inicialmente, sin embargo el circuito lgico de la funcin booleana sin simplificar ser ms grande, complejo y usar ms equipo electrnico en su implementacin. Simplificaciones de expresiones booleanas usando mapas de Karnaugh El mtodo del mapa de karnaugh es un procedimiento simple y directo para minizar las expresiones booleanas, y fue propuesto por Edward W. Veitch y modificado ligeramente por Maurice Karnaugh. El mapa representa un diagrama visual de todas la formas posibles en que se puede plantear una expresin booleana en forma normalizada. Al reconocer varios patrones se puede obtener expresiones algebraicas alternas para la misma expresin, y de estas se puede escoger la ms simple, la cual en general es la que tiene el menor nmero de variables adems de que esta expresin posiblemente no se nica. Las tablas o mapas se divide en ciertos nmeros de casillas, dependiendo de la cantidad de variables que intervienen en la expresin. El nmero de la casilla se puede calcular con la frmula. Nmero de casillas = 2n En donde n es el nmero de variables. As a una expresin de 2 variables le corresponde un mapa de 4 casillas, a una de 3 variables un mapa de 8 casillas y as sucesivamente. Un minitrmino es aquel que forma parte de la expresin y que se puede escribir de la manera ms simple formando lo que se conoce en lgebra elemental como un monomio Por ejemplo, la expresin

F = XY + XY Consta de 2 minitrminos, XY y XY, y como se muestra a continuacin en las casillas respectivamente de la tabla correspondiente se pone un 1 si el minitrmino se encuentra en la expresin o un 0 si no est.
X 0 1 Y 0 0 0 1 1 1

Para simplificar la expresin, en la tabla se agrupan los 1 de casillas adyacentes en bloques cuadrados o rectngulos de 2, 4, 8, 16, , 2n y se descartan las variables cuyo valor, 1 o 0, cambia de una casilla a otra. La regla es agrupar la informacin con el menor nmero posible de bloque ya que de cada uno de estos se obtiene cuando menos una literal, y los bloques deben estar conformados por el mayor nmero de casillas porque entre ms grande sea el nmero de casillas agrupadas por bloque, ms simple ser la expresin booleana resultante.

En el mapa o tabla anterior la variable X no conserva su valor ya que en la primera lnea vale 0 y en la segunda 1, por lo tanto se elimina. Sin embargo, Y mantiene el valor de 1 en ambas casillas, ya que en este caso el bloque que agrupa la informacin se encuentra solamente en la columna de la derecha. De esta forma se obtiene que la expresin simplificada del mapa de Karnaugh es F=Y.
Por ejemplo #4. Representar en un mapa de karnaugh y determinar la expresin booleana simplificada de F = XYZ + XYZ + XYZ + XYZ La solucin es la siguiente: YZ X 00 01 11 10 0 1 1 1 1 1 En este caso se forman dos bloques, mismo que permite eliminar una variable en cada uno de ellos de forma que la expresin simplificada es: F = XY + YZ

En general se tiene que cuando el nmero de variables que integran la expresin booleana es impar, el nmero de filas del mapa es menor que el nmero de columnas. Tambin es conveniente ordenar las variables alfabticamente colocando las primeras variables como filas y las restantes como columnas.
Por ejemplo #5. Como se muestra en el siguiente mapa, un 1 de una celda puede estar contenido en ms de un bloque.
YZ 00

X 0 1

01 1 1

11 1 1

10 1

En el caso de esta tabla se tiene que la expresin booleana sin simplificar es:

F = XYZ + XYZ + XYZ + XYZ La cual ya simplificada queda como: F = Z + XY

En el ejemplo anterior se formaron dos bloques, y en el mayor se eliminaron las variables X, Y debido a que de una casilla a otra cambian de valor. Adems se observa que entre ms grande sea el bloque, la expresin resultante es menor. Si en un mapa de karnaugh se unen los dos extremos, ya sea horizontal o verticalmente, entonces las celdas de las esquinas del mismo quedarn juntas y por lo tanto se consideran como celdas adyacentes. Esto permite realizar una mejor simplificacin.
Por ejemplo #6. Simplificar la siguiente expresin booleana. F = WX + WXYZ + WXYZ + WXYZ + WXYZ + WXYZ Como se ve, no siempre la expresin original tiene todas las variables en cada uno de sus minitrminos. En donde es as, el minitrminos equivale a las variables que se dan inicialmente, en este caso WX juntamente con todas las posibles combinaciones de las variables faltantes: WX = WXYZ + WXYZ + WXYZ + WXYZ Despus se colocan los 1s en las celdas correspondientes y se procede a realizar la agrupacin y simplificacin de los bloques. YZ 00 1 1 1

WX 00 01 11 10

01 1 1

11 1 1

10 1

Hay que observar como cada uno de los bloques tiene cuando menos un 1 que es exclusivo de l. Adems se tienen dos bloques de cuatro celdas adyacentes, uno de ellos enmarcado en un cuadrado mientras que al otro lo conforman las esquinas del mapa, y cada uno de ellos se eliminan dos variables. A parte de esto, se tiene un pequeo bloque de dos celdas. La funcin simplificada queda como sigue:

F = XZ + WZ

WYZ

Los bloques de las esquinas

Del cuadrado de 4 celdas

Del bloque de dos celdas

Por ejemplo #6. Usando mapas de karnaugh es posible simplificar la expresin booleana. F = ABCD + ABCD + ABCD + ABCD + ABCD Que result del problema de la embotelladora planteado al principio de la unidad. En este caso se tiene la siguiente tabla:

AB 00 01 11 10 La expresin simplificada es:

CD 00

01 1

11 1

10

F = BD + ABC