LGEBRA DE BOOLE Y FUNCIONES LGICAS 1.

Introduccin El lgebra de Boole es una parte de la matemtica, la lgica y la electrnica que estudia las variables, operaciones y expresiones lgicas. Debe su nombre a George Boole, matemtico britnico quien la defini a mediados del siglo XIX. A mediados del siglo XX el trabajo de Boole es tomado por Claude Shannon para la descripcin de circuitos elctricos, ms especficamente circuitos con rels. Esta lgebra trabaja con los dos valores provenientes de la lgica, verdadero y falso, estos son sustituidos usualmente por los smbolos existentes en un sistema binario, 1 y 0 respectivamente. 2. Proposicin Lgica Es una frase u oracin en la que se afirma o se niega algo, de modo que la idea que ella contiene ser VERDADERA o ser FALSA, no pudiendo ser de otra forma. Las frases a continuacin son ejemplos de proposiciones lgicas. Es ingeniero Es estudiante Est casado Tiene hijos

Para representar una proposicin lgica se utiliza usualmente una letra o un smbolo, as podemos denominar A al valor de la afirmacin Es ingeniero; B al valor de Es estudiante etc. 3. Funciones Booleanas bsicas Las funciones bsicas que relacionan los valores provenientes de las proposiciones lgicas son: y o y no, estas funciones son utilizadas como conectivos entre proposiciones lgicas. Si se toman las dos primeras proposiciones lgicas planteadas, A y B, se pueden crear nuevas proposiciones de una mayor complejidad. a. Funcin Y (AND): Es ingeniero y estudiante

En esta frase se utiliza el conectivo y, la misma slo ser verdadera, en el caso en que ambas proposiciones que la conforman sean verdaderas. La relacin entre las tres frases se escribe de la siguiente forma: F = A . B Donde F representa el valor de la afirmacin Es ingeniero y estudiante y la operacin existente entre las proposiciones A y B es . b. Funcin O (OR): Es ingeniero o estudiante

Esta afirmacin utiliza el conectivo o y ser verdadera si alguna (o ambas) proposiciones son verdaderas. La relacin entre las tres frases es la siguiente: G=A+B

Donde G representa el valor de la afirmacin Es ingeniero o estudiante, la operacin existente entre ambas proposiciones es +, la misma no debe confundirse con una suma aritmtica. c. Funcin NO (NOT): NO es estudiante

Esta frase ser verdadera si la oracin Es estudiante es falsa. Es decir, ambas siempre tendrn valores opuestos o complementarios. La representacin es la siguiente:

Donde H representa el valor de la afirmacin Es estudiante, el negar una afirmacin (aplicar la funcin no) es representado a travs de una lnea en la parte superior o por una comilla del lado derecho. d. Representacin Circuital Las funciones descritas anteriormente tienen equivalencia con el comportamiento de circuitos elctricos. A continuacin se muestra un breve esquema de las funciones lgicas y su equivalente circuital.

5. Algunas definiciones adicionales 1 a. Variable Lgica Diferentes smbolos que representan proposiciones lgicas dentro de una expresin booleana. b. Literales Cantidad de apariciones (u ocurrencias) de una variable lgica dentro de una expresin. Cantidad de veces que aparecen las variables lgicas. c. Expresiones equivalentes Dos expresiones son equivalentes si independientemente de los valores que tomen las variables lgicas sus resultados son iguales entre si. Es decir, ambas son cero (falsas) o ambas son uno verdaderas). d. Expresiones complementarias Dos expresiones son complementarias si independientemente de los valores que tomen las variables lgicas sus resultados son diferentes entre si. Es decir, si una vale 1 (es cierta) la otra valdr cero (verdadera), y viceversa. 1 Tomado del libro Introduccin a los Sistemas Digitales de Omar Valero. Una expresin complementaria se obtiene cambiando todos los ANDs por ORs, los ORs por ANDs, los ceros por unos, los unos por ceros y complementando cada uno de los literales. e. Expresiones duales Una expresin dual se obtiene cambiando todos los ANDs por ORs, los ORs por ANDs, los ceros por unos y los unos por ceros. f. Teoremas

Estos teoremas sirven para la simplificacin de funciones lgicas. g. Expresin Mnima Una expresin algebraica es mnima si contiene la menor cantidad de trminos posibles, y estos tienen la menor cantidad de literales posibles. 6. Otras funciones lgicas

Si bien podemos hablar de las funciones lgicas AND, OR y NOT como las bsicas del lgebra, a travs de compuertas lgicas se pueden desarrollar algunas otras funciones compuestas, a continuacin se las enumeran.

Si A y B son dos variables lgicas, el resultado de esta operacin ser verdadero si el valor de una de las dos variables es verdadero, ser falso si ninguna o ambas variables son verdaderas.

La salida de cada compuerta lgica ser el resultado de la operacin efectuada a su(s) entrada(s), el buffer es una compuerta que no realiza operacin lgica alguna y se limita a entregar a su salida el valor lgico existente a su entrada.

8. Representacin de una Funcin Lgica. Como ya se vio, las funciones bsicas del lgebra son el NOT (o negacin) el AND y el OR. As, cualquier expresin existente se puede manipular para ser representada como una serie de operaciones producto (AND) y suma (OR) de los literales de la expresin. De esta manera se pueden reescribir expresiones para que sean una operacin suma de trminos que a su vez son productos y viceversa. a. Suma de Productos Una expresin se puede manipular para llevarla a la forma de suma de productos aplicando reiteradamente la propiedad 16:

f. Producto Cannico o Expandido Es una expresin en forma productos de sumas en la que todos sus trminos son maxitrminos. Para manipular una expresin a fin de llevarla a la forma de producto expandido se utilizan las propiedades 5 y 10.

g. La Tabla de Verdad La tabla de la verdad es un arreglo en el que se plantean todas las combinaciones posibles de valores de los argumentos de una funcin booleana. La tabla se divide en dos partes: a la izquierda la informacin de las entradas (argumentos de las funciones) y, a la derecha, las salidas o valores de las funciones. La parte izquierda se divide a su vez en tantas columnas como variables tenga la funcin, en ellas se colocan todos los valores posibles de las variables utilizando como orden el Cdigo Binario Natural. Teniendo esta distribucin, cada una de las filas corresponde con una posible combinacin de valores de los argumentos de las funciones. Esto se relaciona directamente con los conceptos de minitrminos y maxitrminos, recordando que stos son trminos que incluyen todas las variables de una funcin; as un minitrmino (maxitrmino) slo ser 1 (0) en un nico caso. Conociendo esto, podemos relacionar cada fila de la Tabla de Verdad con un minitrmino o maxitrmino e identificar los mismos con el nmero de fila que ocupan, desde el 0 hasta 2N-1. h. Representaciones Abreviadas Una de las posibles formas de representacin es la propuesta por Quine McCluskey, en ella, slo se indican los minitrminos o maxitrminos que tenga una expresin, haciendo uso de la representacin como suma de productos o producto de sumas, respectivamente. Si se desea representar los minitrminos existentes en una suma de productos expandida, basta con utilizar el smbolo de sumatoria e indicar los nmeros de los minitrminos de la expresin, siempre indicando el orden que se estableci para las variables lgicas de la misma. En el caso de un producto de sumas se opera de forma similar, slo que el smbolo a utilizar corresponde al de productoria.