3.

3.1.

lgebra de Boole
Introduccin

Algunas veces el reconocimiento a la obra de un autor no llega hasta despus de su muerte. Todos conocemos el caso del pintor impresionista Van Gogh, que en vida slo vendi un dibujo y un cuadro y, unos aos despus de su muerte, recibe el reconocimiento merecido encontrndose algunos de sus cuadros entre los ms caros del mundo. As ocurre tambin con George Boole (1815-1864) que poco se pudo imaginar el impacto que tendra su trabajo en el mundo tecnolgico un siglo despus. Aunque tuvo trabajos matemticos en varios campos, hoy es recordado por un trabajo en el cual intentaba formalizar las leyes del pensamiento mediante un sistema aritmtico-lgico. Para ello desarroll un lgebra que hoy conocemos como lgebra de Boole. Ese trabajo, plasmado en el libro titulado Investigation of the Laws of Thought, pas un siglo sin demasiada aplicacin prctica hasta que en 1938 Claude Shannon demuestra que las operaciones bsicas del lgebra booleana pueden ser representadas mediante circuitos elctricos y que la combinacin de varios de estos circuitos podra representar operaciones lgicas complejas. Hoy en da el lgebra de Boole resulta imprescindible en muchas aplicaciones prcticas, especialmente en la informtica y en la electrnica. Desde un moderno ordenador personal hasta un simple cruce de semforos, un moderno autmata programable o un automatismo elctrico basan su funcionamiento en dicho lgebra.

3.2.

Operaciones del lgebra de Boole

Un lgebra de Boole es un sistema matemtico deductivo centrado en los valores bien diferenciados que se suelen asignar a los nmeros 0 y 1 de un cdigo binario. Dichos elementos estn relacionados mediante dos operaciones binarias denominadas suma lgica (+) y producto lgico () Estas dos operaciones no tienen nada que ver con las operaciones suma y producto que todos conocemos No debemos confundirlas! 3.2.1. Operacin suma (+)

Esta operacin se dene mediante la siguiente tabla: a 0 0 1 1 b 0 1 0 1 a+b 0 1 1 1

Las tres primeras operaciones son similares a la suma aritmtica con la que estamos acostumbrados a trabajar. Sin embargo la expresin 1 + 1 = 1 nos resulta extraa. Hemos de recordar que no estamos realizando la suma aritmtica, sino una suma lgica que representamos mediante el mismo signo (+).

lgebra de Boole

Electrnica

La siguiente gura, en la que vemos dos contactos en paralelo, representa la suma lgica mediante un esquema de contactos.
a b

3.2.2.

Operacin Producto ()

Esta operacin se dene mediante la siguiente tabla: a 0 0 1 1 b 0 1 0 1 a b 0 0 0 1

En este caso, la operacin es ms intuitiva, puesto que es igual al producto de nmeros reales. El resultado es 1 slo cuando las dos variables son 1. La representacin del producto lgico mediante esquema de contactos se corresponde con una asociacin serie:
a b

3.2.3.

Operacin Negacin

La operacin negacin nos permite obtener el estado complementario de una variable booleana. Se dene de la siguiente manera: a 0 1 a 1 0

La variable a se encuentra siempre en un estado binario opuesto al de a. En esquema de contactos se representa por un contacto normalmente cerrado:
a

3.3.

Propiedades Del lgebra De Boole

Conmutativa. Se dice que un operador binario es conmutativo si, para todos los posibles valores de a y b, verica: a+b=b+a ab=ba

Las principales propiedades del lgebra de Boole son:

Electrnica

lgebra de Boole

En esquema de contactos:
a b a b b b a a

Distributiva. Dos operadores binarios (+) y () son distributivos si para todos los valores posibles de a, b, y c verica: a ( b + c ) = ( a b) + ( a c ) a + b c = (a + b) (a + c) En esquema de contactos:
b a c a b c a b a c a c a b

Identidad. Posee dos elementos neutros, el 0 y el 1, que cumplen la propiedad identidad con respecto a la suma y producto lgico: 0+a=a 1a=a En esquema de contactos:
0 a a 1 a a

