Está en la página 1de 10

TEOREMAS DE BOOLE

Definicin
Un lgebra de Boole es un conjunto en el que: 1- Se han definido dos funciones binarias (que necesitan dos parmetros) que llamaremos aditiva (que representaremos por x + y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un solo parmetro) que representaremos por x'. 2- Se han definido dos elementos (que designaremos por 0 y 1) y 3- Tiene las siguientes propiedades: a) Conmutativa respecto a la primera funcin: x + y = y + x b) Conmutativa respecto a la segunda funcin: xy = yx c) Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z) d) Asociativa respecto a la segunda funcin: (xy)z = x(yz) e) Distributiva respecto a la primera funcin: (x +y)z = xz + yz f) Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z) g) Identidad respecto a la primera funcin: x + 0 = x h) Identidad respecto a la segunda funcin: x1 = x i) Complemento respecto a la primera funcin: x + x' = 1 j) Complemento respecto a la segunda funcin: xx' = 0

Propiedades del lgebra de Boole


Idempotente respecto a la primera funcin: x + x = x Idempotente respecto a la segunda funcin: xx = x Maximalidad del 1: x + 1 = 1 Minimalidad del 0: x0 = 0 Involucin: x'' = x Inmersin respecto a la primera funcin: x + (xy) = x Inmersin respecto a la segunda funcin: x(x + y) = x Ley de Morgan respecto a la primera funcin: (x + y)' = x'y' Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

Funcin booleana
Una funcin booleana es una aplicacin de A x A x A x ....A en A, siendo A un conjunto cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole. Supongamos que cuatro amigos deciden ir al cine si lo quiere la mayora. Cada uno puede votar si o no. Representemos el voto de cada uno por xi. La funcin devolver s (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolver 0. Si x1 vota 1, x2 vota 0, x3 vota 0 y x4 vota 1 la funcin booleana devolver 0.

Producto mnimo (es el nmero posible de casos) es un producto en el que aparecen todas las variables o sus negaciones. El nmero posible de casos es 2n. Siguiendo con el ejemplo anterior. Asignamos las letras A, B, C y D a los amigos. Los posibles casos son: Votos ABCD 1111 1110 1101 1100 1011 1010 1001 1000 0111 0110 0101 0100 0011 0010 0001 0000 Resultado 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0

Las funciones booleanas se pueden representar como la suma de productos mnimos (minterms) iguales a 1. En nuestro ejemplo la funcin booleana ser: f(A,B,C,D) = ABCD + ABCD' + ABC'D + AB'CD + A'BCD

Diagramas de Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas. Se construye una tabla con las variables y sus valores posibles y se agrupan los 1 adyacentes, siempre que el nmero de 1 sea potencia de 2.

Teoremas
Existen muchos teoremas en el lgebra de Boole, pero todos ellos se pueden deducir a partir de otros con ayuda de las operaciones y propiedades bsicas. Pero dada su utilidad es muy importante recordar el siguiente, el Teorema de De Morgan:

2.2. TABLAS DE VERDAD Representacin


Son unas representaciones grficas de todos los casos que se pueden dar en una relacin algebraica y de sus respectivos resultados.

INDICE
3.1. Introduccin 3.2. Funciones bsicas booleanas 3.3. Postulados del lgebra de Boole 3.4. Teoremas del lgebra de Boole 3.5. El lgebra de Boole en lenguaje de contactos

3.1. INTRODUCCIN George Boole cre el lgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretenda explicar las leyes fundamentales de aquellas operaciones de la mente humana por las que se rigen los razonamientos. En esa poca nadie pudo prever la utilizacin de este lgebra en el diseo de circuitos digitales. Como veremos las operaciones se realizarn mediante relaciones lgicas, lo que en el lgebra convencional son las sumas y multiplicaciones. Las variables con las que opera son las binarias 1 y 0 (verdadero o falso). Los signos 1 y 0 no expresan cantidades, sino estados de las variables. Podemos decir, que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el diseo y construccin de sistemas digitales. Se define Funcin Lgica a toda variable binaria cuyo valor depende de una expresin formada por otras variables binarias relacionadas mediante los signos + y x. Por ejemplo: S=(a.b)+b.c. Siendo S la funcin, mientras que a, b y c son las variables. Esta funcin la leeramos de la siguiente forma: si a y b o b y c son verdaderas(1) la funcin lgica S es verdadera(1). Mediante contactos podramos explicar o aclarar la funcin lgica.

Tablas de verdad.- A travs de las tablas de verdad se puede conocer tericamente el comportamiento de las funciones lgicas, en funcin de los niveles que se aplican a la entrada. Ms adelante veremos como adems nos van a servir para disear circuitos digitales.
3.2. FUNCIONES BSICAS BOOLEANAS a) Igualdad FUNCIN a 0 1 TABLA DE VERDAD S 0 1

