Algebra booleana

La lgica Booleana es el formalismo matemtico por medio del cual se llevan al cabo las operaciones que procesa la computadora a travs del manejo y control de informacin elctrica, por medio de sus transistores. De esta manera puedo decirle que dentro de la enseanza de la licenciatura en matemticas, la ms longeva de la Facultad, puesto que se imparte desde hace 42 aos, al igual que la licenciatura de la enseanza de las matemticas, se destaca el papel de este personaje. Su lgebra consiste en un mtodo para resolver problemas de lgica que recurre solamente a los valores binarios 1 y 0 y a tres operadores fundamentales: AND (y), OR (o) y NOT (no). De esta forma se finca la lgica algebraica Booleana la cual ahora encuentra aplicacin en la construccin de computadores, circuitos elctricos, etc. Para explicar And, podemos hablar del valor del cero, dar evidentemente cero, para lo cual grficamente se muestran dos compuertas, donde la informacin fluir siempre y cuando en ambas haya informacin, de no ser as la respuesta es no hay informacin: A and B = C 0 + 0 = 0 0 + 1 = 0 1 + 0 = 0 1 + 1 = 1 Por su parte para el valor de OR, seala que s en alguna de las entradas hay informacin pues se determina que s existe en alguna de las dos compuertas el flujo de datos: A or B = C 0 + 0 = 0 0 + 1 = 1 1 + 0 = 1 1 + 1 = 1 En cambio para las compuertas del NOT, observamos lo siguiente: se cuenta con una sola entrada de compuerta, la cual niega la entrada de uno. S en A hay un cero, lo niega, y al negar al cero, el valor es 1. not A = B 0 1 1 0 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. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario es conmutativo si A B = B A para todos los posibles valores de A y B. Asociativo. Se dice qu un operador binario es asociativo si (A B) C = A (B C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios y % son distributivos si A (B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C. Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario si A I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores y valores: - Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a stos valores respectivamente como falso y verdadero. - El smbolo representa la operacin lgica AND. Cuando se utilizen nombres de variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la operacin lgica AND entre las variables A y B, a sto tambin le llamamos el producto entre A y B. - El smbolo + representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre A y B, tambin llamada la suma de A y B. - El complemento lgico, negacin NOT es un operador unitario, en ste texto utilizaremos el smbolo para denotar la negacin lgica, por ejemplo, A denota la operacin lgica NOT de A. - Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la expresin depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan de

izquierda a derecha. El operador lgico NOT es asociativo por la derecha. Utilizaremos adems los siguientes postulados: P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3 Los operadores y + son conmutativos. P4 y + son distributivos uno con respecto al otro, esto es, A(B+C) = (AB)+(AC) y A+(BC) = (A+B)(A+C). P5 Para cada valor A existe un valor A tal que AA = 0 y A+A = 1. ste valor es el complemento lgico de A. P6 y + son ambos asociativos, sto es, (AB)C = A(BC) y (A+B)+C = A+(B+C). Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados, adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los cuales podemos mencionar los siguientes: Teorema 1: A + A = A Teorema 2: A A = A Teorema 3: A + 0 = A Teorema 4: A 1 = A Teorema 5: A 0 = 0 Teorema 6: A + 1 = 1 Teorema 7: (A + B) = A B Teorema 8: (A B) = A + B Teorema 9: A + A B = A

Teorema 10: A (A + B) = A Teorema 11: A + AB = A + B Teorema 12: A (A + B) = AB Teorema 13: AB + AB = A Teorema 14: (A + B) (A + B) = A Teorema 15: A + A = 1 Teorema 16: A A = 0 Los teoremas siete y ocho son conocidos como Teoremas de Morgan en honor al matemtico que los descubri lgebra 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, el lgebra booleana a menudo emplea los siguientes postulados: Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario es conmutativo si A B = B A para todos los posibles valores de A y B. Asociativo. Se dice que un operador binario es asociativo si (A B) C = A (B C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios y % son distributivos si A (B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C.

Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario si A I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A. Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores y valores: - Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a stos valores respectivamente como falso y verdadero. - El smbolo representa la operacin lgica AND. Cuando se utilizen nombres de variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la operacin lgica AND entre las variables A y B, a sto tambin le llamamos el producto entre A y B. - El smbolo + representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre A y B, tambin llamada la suma de A y B. - El complemento lgico, negacin NOT es un operador unitario, en ste texto utilizaremos el smbolo para denotar la negacin lgica, por ejemplo, A denota la operacin lgica NOT de A. - Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la expresin depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por la izquierda. Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan de izquierda a derecha. El operador lgico NOT es asociativo por la derecha. Utilizaremos adems los siguientes postulados: P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe elemento de identidad para el operador NOT P3 Los operadores y + son conmutativos. P4 y + son distributivos uno con respecto al otro, esto es, A(B+C) = (AB)+(AC) y A+(BC) = (A+B)(A+C). P5 Para cada valor A existe un valor A tal que AA = 0 y A+A = 1. ste valor es el complemento lgico de A.

P6 y + son ambos asociativos, sto es, (AB)C = A(BC) y (A+B)+C = A+(B+C). Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados, adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los cuales podemos mencionar los siguientes: Teorema 1: A + A = A Teorema 2: A A = A Teorema 3: A + 0 = A Teorema 4: A 1 = A Teorema 5: A 0 = 0 Teorema 6: A + 1 = 1 Teorema 7: (A + B) = A B Teorema 8: (A B) = A + B Teorema 9: A + A B = A Teorema 10: A (A + B) = A Teorema 11: A + AB = A + B Teorema 12: A (A + B) = AB Teorema 13: AB + AB = A Teorema 14: (A + B) (A + B) = A Teorema 15: A + A = 1 Teorema 16: A A = 0

Optimizacin de Expresiones
Las expresiones booleanas se usan para determinar si un conjunto de una o ms condiciones es verdadero o falso, y el resultado de su evaluacin es un valor de verdad. Los operandos de una expresin booleana pueden ser cualquiera de los siguientes:

Expresiones relacionales: que comparan dos valores y determinan si existe o no una cierta relacin entre ellos (ver ms adelante), tal como mfn<10; Funciones booleanas: tal como p(v24), que regresa un valor de verdad (estos se explican bajo "Funciones booleanas").

Las expresiones relacionales permiten determinar si una relacin dada se verifica entre dos valores. La forma general de una expresin relacional es: Expresin-1 operador-de-relacin expresin-2 Dnde:

expresin-1 es una expresin numrica o de cadena operador-de-relacin es uno de los siguientes: o = Igual o <> No igual (diferente de) o < Menor que o <= Menor o igual que o > Mayor que o >= Mayor o igual que o : Contiene (puede ser usado slo en expresiones de cadena) expresin-2 es una expresin del mismo tipo que expresin-1, o sea, expresin-1 y expresin-2 deben ser ambas expresiones numricas o ambas expresiones de cadena.

Los operadores de relacin = <> < <= > >= tienen su significado convencional cuando se aplican a expresiones numricas (dentro de los lmites de precisin de los valores numricos definidos bajo "Expresiones numricas"). Cuando se comparan expresiones de cadena, se aplican las siguientes reglas:

Excepto por el operador ":" (contiene), las cadenas se comparan exactamente en la forma en que ocurren, o sea, las letras maysculas y minsculas se comparan de acuerdo con el cdigo ASCII que les corresponde (p.ej. A ser considerada menor que a); Dos expresiones de cadena no son consideradas iguales, a menos que tengan la misma longitud. Si dos expresiones generan cadenas de diferente longitud que son idnticas, carcter por carcter, hasta el total de la longitud

de la ms corta, entonces, la ms corta ser considerada menor que la ms larga. El operador: (contiene), busca una cadena de caracteres (definida por expresin2) en otra cadena (definida por expresin-1). Si el segundo operando existe en cualquier parte del segundo operando, el resultado es Verdadero (TRUE). Este operador es insensible al hecho de que los caracteres se hallen en maysculas o minsculas: por lo que las letras minsculas se consideran iguales a su letra mayscula correspondiente. Por ejemplo, el resultado de: v10: 'qumica' ser Verdadero (True) si, y slo si, el campo 10 contiene la cadena qumica. en caso contrario, el resultado ser Falso (False). Ntese que el segundo operando puede ser cualquier cadena o carcter, y no necesita ser una palabra como tal. Por lo tanto, en este ejemplo, el resultado ser Verdadero no slo si el campo 10 contiene la palabra qumica, sino tambin si contuviera bioqumica, fotoqumicas, qumicamente, etc. Los operandos de una expresin booleana pueden combinarse con los operadores siguientes:

NOT (NO) Este operador produce el valor Verdadero, si su operando es Falso; y el valor Falso, si su operando es Verdadero. El operador NOT slo puede usarse como operador signo +, o sea, siempre se aplica a la expresin booleana que le sigue; AND (Y) Este operador produce el valor Verdadero si ambos operandos son Verdadero. Si cualquiera de los dos operandos es Falso, entonces el resultado ser Falso; OR (O) Este operador realiza una operacin O-inclusivo. El resultado es Verdadero si cualquiera de los dos operandos, o ambos son Verdadero. En caso contrario, es Falso.

Al evaluar expresiones booleanas, y en ausencia de parntesis, CDS/ISIS ejecutar las operaciones NOT en primer lugar, despus las operaciones AND, y finalmente las OR. Las series de dos o ms operadores del mismo nivel, se ejecutan de izquierda a derecha. Se pueden usar parntesis para alterar el orden de evaluacin: las expresiones dentro de parntesis se evalan antes, y las expresiones entre parntesis internos a otros, son evaluadas antes que las expresiones externas a los parntesis.

Aplicacin del Algebra Booleana

Se dice que una variable tiene valor booleano cuando, en general, la variable contiene un 0 lgico o un 1 lgico. Esto, en la mayora de los lenguajes de programacin, se traduce en false (falso) o true (verdadero), respectivamente. Una variable puede no ser de tipo booleano, y guardar valores que, en principio, no son booleanos; ya que, globalmente, los compiladores trabajan con esos otros valores, numricos normalmente aunque tambin algunos permiten cambios desde, incluso, caracteres, finalizando en valor booleano. [editar] El 0 lgico

El valor booleano de negacin suele ser representado como false, aunque tambin permite y equivale al valor natural, entero y decimal (exacto) 0, as como la cadena "false", e incluso la cadena "0". [editar] El 1 lgico

En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado normalmente como true, ya que, por definicin, el valor 1 se tiene cuando no es 0. Cualquier nmero distinto de cero se comporta como un 1 lgico, y lo mismo sucede con casi cualquier cadena (menos la "false", en caso de ser sta la correspondiente al 0 lgico).

Jerarqua de los operadores

Al evaluar una expresin booleana, deben realizarse las operaciones de acuerdo con su nivel jerrquico, realizando primero la de mayor jerarqua. Si existen parntesis, deben resolverse primero los ms internos y trabajar hacia fuera. En ausencia de parntesis, la jerarqua de las operaciones es, de mayor a menor, la siguiente:

1.- Operacin NOT 2.- Operacin AND 3.- Operacin OR

Si se tienen varias operaciones con la misma jerarqua, stas pueden ser evaluadas de derecha a izquierda o de izquierda a derecha, el resultado ser el mismo Como ejemplo, considrese la evaluacin de las siguientes expresiones booleanas para A=1, B=0 y C=0.

Expresin:

(Sustitucin de valores) (Evaluacin de los NOT) (Evaluacin de los AND)

(Evaluacin de los OR)

Circuitos combinacionales
Su definicin es un conjunto de puerta conectadas entre si, cuya salida depende solo de la entrada en ese momento. La entrada viene seguida casi inmediatamente por la aparicin de la salida. Por norma bsica, se establece que un circuito combinacionales, tiene n entradas binarias y m salidas binarias. Se definen tres formas: 1) Tabla de verdad: para cada 2^n combinaciones que se pueden realizar de las n entradas, se establece un valor para cada una de las m de salida. 2) Smbolo grfico, explica la forma en la que se organizan las interconexiones de las puertas del circuito. 3) Ecuaciones booleanas: cada seal se expresa en forma booleana de las seales de entrada. Para poder realizar una simplificacin de estas expresiones, recurrimos a: 1) Simplificacin algebraica, supone la reduccin de la expresin booleana en otra con menos elementos. 2) Mapas de Karnaugh, la funcin principal es simplificar mediante una funcin booleana, de cuatro a seis variables. Se estructura en un conjunto de 2^n cuadriculas.