Inversa. Un valor booleano a es un elemento inverso con respecto a un operador booleano si cumple: a+a=1 aa=0 En esquema de contactos:
a 1 a a a 0

lgebra de Boole

Electrnica

3.4.

Teoremas Del lgebra De Boole

Teorema 1 Cada identidad deducida de los anteriores postulados del lgebra de Boole permanece vlida si la operacin (+) y () y los elementos cero y uno se intercambian entre s. Este principio, llamado de dualidad, se deduce inmediatamente de la simetra de los cuatro postulados con respecto a ambas operaciones y ambos elementos neutros. Teorema 2 Para cada elemento a del lgebra de Boole se verica: a+1=1 a0=0 Teorema 3 Para cada elemento del lgebra de Boole se verica: a+a=a aa=a Teorema 4 Para cada par de elementos del lgebra de Boole a y b se verica: a + ab = a a (a + b) = a Teorema 5 En un lgebra de Boole las operaciones suma y producto son asociativas: a + (b + c) = (a + b) + c = a + b + c a (b c) = (a b) c = a b c Teorema 6 En todo lgebra de Boole se verica: a + b + c + d + ... = a b c d ... a b c d ... = a + b + c + d + ... Estas igualdades son llamadas Leyes de De Morgan. Teorema 7 En todo lgebra de Boole se verica: F (a, b, c, d . . . , +, ) = F (a, b, c, d . . . , , +) Este teorema, llamado teorema de Shannon, es una generalizacin de las leyes de De Morgan. Nos dice que cualquier expresin booleana negada es equivalente a la misma expresin en la que todas las variables son negadas y se sustituyen las operaciones (+) por () y viceversa. 4

Electrnica

lgebra de Boole

EJEMPLO Aplicar el teorema de Shannon a las siguientes expresiones: f1 = (a + b) c f2 = a b + c f3 = a b c Operando las expresiones: f1 = (a + b) c = (a b) + c f2 = a b + c = (a + b) c f3 = a b c = a + b + c

3.5.

Funciones Booleanas

Todos recordamos cuando, estudiando fsica, utilizbamos ecuaciones y modelos matemticos que describan lo que estbamos analizando. As por ejemplo, la ecuacin: 1 s = v0 t + at2 2 nos indica el espacio recorrido por un mvil que se desplaza con un movimiento rectilneo uniformemente acelerado en cualquier instante t. EJEMPLO Un frmula 1 parte del reposo con una aceleracin 28 m/s2 . Qu distancia recorrer en 1, 1,5, 2 y 2,5 segundos? Sustituyendo valores en la ecuacin: s=0t+ 1 28 t2 = 14 t2 2

Sustituyendo el tiempo en la ecuacin: t 1 1,5 2 2,5 14 t2 14 52 14 102 14 302 14 602 s 14 31,5 56 87,5

En esta ecuacin hemos utilizado nmeros y variables Reales. El conjunto de los Nmeros Reales lo conocemos muy bien porque estamos acostumbrados a trabajar con l (matemticas, fsica, qumica...). Este tipo de ecuaciones nos parecen sencillas e intuitivas aunque no comprendamos lo que signican las variables en ellas utilizadas. 5

lgebra de Boole

Electrnica

Como es una funcin real obtenemos como valores de la funcin nmeros reales (R). Tambin se pueden denir funciones reales de dos o ms variables, como por ejemplo: f (x, y ) = x y 10 f (x, y, z ) = (x + y ) z Una funcin de un lgebra de Boole o funcin lgica es una variable binaria cuyo valor es el de una funcin algebraica en la que se relacionan entre s una o ms variables binarias por medio de las operaciones bsicas suma lgica, producto lgico e inversin. Se representa mediante la expresin: f = f (a, b, c, ...) que indica que el valor lgico de la funcin f depende de las variables binarias a, b, c, ... EJEMPLO Obtn todos los posibles valores de la funcin booleana: f ( a) = a

El valor devuelto por la funcin es el negado: a 0 1 EJEMPLO Obtn todos los posibles valores de la funcin booleana: f (a, b) = (a + b) b a 1 0 f 1 0

