5.

1 Introduccin
El lgebra booleana fue desarrollada por George Boole y en su libro An Investigation of the Laws of Thought, publicado en 1854, muestra las herramientas para que las proposiciones lgicas sean manipuladas en forma algebraica. Debido al carcter abstracto de sus principios no tuvo una aplicacin directa sino hasta 1938 en que la compaa de telfonos Bell de Estados Unidos la utiliz para realizar un anlisis de los circuitos de su red telefnica. En ese mismo ao Claude E. Shannon, entonces estudiante de postgrado del Instituto Tecnolgico de Massachussets, a partir del lgebra de Boole cre la llamada lgebra de conmutacin para representar las propiedades de conmutacin elctrica biestables, demostrando con esto que el lgebra booleana se adapta perfectamente al diseo y representacin de circuitos lgicos de control basados en rels e interruptores. Los circuitos lgicos de control tienen una gran importancia ya que las computadoras, los sistemas telefnicos, los robots y cualquier operacin automatizada en una empresa, son algunos de 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, de la misma manera que una corriente elctrica y una presin de gas. En la seal digital los posibles valores de tensin estn divididos en un nmero infinito de intervalos, a cada uno de los cuales est 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 slo dos valores posibles: conectado-desconectado, verdaderofalso, 1-0.

5.2 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 o no una determinada actividad, como encender un foco, arrancar un equipo de ventilacin en un cine o ejecutar una operacin matemtica en una computadora. Los sensores pueden ser pticos, como los que se usan en tiendas departamentales (de proximidad); magnticos, como los que permiten detectar armas en aeropuertos; de temperatura, como los que utiliza un sistema de calefaccin, los refrigeradores o bien el mismo termostato que controla el sistema de enfriamiento del motor de un vehculo; de nivel, ya que un flotador como el que tiene un tinaco o una cisterna para controlar la cantidad de agua, es un sensor que puede mandar informacin a un circuito de control. En cada uno de estos grupos de sensores existen tipos, tamaos y modelos, de acuerdo con el uso y funcionamiento, de forma que existen infrarrojos, lser, fotoelctricos y de ultrasonido, entre otros. Para resolver un problema prctico en el cual se desea automatizar un proceso, es necesario realizar un anlisis detallado de lo que se quiere lograr as como de los tipos de sensores necesarios para obtener las seales. Una vez que se conoce esto se plantea el funcionamiento del circuito lgico en una expresin matemtica, la cual recibe el nombre de funcin booleana, y cada una de las variables de que est integrada esta funcin representa un sensor que provee al circuito de una seal de entrada.

Ejemplo 5.1. Supngase 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 y D y que el sistema F sacar al refresco si los sensores emiten el siguiente grupo de seales:
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 E 0 1 0 1 0 0 0 0 0 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=1 D=0

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. Se puede decir que en general una expresin booleana es un sistema de smbolos que incluyen 0, 1, algunas variables y las operaciones lgicas.

5.3 Propiedades de las expresiones booleanas

Las expresiones booleanas poseen las siguientes propiedades:

a) Estn compuestas de literales (A, B, C, ...) y cada una de ellas representa la seal de un sensor. Un ejemplo es F = ABD + ABCD. b) El valor de las seales o de la funcin slo puede ser 0 o 1, falso o verdadero. c) Adems de literales, en la expresin booleana se puede tener el valor de 0 o 1. Por ejemplo: F = ABD1 + ABCD + 0. d) Las literales de las expresiones booleanas pueden estar conectadas por medio de los operadores lgicos And (), Or () y Not (). El operador And es una multiplicacin lgica que se indica por medio de un parntesis, un punto o simplemente poniendo juntas 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 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 que se aplica esta propiedad: And A 1 1 0 0 B 1 0 1 0 A B = AB 1 0 0 0 A 1 1 0 0 B 1 0 1 0 Or (A B) = A + B 1 1 1 0 Not A A 1 0 0 1

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 De Morgan de forma semejante a como se aplica en teora de conjuntos. El siguiente ejemplo muestra la aplicacin de esta propiedad: (ABCD) = A + B + C + D (A + B + C + D) = A B C D

5.4 Optimizacin de expresiones booleanas

Cuando se plantea un 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.

5.4.1 Simplificacin de expresiones booleanas mediante teoremas del lgebra de Boole

