UNIDAD 4

LGEBRA BOOLEANA La herramienta fundamental para el anlisis y diseo de circuitos digitales es el lgebra Booleana. Esta lgebra es un conjunto de reglas matemticas (similares en algunos aspectos al lgebra convencional), pero que tienen la virtud de corresponder al comportamiento de circuitos basados en dispositivos de conmutacin (interruptores, relevadores, transistores, etc). En este captulo se presentan los postulados que definen el lgebra booleana, se presentan en forma de teoremas los resultados ms importantes, se presentan tambin los tres ejemplos clsicos de lgebras boolenas (lgica proposicional, lgebra de conjuntos, lgebra de switches) y herramientas bsicas como Tablas de verdad y diagramas de Venn Esta lgebra es un conjunto de reglas matemticas (similares en algunos aspectos al lgebra convencional), pero que tienen la virtud de corresponder al comportamiento de circuitos basados en dispositivos de conmutacin (interruptores, relevadores, transistores, etc). En este captulo se presentan los postulados que definen el lgebra booleana, se presentan en forma de teoremas los resultados ms importantes, se presentan tambin los tres ejemplos clsicos de lgebras boolenas (lgica proposicional, lgebra de conjuntos, lgebra de switches) y herramientas bsicas como tablas de verdad y diagramas de Venn..
POSTULADOS DEL LGEBRA BOOLEANA

El lgebra de Boole, fue presentada originalmente por el ingls George Boole, en el ao de 1854 en su artculo "An Investigation of the Laws of Thoght ... ", sin embargo, las primeras aplicaciones a circuitos de conmutacin fueron desarrolladas por Claude Shannon en su tesis doctoral "Anlisis simblico de los circuitos de conmutacin y rel hasta 1938. A continuacin se presentan los postulados fundamentales del lgebra de Boole

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 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 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

Miniterminos
Para una funcin booleana de n variables {x_1,x_n}, 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, abc y abc son ejemplos de minterminos para una funcin booleana con las tres variables a, b y c.

En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el mismo orden), un ndice basado en el valor binario del minterm. Un trmino negado, como a es considerado como el nmero binario 0 y el trmino no negado a es considerado como un 1. Por ejemplo, se asociara el nmero 6 con a b c , y nombraramos la expresin con el nombre m_6 . Entonces m_0 de tres variables es a b c y m_7 debera ser a b c al ser 111_{(2} . Se puede observar que cada minterm solo devuelve verdadero, (1), con una sola entrada de las posibles. Por ejemplo, el minitrmino 5, a b c es verdadero solo cuado a y c son ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1. Maxiterminos: Un maxitrmino es una expresin lgica de n variables que consiste nicamente en la disyuncin lgica y el operador complemento o negacin. Los maxterms sn una expresin dual de los minitrminos. En vez de usar operaciones AND utilizamos operaciones OR y procedemos de forma similar. Por ejemplo, los siguientes trminos cannicos son maxitrminos:

Representacin de expresiones booleanas con circuitos lgicos

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)