Las dos variables slo pueden tomar dos valores posibles, el 0 y el 1. El nmero de combinaciones que se pueden dar con n variables es 2n , es decir, 22 = 4. Todas las posibilidades se recogen en el siguiente cuadro: a 0 0 1 1 b 0 1 0 1 f (a, b) (0 + 0) 1 (0 + 1) 0 (1 + 0) 1 (1 + 1) 0 f 0 0 1 0

Se llama trmino cannico de una funcin lgica a todo producto o suma en la que estn presentes todas las variables en su forma directa o inversa. Al producto se le llama producto cannico o minitrminos y a la suma suma cannica o maxitrminos . As para una funcin de tres variables f (a, b, c) el trmino abc es un 6

Electrnica

lgebra de Boole

producto cannico o minitrmino y el trmino (a + b + c) es una suma cannica o maxitrmino. Para facilitar la representacin de las funciones, cada trmino cannico se expresa segn un nmero decimal equivalente al binario obtenido de sustituir las variables por un uno o por un cero segn aparezcan en su forma directa (a) o negada (a). El bit ms signicativo se corresponde con la variable a. EJEMPLO Obtn el equivalente decimal de los siguientes trminos cannicos: f1 = abcd f2 = a + b + c + d

La equivalencia ser: f1 = abcd = (0101)2 = 510 f2 = a + b + c + d = (1010)2 = 1010

Por lo tanto la funcin lgica f (a, b, c) = abc + abc + abc se puede expresar como: f (a, b, c) =
3

(0, 2, 3)

De igual forma la funcin lgica f (a, b, c) = (a + b + c)(a + b + c)(a + b + c)(a + b + c) se puede expresar como: f (a, b, c) =
3

(1, 3, 4, 7)

3.6.

Tablas De Verdad

Ya hemos visto la representacin de funciones booleanas utilizando expresiones algebraicas y trminos cannicos. Vamos a ver ahora como se representan utilizando las tablas de verdad, tablas en las que se representan todos los valores posibles que pueden tomar las variables, indicando el valor 0 o 1 que puede tomar la funcin en cada uno de los casos. 0 1 2 3 4 5 6 7 a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 7 c 0 1 0 1 0 1 0 1 f 0 1 0 0 0 1 1 1

lgebra de Boole

Electrnica

La obtencin de la suma de productos cannicos a partir de la tabla de verdad es inmediata. Se toman en la tabla todas las las que toman valor 1 y tendremos un sumando constituido por todos los productos cannicos empleando la siguiente regla: si una variable toma valor 0 en la la escogemos la variable negada y, si est a 1, usaremos la variable directa. La forma algebraica de la expresin cannica de producto de sumas cannicas se puede obtener directamente de la tabla de verdad observando las combinaciones para las que la funcin toma valor 0 y sustituyendo para cada uno de ellas la variable directa si toma el valor 0 o la variable negada si toma valor 1. EJEMPLO En la tabla de verdad anterior obtn las dos expresiones cannicas de la funcin representada.

Como suma de productos cannicos: f (a, b, c) = abc + abc + abc + abc =

3

(1, 5, 6, 7)

Como producto de sumas cannicas: f (a, b, c) = (a + b + c)(a + b + c)(a + b + c)(a + b + c) =

3

(3, 4, 5, 7)

3.7.
3.7.1.

Funciones Importantes De Un lgebra De Boole

Funcin O-exclusiva

La funcin o-exclusiva de dos variables a y b es aquella que toma valor uno cuando una de las variables toma el valor uno y la otra el valor cero. La funcin O-exclusiva se representa por el smbolo En la tabla se representa la funcin para dos variables: f (a, b) = a b a 0 0 1 1 Cuyas expresiones cannicas son: f (a, b) = ab + ab = (a + b)(a + b) 8 b 0 1 0 1 f 0 1 1 0

Electrnica

lgebra de Boole

3.7.2.

Funcin equivalencia o funcin no-exclusiva