Los teoremas que se van a utilizar se derivan de los postulados del lgebra booleana, y permiten simplificar las expresiones lgicas o transformarlas 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. Tabla 5.1 Teoremas del lgebra de Boole Nmero 1a. 2a. 3a. 4a. 5a. 6a. 7a. 8a. 9a. 10a. 11a. 12a. 13a. 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+A'B=A+B CA+CA'B=CA+CB AB+A'C+BC=AB+A'C 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)'=A'B'...Z' (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)=8A+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 de un teorema se convierte cada 0 (cero) en 1 (uno) y cada 1 (uno) en 0 (cero), los signos ms (+) se convierten en parntesis, puntos o simplemente no se ponen, y los puntos en signos 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 conmutativa, asociativa y de De Morgan. 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.

Ejemplo 5.2. Para simplificar la expresin booleana F = AB + (ABC) + C(B + A) los teoremas de la tabla 5.1 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 5a. Por 8a. Por 1b Por 2a. Por 11a. Por 5a. Por 4b. Por 1b. Por 1b.

La expresin booleana en su forma ms simple es F = 1, y este resultado indica que si se sustituyen 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 es 1, en cambio lo que se espera es obtener una expresin ms simple conformada por menos variables. Ejemplo 5.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 + W) + XYZ F = ZX + ZW + XYZ F = X(ZY + Z) + ZW F = X(Z + Y) + ZW F = XZ + XY + ZW En los ejemplos anteriores se utiliz un teorema a la vez, y esto se hizo para que no haya confusin en la aplicacin de los mismos. Obviamente que cuando ya se tiene suficiente prctica, se pueden aplicar varios Por 8a Por 11a Por 8a, a la inversa Por 8a Por 11a Por 8a, a la inversa

teoremas a la vez. Tampoco es necesario indicar qu 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 del captulo con la funcin booleana F = ABCD + ABCD + ABCD + ABCD + ABCD Comnmente este tipo de expresiones booleanas 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 equivalentes 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.

5.5 Compuertas lgicas

Un bloque lgico es una representacin simblica grfica de una o ms variables de entrada a un operador lgico, para obtener una seal determinada o resultado. Los smbolos varan de acuerdo con la rama donde se utilizan, o bien del fabricante. Cada bloque lgico representa un dispositivo que permite manipular la seal segn el campo de accin: en mecnica se les llama vlvulas (paso del aire o aceite); en electricidad apagadores, contactos (paso de corriente elctrica); y en electrnica puertas o compuertas (paso de pulsos elctricos). En este libro slo se abordarn los smbolos usados en electrnica para la representacin de las compuertas, ya que son los que interesan al rea de la computacin, sin embargo el tratamiento terico por medio del lgebra booleana es vlido para todos ellos independientemente del rea.

Tabla 5.2 Compuertas bsicas

Las compuertas pueden recibir una o ms seales de entrada. En la tabla 5.2, A y B son seales que entran a la compuerta y pueden tener un valor de 1 o 0 dependiendo de si existe o no la seal, la cual procede de un sensor o bien de la salida de una compuerta anterior. Esos valores de entrada generan una sola salida, que a su vez tambin es 0 o 1 dependiendo de la compuerta de que se trate y de los valores de las seales de entrada. Para representar expresiones booleanas mediante compuertas lgicas es conveniente tener en cuenta las tablas de verdad de las compuertas bsicas (operadores lgicos) Or, And y Not vistas en el captulo de lgica matemtica.

Ejemplo 5.11. Representar las compuertas lgicas bsicas: a) F = AB + AC + B

siguientes

expresiones

booleanas usando

b) F = (A + B) + (B + C)A

La representacin de (a) es:

Ejemplo 5.11. Representar las compuertas lgicas bsicas: a) F = AB + AC + B

siguientes

expresiones

booleanas usando

b) F = (A + B) + (B + C)A

La representacin de (a) es:

7

La representacin de (b) es:

Tambin existen compuertas lgicas compuestas como Nand y Nor, que son una combinacin de los operadores Not y And para la primera y Not y Or para la segunda. En la tabla 5.3 se muestran los smbolos correspondientes. Tabla 5.3 Compuertas compuestas