S=a

SMIL CON CONTACTOS

b) Unin (funcin =O) FUNCIN a 0 0 1 1 SMIL CON CONTACTOS TABLA DE VERDAD b 0 1 0 1 S 0 1 1 1

S = a+b

c) Interseccin (funcin Y) FUNCIN a 0 0 1 1 SMIL CON CONTACTOS TABLA DE VERDAD b 0 1 0 1 S 0 0 0 1

S = a.b

d) Negacin (funcin NO) Tambin denomina funcin complemento FUNCIN a 0 1 SMIL CON CONTACTOS TABLA DE VERDAD S 1 0

3.3. POSTULADOS DEL LGEBRA DE BOOLE a) Las operaciones del lgebra de Boole son conmutativas.

a+b =b+a a.b=b.a b) Identidad 0+a=a 1.a=a c) Cada operacin es distributiva respecto de la otra: a . (b + c) = a . b + a . c a + b . c = (a + b) . (a + c) 3.5. EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS POSTULADOS a. Propiedad conmutativa

a+b

b+a

a.b b. Identidad

b.a

0+a=a c. Propiedad distributiva

1.a=a

a . (b + c )

a.b+a.c

a + (b . c) d. Complementario o inversin

(a + b) . (a + c)

TEOREMAS Teorema 2

a+1=1 Teorema 3

a.0=0

a+a=a Teorema 4. Ley de Absorcin

a.a=a

a+a.b=a

a.(a+b)=a

IMPLEMENTACIN DE FUNCIONES LGICAS CON PUERTAS LGICAS


Una de las carcteristicas de la electrnica digital que ms gustan al aficionado es que en ella es fcil iniciarse en el diseo de circuitos. En este artculo vamos a ver que sencillo es disear un circuito digital con tal de que conozcamos la funcin lgica que debe de verificar. La funcin lgica estar compuesta por diversas variables lgicas relacionadas entre s mediante las operaciones del lgebra de Boole. Dichas operaciones son la suma lgica (+), el producto lgico (*) y la negacin (as, a negada la representaremos por a'). Sin ms preambulos, veamos cmo se "saca" el circuito digital para que "resuelva" una funcin lgica, y qu mejor forma de verlo que con un ejemplo concreto: Idese un circuito digital tal que implemente la funcin lgica G=(a*b)'+(c*(a+b')) Empecemos por ver cuntas variables forman a la funcin G. En este caso se ve que son tres, a, b y c. Pues ya podemos empezar a dibujar el circuito. Hay que dibujar tantas lneas verticales como variables tenga la funcin, ponindole a cada una de ellas como ttulo el nombre de una variable:

Hay alguna variable aislada que est negada? Si la respuesta es s (y en este caso lo es, fjese en la funcin, en ella aparece b') habr que colocar una puerta inversora de tal forma que su entrada est conectada a la lnea de la variable que debe negarse. A la salida de esta puerta tendremos la variable negada:

Como puede apreciarse, la salida de la puerta se ha "extendido" con una lnea vertical. El siguiente y ltimo paso es ir realizando con puertas lgicas las operaciones de la funcin lgica. As, podramos hacer ahora el producto negado de la variable a con la variable b. Para ello emplearemos la puerta NAND:

Podramos seguir con la suma lgica de a con b' (puerta OR):

La puerta OR recien colocada entrega a su salida a+b'. Si multiplicamos esto por c tendramos c*(a+b') (ver la expresin de la funcin G):

Por ltimo slo queda sumar (a*b)' (que est en la salida de la puerta NAND) con c*(a+b') (presente en la salida de la puerta AND) para obtener la funcin G de salida:

Y ya tenemos nuestro circuito terminado. Este circuito calcula automticamente el valor de la funcin G para cualquier combinacin de valores de las variables que forman la funcin.

Como se habr dado cuenta a lo largo de este artculo, para poder llevar a cabo la implementacin de la funcin con puertas lgicas es imprecindible conocer con detalle cada una de las puertas lgicas que existen. Por este motivo, y en el caso de que usted no las conozca, le invitamos a que eche un vistazo al artculo que trata de las puertas lgicas.