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 ! ") " multiplicativa (que representaremos por ") " una funci#n monaria (de un solo parmetro) que representaremos por $% &- Se han definido dos elementos (que designaremos por ' " 1) " (- )iene las siguientes propiedades: a) *onmutativa respecto a la primera funci#n: ! " + " ! b) *onmutativa respecto a la segunda funci#n: " + " c) ,sociativa respecto a la primera funci#n: ( ! ") ! - + ! (" !-) d) ,sociativa respecto a la segunda funci#n: ( ")- + ("-) e) .istributiva respecto a la primera funci#n: ( !")- + - ! "f) .istributiva respecto a la segunda funci#n: ( ") ! - + ( ! -)( " ! -) g) /dentidad respecto a la primera funci#n: ! ' + h) /dentidad respecto a la segunda funci#n: 1 + i) *omplemento respecto a la primera funci#n: ! $ + 1 j) *omplemento respecto a la segunda funci#n: $ + '

Propiedades del lgebra de Boole

/dempotente respecto a la primera funci#n: ! + /dempotente respecto a la segunda funci#n: + 0a imalidad del 1: ! 1 + 1 0inimalidad del ': ' + ' /nvoluci#n: $$ + /nmersi#n respecto a la primera funci#n: ! ( ") + /nmersi#n respecto a la segunda funci#n: ( ! ") + 1e" de 0organ respecto a la primera funci#n: ( ! ")$ + $"$ 1e" de 0organ respecto a la segunda funci#n: ( ")$ + $ ! "$

Funcin booleana
Una funci#n booleana es una aplicaci#n de , , , %%%%, en ,2 siendo , un conjunto cu"os elementos son ' " 1 " tiene estructura de lgebra de Boole% Supongamos que cuatro amigos deciden ir al cine si lo quiere la ma"or3a% *ada uno puede votar si o no% 4epresentemos el voto de cada uno por i. La funcin devolver s (1) cuando el numero de votos afirmativos sea 3 y en caso contrario devolver 0. Si 1 vota 12 & vota '2 ( vota ' " 5 vota 1 la funci#n booleana devolver '%

6roducto m3nimo (es el n7mero posible de casos) es un producto en el que aparecen todas las variables o sus negaciones% 8l n7mero posible de casos es &n% Siguiendo con el ejemplo anterior% ,signamos las letras ,2 B2 * " . a los amigos% 1os posibles casos son: Votos AB ! 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

1as funciones booleanas se pueden representar como la suma de productos m3nimos (minterms) iguales a 1% 8n nuestro ejemplo la funci#n booleana ser: f(A"B" "!) # AB ! $ AB !% $ AB %! $ AB% ! $ A%B !

Diagramas de

arnaug!

1os diagramas de 9arnaugh se utili-an para simplificar las funciones booleanas% Se constru"e una tabla con las variables " sus valores posibles " se agrupan los 1 ad"acentes2 siempre que el n7mero de 1 sea potencia de &%

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 respecti os 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 lengua e de contactos

(%1% /:)4;.U**/<: =eorge Boole cre# el lgebra que lleva su nombre en el primer cuarto del siglo >/>% 6retend3a e plicar las le"es fundamentales de aquellas operaciones de la mente humana por las que se rigen los ra-onamientos% 8n esa ?poca nadie pudo prever la utili-aci#n de este lgebra en el dise@o de circuitos digitales% *omo veremos las operaciones se reali-arn mediante relaciones l#gicas2 lo que en el lgebra convencional son las sumas " multiplicaciones% 1as variables con las que opera son las binarias 1 " ' (verdadero o falso)% 1os signos 1 " ' no e presan cantidades2 sino estados de las variables% 6odemos decir2 que el sistema de numeraci#n binario " el lgebra de Boole constitu"en la base matemtica para el dise@o " construcci#n de sistemas digitales% Se define Aunci#n 1#gica a toda variable binaria cu"o valor depende de una e presi#n formada por otras variables binarias relacionadas mediante los signos ! " % 6or ejemplo: S+(a%b)!b%c% Siendo S la funci#n2 mientras que a2 b " c son las variables% 8sta funci#n la leer3amos de la siguiente forma: si a " b o b " c son verdaderas(1) la funci#n l#gica S es verdadera(1)% 0ediante contactos podr3amos e plicar o aclarar la funci#n l#gica%

Tablas de "erdad#$ , trav?s de las tablas de verdad se puede conocer te#ricamente el comportamiento de las funciones l#gicas2 en funci#n de los niveles que se aplican a la entrada% 0s adelante veremos como adems nos van a servir para dise@ar circuitos digitales%
3.2. FUNCIONES BSICAS BOOLEANAS a! Igualdad FUNCIN a $ 1 TABLA DE VERDAD " $ 1

"#a

SMIL CON CONTACTOS

b! %nin &'uncin #(! FUNCIN a $ $ 1 1 SMIL CON CONTACTOS TABLA DE VERDAD b $ 1 $ 1 " $ 1 1 1

" # a)b

c! Interseccin &'uncin *! FUNCIN a $ $ 1 1 SMIL CON CONTACTOS TABLA DE VERDAD b $ 1 $ 1 " $ $ $ 1

" # a.b

d! +egacin &'uncin +(! Tambi,n denomina 'uncin com-lemento FUNCIN a $ 1 SMIL CON CONTACTOS TABLA DE VERDAD " 1 $

3.3. POSTULADOS DEL LGEBRA DE BOOLE a) 1as operaciones del Blgebra de Boole son conmutativas%