Generalmente los circuitos digitales se construyen con compuertas Nand y Nor, ya que son ms fciles de encontrar en el mercado, son ms comunes desde el punto de vista del hardware y estn disponibles en la forma de circuitos integrados. Debido a la preferencia de uso de estas compuertas en el diseo de los circuitos, es importante reconocer la relacin que existe entre los circuitos construidos con compuertas And, Or y Not y su diagrama equivalente Nand o Nor. Cuando se simplifica una funcin el resultado se puede presentar en sumas de productos o en productos de sumas, y en forma natural la presentacin en suma de productos permite una implementacin usando compuertas Nand mientras que el producto de sumas se puede representar ms fcilmente con compuertas Nor, sin embargo es posible implementar cualquier expresin booleana slo con compuertas Nand o slo con compuertas Nor. Ejemplo 5.12. Cul es el circuito de la expresin booleana F = A(B + C) + AD hecho slo con compuertas Nand? Para obtener el circuito pedido es recomendable llevar la expresin dada a suma de productos: F = AB + AC + AD Por lo tanto, el circuito es el siguiente:

Hay que observar que al final se aplic la ley de De Morgan para quitar la complementacin del corchete y obtener el resultado. Tambin se debe destacar que cuando entran dos o ms seales a una compuerta Nand primero las multiplica y despus complementa dicha multiplicacin, pero cuando entra una seal slo la complementa. Por otro lado, si no se hubieran hecho las operaciones necesarias para quitar el parntesis y tener la expresin en sumas de productos, tambin se podra representar nicamente con compuertas Nand aunque esto algunas veces es un poco ms complicado: F = A(B + C) + AD

De la misma manera, el bloque lgico Nor facilita su uso cuando la expresin se encuentra dada en productos de sumas. Ejemplo 5.13. Representar la expresin booleana F = (A + B + C)(B + C + D)

10

usando slo compuertas Nor. En este caso se tiene el siguiente esquema

La misma expresin booleana representada con compuertas Nand quedara de la siguiente manera:

11

Ejemplo 5.14. Considrese el siguiente circuito:

a) Cul es la expresin booleana sin simplificar que representa dicho circuito? b) Simplificar la expresin booleana usando teoremas del lgebra booleana. La solucin de cada inciso es la siguiente: a) La expresin booleana es F = AC(C + D) + BC(A + B) b) Simplificando mediante teoremas resulta que F = ACC + ACD + ABC + BBC F = 0 + ACD + ABC + BC F = ACD + BC(A + 1) F = ACD + BC

5.6 Aplicaciones del lgebra booleana

El lgebra booleana es una extensin de la lgica matemtica, ya que utiliza los mismos principios y operadores lgicos (and, or, not, xor, nand, nor) as como los mismos valores, y gracias a esto John Von Neuman pudo crear la computadora de la primera generacin. Los dispositivos con los que se implementan las funciones booleanas se llaman compuertas, y al combinarse han permitido inicialmente la creacin del bulbo, posteriormente la del transistor y actualmente la del chip, elementos con los cuales se construye todo tipo de aparato electrnico digital. La electrnica digital es una parte de la electrnica que maneja informacin codificada en dos nicos estados: falso y verdadero, o ms comnmente 0 y 1. Electrnicamente se asigna a cada uno un voltaje o rango de voltaje determinado. Esta particularidad permite que, usando el lgebra booleana y con un sistema de numeracin binario, se puedan realizar complejas operaciones lgicas o aritmticas sobre seales de entrada. La electrnica digital ha alcanzado una gran importancia debido a que se utiliza en el

12