La funcin equivalencia de dos o ms variables es aquella que toma valor uno cuando todas las variables de entrada se encuentran en el mismo estado lgico y el valor cero en caso contrario. En la tabla de verdad de la funcin equivalencia de dos variables se observa que es la funcin inversa a la O-exclusiva de dos variables: f (a, b) = a b a b 0 0 0 1 1 0 1 1 Cuyas expresiones cannicas son: f (a, b) = ab + ab = (a + b)(a + b) = a b = a b f 1 0 0 1

3.8.
3.8.1.

Simplificacin De Funciones Booleanas

Mtodo Algebraico

Se basa en la aplicacin de las propiedades y teoremas del lgebra de Boole. No es sistemtica y depende de la habilidad de la persona, adems el proceso se diculta enormemente para funciones de ms de tres variables, no pudiendo asegurar que la funcin obtenida sea irreducible. 3.8.2. Mtodo De Karnaugh

La simplicacin de funciones de dos, tres y cuatro variables es posible de una forma sencilla gracias al empleo de un mtodo de simplicacin grco muy extendido denominado mtodo de Karnaugh en honor al ingeniero de telecomunicaciones Maurice Karnaugh que ide este mtodo en 1953. Nosotros estudiaremos este mtodo para tres y cuatro variables.
cd ab bc a 0
0 1 3 2

00 00
0

01
1

11
3

10
2

00

01

11

10

01
4 5 7 6

1
4 5 7 6

11
12 13 15 14

10
8 9 11 10

Como se puede ver en las tablas anteriores, tablas de Karnaugh de tres y cuatro variables, en la esquina superior izquierda de cada tabla se colocan las variables de entrada, de manera que puedan aparecer todas las combinaciones de la tabla de verdad. 9

lgebra de Boole

Electrnica

Es muy importante la colocacin de las combinaciones, para que entre una la y la siguiente o entre una columna y la siguiente slo cambie el valor de una variable, por eso se utiliza el cdigo Gray (00, 01, 11, 10). Llamamos trminos adyacentes a aquellos que varan en una nica variable. Por ejemplo, son trminos adyacentes abc y abc, pues dieren nicamente en la variable c. La simplicacin mediante el mtodo tabular de Karnaugh se basa en la propiedad que tienen los trminos adyacentes por la que se pueden simplicar eliminando la variable que diere en los dos trminos, tal y como se ve en los ejemplos. EJEMPLO Simplica la siguiente suma de productos o minitrminos: f = abc + abc

f = abc + abc = ab(c + c) = ab

EJEMPLO Simplica el siguiente producto de sumas o maxitrminos: f = (a + b + c)(a + b + c) =

f = (a + b + c)(a + b + c) = = aa + ab + ac + ba + bb + bc + ca + cb + cc = = a + ab + ac + b + bc + ac + bc = = a + ab + b + a(c + c) + b(c + c) = = a + ab + b + a + b = a + b + ab = = a + ab + b = a(b + 1) + b = =a+b

El mtodo de Karnaugh pone de maniesto la relacin entre la adyacencia grca y la adyacencia algebraica. Dos casillas son adyacentes grcamente si estn una junto a otra en el mapa de Karnaugh, teniendo en cuenta que nunca deben considerarse las diagonales. Por otro lado, dos casillas de un mapa de Karnaugh son adyacentes algebraicamente si en el conjunto formado por las variables slo hay una diferente, no importando la posicin en la que se encuentre dicha variable. Pues bien, siempre se verica que dos casillas son adyacentes grcamente tambin lo son algebraicamente. El recproco no es siempre cierto, pues hay casillas que son adyacentes algebraicamente y no grcamente. La adyacencia algebraica es la que realmente hay que tener en cuenta en el proceso de 10

Electrnica

lgebra de Boole