a+b=b+a a.b=b.a b) /dentidad 0+a=a 1.a=a c! .ada o-eracin es distributi/a res-ecto de la otra0 a . b + !" = a . b + a . ! a + b . ! = a + b" . a + !" 3.#. EL LGEBRA DE BOOLE EN LENGUA$E DE CONTACTOS POSTULADOS a. P%&'()*a* !&+,-.a.(/a

a+b

b+a

a.b b. I*)+.(*a*

b.a

0+a=a !. P%&'()*a* *(0.%(b-.(/a

1.a=a

a. b+!"

a.b+a.!

a + b . !" *. C&,'1),)+.a%(& & (+/)%0(2+

a + b" . a + !"

TEOREMAS T)&%),a 2

a+1=1 T)&%),a 3

a.0=0

a+a=a T)&%),a 3. L)4 *) Ab0&%!(2+

a.a=a

a+a.b=a

a. a+b"=a

IMPLEMENTACIN DE FUNCIONES LGICAS CON PUERTAS LGICAS

Una de las carcteristicas de la electr#nica digital que ms gustan al aficionado es que en ella es fcil iniciarse en el dise@o de circuitos% 8n este art3culo vamos a ver que sencillo es dise@ar un circuito digital con tal de que cono-camos la funci#n l#gica que debe de verificar% 1a funci#n l#gica estar compuesta por diversas variables l#gicas relacionadas entre s3 mediante las operaciones del lgebra de Boole% .ichas operaciones son la suma l#gica (!)2 el producto l#gico (C) " la negaci#n (as32 a negada la representaremos por a$)% Sin ms preambulos2 veamos c#mo se DsacaD el circuito digital para que DresuelvaD una funci#n l#gica2 " qu? mejor forma de verlo que con un ejemplo concreto: /d?ese un circuito digital tal que implemente la funci#n l#gica =+(aCb)$!(cC(a!b$)) 8mpecemos por ver cuntas variables forman a la funci#n =% 8n este caso se ve que son tres2 a, b " c% 6ues "a podemos empe-ar a dibujar el circuito% Ea" que dibujar tantas l3neas verticales como variables tenga la funci#n2 poni?ndole a cada una de ellas como t3tulo el nombre de una variable:

FEa" alguna variable aislada que est? negadaG Si la respuesta es s3 (" en este caso lo es2 f3jese en la funci#n2 en ella aparece b$) habr que colocar una puerta inversora de tal forma que su entrada est? conectada a la l3nea de la variable que debe negarse% , la salida de esta puerta tendremos la variable negada:

*omo puede apreciarse2 la salida de la puerta se ha De tendidoD con una l3nea vertical% 8l siguiente " 7ltimo paso es ir reali-ando con puertas l#gicas las operaciones de la funci#n l#gica% ,s32 podr3amos hacer ahora el producto negado de la variable a con la variable b% 6ara ello emplearemos la puerta :,:.:

6odr3amos seguir con la suma l#gica de a con b$ (puerta ;4):

1a puerta ;4 recien colocada entrega a su salida a!b$% Si multiplicamos esto por c tendr3amos cC(a!b$) (ver la e presi#n de la funci#n =):

6or 7ltimo s#lo queda sumar (aCb)$ (que est en la salida de la puerta :,:.) con cC(a!b$) (presente en la salida de la puerta ,:.) para obtener la funci#n = de salida:

H "a tenemos nuestro circuito terminado% 8ste circuito calcula automticamente el valor de la funci#n = para cualquier combinaci#n de valores de las variables que forman la funci#n%

*omo se habr dado cuenta a lo largo de este art3culo2 para poder llevar a cabo la implementaci#n de la funci#n con puertas l#gicas es imprecindible conocer con detalle cada una de las puertas l#gicas que e isten% 6or este motivo2 " en el caso de que usted no las cono-ca2 le invitamos a que eche un vista-o al art3culo que trata de las puertas l#gicas%