diseo de sistemas de automatizacin, robtica, etc., adems de que constituye la piedra angular de las computadoras. Las computadoras llevan a cabo su trabajo por medio de un microprocesador, el cual es un circuito de alta escala de integracin (LSI) compuesto por muchos circuitos simples como flip-flops, contadores, decodificadores, comparadores, etc., todos en una misma pastilla de silicio en donde se utilizan compuertas del lgebra booleana para llevar a cabo las operaciones lgicas. Las microoperaciones que lleva a cabo el microprocesador se realizan en lenguaje binario a nivel bit. Por ejemplo, si A = 110010, B = 011011 entonces el resultado de llevar a cabo las siguientes operaciones en donde intervienen los operadores lgicos (, , , ) es: A B = 110010 011011 = 010010 A B = 110010 011011 = 111011 A B = 110010 011011 = 101001 A = (110010) = 001101 Basada en el lgebra booleana, la unidad lgica aritmtica (ALU: Arithmetic Logic Unit) es la parte del microprocesador que realiza las operaciones aritmticas y lgicas en los datos. Se sabe que toda computadora est integrada por las memorias ROM (Read Only Memory: Memoria de slo lectura) y RAM (Random Access Memory: Memoria de acceso aleatorio). Cuando arranca una computadora, sta debe saber qu hacer, lo cual implica que pueda correr un pequeo programa que le indique lo que debe realizar, qu programas debe ejecutar y en qu lugar debe comenzar. Esta informacin se guarda en un pequeo programa de slo lectura que recibe el nombre de ROM, el cual est en lenguaje binario y utiliza operadores lgicos del lgebra booleana para la manipulacin de la informacin. La informacin en este caso se graba elctricamente y se borra tambin de la misma manera. Este tipo de memoria se llama Memoria ROM programable elctricamente (EEPROM). En las computadoras sta se encuentra en lo que se llama BIOS, la cual es una memoria donde se guarda informacin de la tarjeta madre de los conectores y dispositivos de la PC. La RAM puede borrarse y grabarse las veces que se desee, la desventaja es que la informacin grabada en ella slo se puede utilizar mientras se tenga energa, y se usa como almacenamiento temporal. Existen dos variantes para la memoria RAM: SRAM y DRAM. La SRAM es conocida como memoria esttica y en ella los valores binarios o informacin que se almacena utilizan compuertas del lgebra booleana, por lo que mientras se tenga energa la informacin en ella se mantendr intacta. La DRAM es conocida como memoria dinmica y est hecha con celdas que almacenan los datos como cargas en condensadores; la presencia o ausencia de carga en el condensador se interpreta como 1 o 0 binarios, manipulados mediante lgebra booleana. La DRAM es una memoria que requiere refrescarse peridicamente para mantener memorizados los datos, de ah el nombre de memoria dinmica. Como se puede ver, la computadora est integrada por elementos que utilizan el lgebra booleana para su desarrollo y funcionamiento. Sin embargo, no es para lo nico que se utiliza el lgebra booleana, ya que otra de sus aplicaciones que actualmente est teniendo mucho xito es la relacionada con la construccin de robots. Un robot est integrado por elementos mecnicos, elctricos y electrnicos, y el rea de conocimiento en este caso es la mecatrnica. El motor elctrico es un dispositivo que convierte la energa elctrica en energa mecnica rotacional, que se utiliza para darle movimiento a los medios de locomocin del robot como son ruedas, brazos y tenazas. El motor puede ser de corriente continua o motor de pasos. Los medios de locomocin permiten al robot desplazarse de un lugar a otro por medio de ruedas, barras u orugas. Algunos robots deben sostener o manejar objetos y para ello se utilizan tenazas. Algunas veces el

13

movimiento no se proporciona directamente a los medios de locomocin, sino que es necesaria una interfase de transmisin para aumentar la fuerza, reducir la intensidad de giro o cambiar la naturaleza del movimiento (de circular a lineal) por medio de pistones, engranes, levas o poleas. El funcionamiento de los distintos elementos del robot depende de la seal que se mande de los distintos sensores. Los sensores permiten al robot manejarse con cierta inteligencia al interactuar con el medio, ya que detectan situaciones en las cuales el robot debe llevar a cabo la actividad programada. Entre los diferentes sensores que se utilizan con frecuencia en robots estn los sensores pticos, magnticos, de ultrasonido, presin, temperatura, nivel e incluso cmaras de video. Para que el robot lleve a cabo todas las actividades, es necesario el circuito de control (cerebro del robot) que le permita decidir qu hacer cuando se presente una determinada situacin. Por ejemplo, qu debe hacer el robot si a su paso se interpone una barrera (girar 90 a la izquierda y avanzar, girar 180 y avanzar, detenerse, etc.). Qu hacer si detecta temperaturas altas (emitir un sonido, parar)? Qu hacer si encuentra un objeto de cierto color (tomarlo y transportarlo)? En fin, todas esas actividades que puede llevar a cabo el robot y para lo cual fue creado, deben estar programadas en el circuito de control y nuevamente el lgebra booleana es la base para el diseo de dicho circuito, el cual se representa inicialmente por medio de una expresin booleana que se simplifica por medio de teoremas del lgebra booleana o mapas de Karnaugh y se implementa usando las compuertas lgicas.

14