simplicacin grca. As podemos considerar adyacentes algebraicamente la primera y la ltima columna y la primera y la ltima la de cada tabla de Karnaugh. Para obtener la expresin algebraica ms sencilla de la funcin es necesario realizar el mnimo nmero de agrupaciones de trminos, de modo que el conjunto cubra todos los unos de la tabla. El procedimiento sistemtico de obtencin de la expresin ms simple es el siguiente: 1. Se toman todos los unos que no se pueden combinar con ningn otro. 2. Se toman los grupos de dos unos que no pueden formar grupos de cuatro. 3. Se toman los grupos de cuatro unos que no pueden formar grupos de ocho. 4. Cuando se han tomado todos los unos se detiene el proceso. Aclararemos lo expuesto mediante varios ejemplos. EJEMPLO Sea la funcin: f (a, b, c) =
4

(2, 3, 5, 7, 10, 11, 15)

Obtn las expresin mnima como suma de productos.

La tabla de Karnaugh para esta funcin:

cd ab 00
0 1

00

01

11 1
3

10 1
2

01
4

1
5

1
7 6

11
12 13

1
15 14

10
8 9

1
11

1
10

La expresin mnima est compuesta por dos agrupaciones de cuatro trminos y una de dos trminos. El producto lgico que corresponde a cada grupo se obtiene eliminando la variable que toma distinto nivel en el grupo y asignando la forma directa a la variable que toma valor lgico uno y la forma inversa a la que toma valor lgico cero. Por ejemplo, el grupo formado por las celdas 2, 3, 10 y 11 le corresponde el producto bc. La expresin algebraica resultante es: f (a, b, c, d) = cd + bc + abd

11

lgebra de Boole

Electrnica

EJEMPLO Sea la funcin: f (a, b, c) =

4

(1, 2, 3, 6, 7, 9, 11, 14, 15)

Obtn las expresin mnima como producto de sumas.

La tabla de Karnaugh para esta funcin:

cd ab 00
0

00

01 1
1

11 1
3

10 1
2

01
4 5

1
7

1
6

11
12 13

1
15

1
14

10
8

1
9

1
11 10

La expresin mnima est compuesta por tres agrupaciones de cuatro trminos. La expresin algebraica resultante es: f (a, b, c, d) = (b + d)(a + c)(b + c)

3.9.

Ejercicios

1. Aplica las propiedades y teoremas adecuados del lgebra de Boole para simplicar las expresiones: a ) f = (a 0)(b + b) + (b + b) + (a a) + (b + 1) (c c) b ) f = (b + 1) a a + a + c c + b 0 + c c ) f = a b c + b c (c + 1) + a b c (a + a) d) f = a b + a b c + a b c + a b e) f = a b c + a b c d + a b f ) f = (a c + c) (a + c) (b c + a + a) 2. Obtn la tabla de verdad correspondiente a la funcin f = bc + ab + acd.

12

Electrnica

lgebra de Boole

3. Extrae la funcin f correspondiente a la siguiente tabla de verdad, expresando sus formas cannicas de minitrminos y maxitrminos. a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 f 0 0 0 1 0 1 0 1

4. Extrae la funcin f correspondiente a la siguiente tabla de verdad, expresando sus formas cannicas de minitrminos y maxitrminos. a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 f 1 1 1 0 1 0 1 0

5. Se desea controlar el funcionamiento de un motor por medio de tres interruptores a, b y c, de manera que el motor funcione cuando se activen dos pulsadores a la vez, sean los que sean, y tambin cuando se activen los tres a la vez. Realiza la tabla de verdad de las funcin y extrae la funcin relativa al motor. 6. Se desea controlar un motor M y una lmpara L por medio de los contactos de tres interruptores a, b y c, de forma que se cumplan las siguientes condiciones: a ) Si a est pulsado y los otros dos no, se activa M, quedando la lmpara apagada. b ) Si dos interruptores estn pulsados, sean los que sean, funcionan M y L. c ) Si los tres interruptores estn pulsados, no funciona M ni tampoco L. En las dems condiciones no mencionadas, ni M ni L funcionan. Realiza la tabla de verdad de las funciones y extrae las funciones relativas al motor y a la lmpara. 7. Simplica la funcin expresada en minitrminos f = 8. Simplica la funcin f =
4 (0, 1, 4, 5, 8, 10, 11, 12) 3 (1, 2, 3, 5, 6, 7)

13