Sei sulla pagina 1di 12

Algebras

de Boole
Conjunto de partes.
Dado un conjunto = , , podemos enumerar todos los subconjuntos posibles de A, o
dicho de otro modo todos los conjuntos includos en A.
Construmos entonces un nuevo conjunto con todos esos conjuntos como elementos, este
nuevo conjunto se llama conjunto de partes de A y se indica:
= ,
,
, , , , , , , , , ,
Notemos que todos los elementos de P(A) se escriben entre llaves porque son conjuntos,
salvo el conjunto vaco que se escribe sin llaves. A su vez P(A) tambin es un conjunto por lo
tanto se nota tambin con llaves.
Formalmente:
Dado un conjunto U, se define el conjunto P(U) de partes de U al que tiene como elementos
todos los subconjuntos de U. Los elementos de P(U) son conjuntos, todos los que estn
contenidos en U, incluyendo el vaco que est contenido en cualquier conjunto y el conjunto
total U ( U, U U)

P(U) = { X ; X U }

En palabras: X es un elemento de P(U) si y slo si X est incluido en U


En smbolos: X P(U) X U
Si U es un conjunto finito (o sea tiene un nmero finito n de elementos), el nmero de
elementos de P(U) es 2n .
El conjunto vaco tiene 0 elementos, P() ={ }tiene como nico elemento al vaco
(porque ), tambin vale en este caso 20 =1.
Ejemplo 1. Dado el conjunto U= {5,8,9, b} , el conjunto P (U) de partes de U por extensin es

{ { { { {

P (U)= { , 5}, 8}, 9}, b}, 5, 8}, 5, 9}, 5, b}, 8, 9}, 8, b}, 9, b}, 5, 8, 9}, 5, 8, b}, 5, 9, b}, 8, 9, b}, U}

{5,8,9} {5,8,b}
{5,8} {5,9}
{5}

{5,9,b} {8,9,b}

{5,b} {8,9}
{8}

{9}

{8,b} {9,b}
{b}

Figura 1

En la figura 1 se representan los conjuntos por niveles de acuerdo con el nmero de elementos.
Las lneas de abajo hacia arriba indican la inclusin al nivel inmediato siguiente, se omiten las lneas
por transitividad. Tambin indican las uniones al nivel inmediato superior, por ejemplo

{8,9}{8,b}{9,b} = {8,9,b}.
1

De arriba hacia abajo indican las intersecciones al nivel inmediato inferior como

{5,8,b}{5,9,b} = {5,b}.
Esta representacin recibe el nombre de diagrama de Hasse de P(U).

lgebra de Boole. Definicin. Ejemplos


Definiciones auxiliares:
Dado un conjunto con una operacin definida, decimos que es binaria si se realiza entre dos
elementos del conjunto, y decimos que es singular si se realiza sobre un elemento del conjunto.
Formalmente: Dado un conjunto no vaco A, una operacin binaria en A es una funcin de AxA en
A y una operacin singular es una funcin de A en A.
Definicin.

Un lgebra de Boole es un conjunto B con al menos dos elementos distintos (primer y


ltimo elementos) designados en forma general con los smbolos 0 y 1, dos operaciones
binarias (denominada "supremo") y (denominada "nfimo"), y una operacin
singular (denominada "complemento"), con las siguientes propiedades para elementos
cualesquiera x, y, z B
(B1) x y = y x,

conmutatividad:

(B2) x y = y x
(B3) x ( y z ) = ( x y ) ( x z )
distributividad:
(B4) x ( y z ) = ( x y ) ( x z )

(B5)
(B6)
(B7)
(B8)

x B,
x B,
x B,
x B,

x0 = x
x 1 = x
x x = 1
x x = 0

Un lgebra de Boole tambin puede indicarse B = ( B, , , ,0,1) cuando sea necesario


referirse a las operaciones y al 1ero y ltimo elementos.

Observaciones.
1) En este contexto el 0 y el 1 son smbolos para indicar primero y ltimo elementos de la
definicin de un lgebra de Boole en general. En cada ejemplo particular primer y ltimo
elementos sern los que correspondan de acuerdo con el tipo de elementos de cada caso.
2) Tambin son vlidas la asociatividad de y de ,
x ( y z) = ( x y) z = x y z
x ( y z) = ( x y) z = x y z
las que se pueden deducir a partir de algunas de las propiedades anteriores y de otras
obtenidas como consecuencia de ellas.
3) El supremo y el nfimo son operaciones binarias, es decir funciones de B B en B; el
complemento, como operacin singular, es una funcin de B en B. El hecho de que sean
funciones asegura que para todo par x, y de elementos de B, x y B, x y B y son
nicos y que el complemento x B y es nico.
2

4) Toda lgebra de Boole finita admite una representacin mediante un diagrama de Hasse
y los elementos en el nivel inmediato superior al 0 se denominan tomos.
Ejemplos
En los axiomas (B1) a (B8) se evidencia la semejanza de las propiedades con las conocidas en los
clculos con conjuntos y con proposiciones, por ejemplo:
A B = B A ; A ( B C ) = ( A B ) ( A C );
B Bc =

( p q ) (q p)

p (q s)

( p q) ( p s )

En efecto, se tienen los siguientes ejemplos:

2) Dado un conjunto U, el conjunto P(U) con la unin como supremo , la interseccin


como nfimo , el complemento para conjuntos , el vaco como 1er elemento y U como
ltimo elemento,
( P ( U ) , , , c , , U ) es un lgebra de Boole, usualmente llamada
lgebra de partes de un conjunto.
Si el conjunto U es finito P(U) admite una representacin por un diagrama de Hasse como
el de la figura 1, los conjuntos unitarios (los que tienen slo un elemento) son sus tomos.
En ese ejemplo los tomos son {5} , {8} , {9} y {b} .
3) Un conjunto de proposiciones cerrado bajo los conectivos conjuncin, disyuncin y
negacin cumple las propiedades (B1) a (B8) pero no forma un lgebra de Boole. En primer
lugar la igualdad debe ser reemplazada por el smbolo (o ) de equivalencia lgica, por
ejemplo p q y q p no son iguales sino lgicamente equivalentes.
Adems el primer elemento designado en general con 0, en este caso no sera nico, podra
ser cualquier proposicin de la forma p p (contradiccin), para que cumpla la condicin
(B8), tampoco habra un nico ltimo elemento 1 porque podra ser cualquier proposicin
de la forma p p (tautologa), para que cumpla la condicin (B7).
Las propiedades son vlidas teniendo en cuenta esas salvedades y utilizando el smbolo (o
) que corresponde.
Para obtener el lgebra de Boole del clculo proposicional debe procederse del siguiente
modo:
Se toma [ p] representando el conjunto de todas las proposiciones p1, p2, p3,...
equivalentes con p ; as tambin resulta nico el primer elemento 0 representado por
[ p p] y el ltimo 1 por [ pp]. En estas condiciones se define:

[p q ] = [p ] [ q ],

[ p q ] =[p ] [q ],

[ p] = [p]

Es correcto usar el smbolo de igualdad y valen las propiedades (B1)-(B8) de lgebra de


Boole.

4) El conjunto B= {0,1} con las operaciones e dadas por las tablas

0
1

0
0
1

1
1
1

0
1

0
0
0

1
0
1

La operacin complemento definida por 0=1, 1= 0 es un lgebra de Boole.


5) En el conjunto D70= {1, 2,5,7,10,14,35,70} de los divisores positivos de 70 se definen las
operaciones mximo comn divisor (mcd) como el nfimo , el mnimo comn mltiplo
(mcm) como el supremo , el complemento est dado por x =

70

Por ejemplo:
5 14 = 1 ; 5 14=70 ; 10 35=5 ; 10 35=70; 2 5=1; 2 5 = 10;
5 = 14 ; 2=35 ; 10=7
D70 con esas operaciones, el 1 como primer elemento y el 70 como ltimo, es un lgebra de
Boole. Se puede graficar con un diagrama de Hasse, sus tomos son 2, 5 y 7.

70

10

14

35

1
Figura 2

Observacin.

Sean n , n > 1 y Dn el conjunto de los divisores positivos de n. Dn no siempre es un


lgebra de Boole. Para todo par de nmeros siempre existen e dados respectivamente por
el mcm y el mcd, pero no siempre existe el complemento. Es el caso, por ejemplo, de
D8 = {1, 2, 4,8} conjunto de los divisores naturales de 8 que no es un lgebra de Boole.
Ntese que el 1er elemento es 1, el ltimo es 8 y que los axiomas de complemento (B7) y
(B8) no se cumplen.
Las siguientes son propiedades importantes sobre Dn:
4

Proposicin 1.

n
Si n cumple que k > 1, k 2 no divide a n, entonces todo x Dn tiene complemento x = .
x

En D8 el 4=22 es un cuadrado que divide a 8, la Proposicin 1 no se cumple. No hay ningn x en D8


que cumpla (a la vez) 4 x = 8 y 4 x = 1 (axiomas (B7) y (B8)), 4 no tiene complemento, luego
D8 no es un lgebra de Boole.
Tampoco lo son D9 = {1,3,9} o D24 = {1,2,3, 4,6,8,12, 24} en los que estn, respectivamente, los
cuadrados 9 y 4.
Por el contrario no hay cuadrados que dividan a 70, D70 es un lgebra de Boole.
Tambin 30 cumple la Proposicin 1, luego en D30= {1,2,3,5,6,10,15,30} todo elemento tiene su
complemento y es un lgebra de Boole.

Otra forma similar de analizarlo es la siguiente:


Escribiendo 70 y 30 como producto de sus factores primos, 70=2.5.7, 30=2.3.5 se ve que todos
aparecen con potencia 1. En cambio 8=23, 9=32 y 24=23.3 tienen al menos un factor primo con
exponente mayor que 1.
Se define que un natural n es libre de cuadrados si en su factorizacin como producto de primos,
todos tienen exponente 1. Y se tiene el siguiente criterio:
Proposicin 2.

Sea n , n > 1. Dn es un lgebra de Boole si y slo si n es libre de cuadrados.

En los casos mencionados 70 y 30 son libres de cuadrados mientras que 8, 9 y 24 no lo son.


En D70 14=5 pues

70
14

= 5 , siendo 70=2.5.7 y 14=2.7, el nico primo que falta de la factorizacin

de 70 es el 5.
D210 es un lgebra de Boole porque 210=2.3.5.7, el complemento de 10 es

210
10

=21, 10 se factoriza

10=5.2 y 21=3.7 los primos de la factorizacin de 210 que no estn en la de 10.

Se muestra que si n es libre de cuadrados, entonces todo x tiene complemento:


Sea n = p1. p2 . p3 . ... . pi . ... . pt , con todos los pi nmeros primos distintos (es decir par i, k tales
que 1 i, k t , i k pi pk ). Tomando por ejemplo x Dn , x =p1. p2 . p3 . ... . pi , es
n
x

=pi +1. ... . pt . Siendo todos los primos distintos x y

no tienen ninguno en comn, entonces su

mnimo comn mltiplo es el producto de todos y su mximo comn divisor es 1.


Se cumplen

(B7): x

n
x

(n es el ltimo elemento de D n );
de D n ).

Entonces es

n
x

= mcm( x, ) = (p1. p2 . p3 . ... . pi ).( pi +1. ... . pt ) = n


x

y (B8): x

n
x

= mcd ( x, ) =1 (1 es el primer elemento


x

=x el complemento de x.

Principio de Dualidad y Leyes en un lgebra de Boole


Dualidad. El enunciado dual de una proposicin en un lgebra de Boole B es el que se
obtiene intercambiando las operaciones e y los elementos 0 y 1 en la proposicin
original. En la definicin (B1) y (B2) son duales una de la otra, lo mismo (B3) y (B4), (B5) y
(B6), (B7) y (B8). Por la simetra de estos axiomas que definen un lgebra de Boole B,
cualquier proposicin en B es verdadera si y slo si su dual lo es. Este hecho se conoce
como principio de dualidad.
Teorema 1. (Leyes de Idempotencia). Sea B un lgebra de Boole, entonces para cualquier
x B, x x = x , x x = x
Demostracin.
Por los axiomas (B5), (B8), (B3) y (B7)
x x = (x x) 0 = (x x) (x x) = x (x x ) = x 1 = x
Y por dualidad x x=x.

Teorema 2. (Leyes de acotacin). Sea B un lgebra de Boole, entonces para cualquier


x B, x 1 = 1 , x 0 = 0
Demostracin.
Por (B8), asociatividad , idempotencia y de nuevo (B8)
x 0 = x (x x ) = (x x) x = x x = 0
Por dualidad x 1 = 1.

Teorema 3. (Leyes de absorcin). Sea B un lgebra de Boole, entonces para cualesquiera


x, y B, x ( x y) = x , x ( x y) = x
Demostracin.
Por (B6), (B7), distributividad ((B3))
x ( x y) = (x 1) ( x y) = [x (y y )] ( x y) =
= [(x y) (x y )] ( x y) =
por asociatividad y conmutatividad ((B1))
= [(x y) ( x y)] (x y ) =
por idempotencia aplicada al elemento (x y ), distributividad ((B3)), (B7) y (B6)
= ( x y) (x y ) = x (y y ) = x 1 = x
Por dualidad tambin es verdadero x ( x y) = x .

Teorema 4. (Involucin). Sea B un lgebra de Boole, entonces para cualquier


x B, ( x ) = x (el complemento del complemento de x es de nuevo x)
Demostracin.
y x x = 0
Por (B7) y (B8):
x x = 1
Por las conmutativas (B1) y (B2): x x = 1 ,
x x = 0
Y el complemento es nico (Observacin 3 de la definicin de lgebra de Boole), luego

( x ) = x .
6

Teorema 5. (Leyes de De Morgan). Sea B un lgebra de Boole, entonces para x, y B,


( x y ) = x y

( x y ) = x y

Demostracin.
Se demuestra que
y que

( x y ) ( x y ) = 1
( x y ) ( x y ) = 0

(parte 1)

(parte 2)
por lo que, por unicidad del complemento ( x y ) = x y
parte 1: Por distributiva (B4), conmutatividad y asociatividad del , (B7), acotacin

( x y ) ( x y ) = ( x y ) x ( x y ) y = ( x x) y x ( y y) =
= [1 y ] [ x 1] = 1 1=1

parte 2: Por conmutativa (B2) y distributiva (B3), asociativa y conmutativa de , (B8)


y ley de acotacin

( x y ) ( x y ) = x ( x y ) y ( x y ) = ( x x) y ( y y) x =
= [0 y ] [0 x] = 0 0 = 0
Se obtuvo que

( x y ) = x y .

Por dualidad tambin vale

( x y ) = x y .

Isomorfismo de lgebras de Boole


Definicin. Sean B1 y B2 dos lgebras de Boole. Un isomorfismo entre B1 y B2 es una
funcin biyectiva f: B1 B2 que cumple las siguientes propiedades:
par x, y B1

(i)

f ( x y) = f ( x) f ( y)

(ii) f ( x y ) = f ( x ) f ( y )
(iii)
f ( x) = [ f ( x )]

Es decir que la imagen por f del supremo x y entre x e y es igual al supremo f ( x ) f ( y )


entre f(x) y f(y), la imagen por f del nfimo x y es el nfimo f ( x ) f ( y ) entre sus
imgenes y la imagen por f de x (el complemento de x) es igual al complemento [ f ( x )] de
su imagen, siendo x e y elementos de B1 y f(x), f(y) elementos de B2.
Un isomorfismo es una biyeccin que conserva las operaciones. Cuando existe tal
isomorfismo entre B1 y B2, se dice que B1 y B2 son isomorfas. B1 y B2 tienen elementos
distintos pero tienen la misma forma comportndose igual con respecto a sus operaciones.

Ejemplos
6) Dados el conjunto D de los divisores positivos de 6 y el conjunto B formado por las
6
proposiciones p, p, el primer elemento 0 = p p, el ltimo 1 = p p, en este
caso son nicos, la funcin f : D B dada por f (0)=1, f ( p ) = 2, f ( p ) = 3, f (1) = 6
6
es un isomorfismo entre D y B.
6
Se observa que sus respectivos diagramas de Hasse coinciden
1

1
Figura 3

Ntese que en

D6 el 1 es el nmero 1, mientras que en B tanto 1 como 0 son smbolos que representan lo indicado.

7) El lgebra de Boole D70=( D70 , mcm, mcd, 70/x, 1, 70) del Ejemplo 5 que tiene tres
tomos 2, 5, 7, es isomorfa a un lgebra de partes de un conjunto U que tenga tres elementos,
por ejemplo U={a, b, c} con las operaciones propias de P(U), P(U) = ( P (U), , , c , , U) ,
definiendo el isomorfismo mediante la funcin f de D70 en P(U) , en el que los conjuntos
unitarios {a}, {b},{c} son los tomos, dada por f(2)={a} , f(5)={b}, f(7)={c}, f(10)= {a, b},
f(14)={a, c}, f(35)={b, c}, f(70)={a, b, c}, f(1)= .
Es biyectiva y respeta las operaciones. Para hacer ms simple la correspondencia se puede
tomar como conjunto U ={u2 , u5 , u7 } con sus elementos subindexados con los tomos de
D70 o directamente U = { 2 , 5 , 7 } con los tomos como elementos, teniendo en cuenta que
cada lgebra tiene sus propias operaciones y que en tal eleccin de U, los tomos de P(U)
son los conjuntos unitarios {2}, {5}, {7}, en tanto que en D70 los tomos son los nmeros 2,
5 y 7. Eligiendo U={a, b, c}, en la figura 4 se muestra el diagrama de Hasse de P(U) que
coincide con el de D70 dado en la figura 2

U
{a, b}

{a, c}

{ b,c}

{a}

{b}

{c}

Figura 4

Se observa por ejemplo que:


f(5 7) = f(35)= { b,c} = {b} {c} = f(5) f(7);
f(10 35) = f(5) = {b} = {a, b} { b,c} = f(10) f(35)
En D70 35 es el complemento de 2, f(35)={b, c}, f(2)={a} y {b, c} es el complemento de {a}
c
en P(U), o sea se cumple que f (2) = f (35) = {b, c} = {a}
El Ejemplo 7 se puede generalizar para todo lgebra de Boole con un nmero finito de
elementos.
Teorema 6. Sea B un lgebra de Boole finita. Entonces existe un conjunto U tal que B es
isomorfa al lgebra de partes P(U).
Para demostrarlo se toma U el conjunto de los tomos de B, la biyeccin que a cada tomo ai
de B le asigna el conjunto unitario { ai }, a partir de ah se construye un isomorfismo f entre
B y P(U).
Teorema 7.(Corolario del Teorema 6). El nmero de elementos de un lgebra de Boole finita
es una potencia de dos, 2n con n>0.
Demostracin. Si B es un lgebra de Boole finita y U es el conjunto de sus tomos, por el
teorema anterior el nmero de elementos de B es igual al nmero de elementos de P(U) y,
como se indica al comienzo (Ver Conjunto de partes), si U tiene n elementos, P(U) tiene 2n
elementos . El nmero n debe ser mayor que 0 porque B tiene por lo menos dos elementos: el
primero y el ltimo.
Observacin.
La condicin enunciada en el Teorema 7 es necesaria, por lo que si el nmero de elementos
de un conjunto no es una potencia de dos, se puede concluir que tal conjunto no es un lgebra
de Boole.
La condicin no es suficiente, por ejemplo el conjunto D24={1, 2, 3, 4, 6, 8, 12, 24} de
divisores positivos de 24 tiene 23 elementos y no es un lgebra de Boole. El hecho de que un
conjunto tenga 2n elementos, con n 1, no asegura que sea un lgebra de Boole.

Ejercicios
1) Encontrar los conjuntos de partes de un conjunto con 3 elementos y otro con 4
elementos y graficar sus respectivos diagramas de Hasse. Indicar los tomos en
cada caso.

2) Sean B y D conjuntos tales que B D. Probar que P(B) P(D)


3) Graficar el diagrama de Hasse del lgebra de Boole D30 , indicar sus tomos y
el complemento de cada elemento.
4) Determinar si los conjuntos D40, D15, D170 , D21, D6, D18, D42 , D54 son o no
lgebras de Boole, justificando las respuestas.
En caso que sea un lgebra de Boole, graficar el diagrama de Hasse e indicar
cules son sus tomos
5) Determinar si el conjunto D390 es o no un lgebra de Boole.
En caso afirmativo graficar su diagrama de Hasse, indicar los tomos y encontrar
el complemento de cada elemento.
6) Sean = , la suma usual de enteros, el producto usual de enteros y
para cada , se define a= -a . Es B un lgebra booleana?
7) Simplificar (hasta su mnima expresin) las siguientes expresiones, indicando
las propiedades usadas

x ( x y) x ( x y =
x x x =

x ( y x) =

x ( y y )

( y ( x x )

8) a) Probar la Ley de De Morgan ( x y ) = x y


b) Expresar las Leyes de De Morgan en los conjuntos y en el clculo
proposicional, con los smbolos y operaciones que corresponden en cada caso
9) Sea :
un isomorfismo de algebras booleanas. Si llamamos 0 0
al 0 de respectivamente y 1 1 al 1 de
respectivamente,
demostrar que 0 = 0 y 1 = 1
10) Encontrar un conjunto U tal que el lgebra de partes P(U) sea isomorfa a

D390, indicar primer elemento, ltimo elemento y los tomos en cada lgebra de
Boole y el nmero total de elementos que tienen.
Obtener los complementos en D390 de los elementos 15, 78, 10, 13, 39, supremo
e nfimo en D390 de 15 y 10, 15 y 39, 30 y 78, 10 y 30, 10 y 39. Y los
correspondientes por el isomorfismo en P(U)
11) Mediante el Teorema 7 establecer si D40, D18, D9 son o no lgebras de Boole.

10

Una aplicacin: Los circuitos


Una aplicacin del lgebra de Boole es el lgebra de circuitos de conmutacin. Un circuito
de conmutacin es una red elctrica formada por interruptores conectados por cable, con dos
estados que son cerrado y abierto, a los que se les asigna, respectivamente, los valores 1 y 0,
y dos terminales s y t.
La corriente elctrica fluye de s a t a travs del punto donde est localizado un interruptor si
y slo si ste est cerrado
s

t
x
figura 5

En la figura 5 se muestra un circuito con un solo interruptor.


El circuito de la figura 6 est cerrado si y slo si x o y estn cerrados. Esta combinacin de
interruptores se indica con x y y se dice que los interruptores x, y estn en paralelo

figura 6

Dos interruptores x e y estn en serie si estn conectados como en la figura 7

t
x

y
figura 7

En este caso el circuito est cerrado si y slo si ambos x e y lo estn, esta combinacin de
interruptores se indica con x y .
La operacin supremo es la conexin en paralelo y el nfimo es la conexin en serie. Los
valores que pueden tomar los interruptores son slo dos: {ON, OFF} o bien {1,0}. Si dos
interruptores operan en tal forma que cuando uno est abierto el otro est cerrado, y viceversa
entonces se designar uno de ellos con una letra y el otro por su complemento. Se indica con
0 al circuito que est siempre abierto y con 1 al que est siempre cerrado.
Con estas operaciones el conjunto de circuitos de conmutacin es un lgebra de Boole y tiene
todas sus propiedades.
En el diseo actual de redes elctricas los interruptores se reemplazan por otros dispositivos
llamados compuertas lgicas, que se corresponden con las operaciones booleanas , y
complemento (negacin).

11

Resea histrica
En el siglo XIX, el matemtico George Boole (1815-1864), en sus libros: "The Mathematical
Analysis of Logic" (1847) y "An Investigation of The Laws of Thought" (1854), desarroll la
idea de que las proposiciones lgicas podan ser tratadas mediante herramientas matemticas
siguiendo el comportamiento de reglas algebraicas. Igual que en lgebra tradicional, tambin
se trabaja con letras para denominar variables y formar ecuaciones para obtener el resultado
de ciertas operaciones mediante una ecuacin o expresin booleana. Los trabajos de Boole y
los de sus discpulos resultaron extraos en su poca porque en aquel momento parecan no
tener aplicaciones. A mediados del siglo XX el lgebra de Boole result de una gran
importancia prctica, importancia que se ha ido incrementando hasta nuestros das, en el
manejo de informacin digital. Gracias a ella, Claude Shannon (1916-2001) pudo formular
su teora de la codificacin y John Von Neumann (1903-1957) pudo enunciar
el modelo de arquitectura que define la estructura interna de las computadoras desde la
primera generacin. Por lo tanto, Boole es hoy considerado uno de los fundadores de las
Ciencias de la Computacin y de la base terica para la era digital.
Bibliografa
Ramn Espinosa Armenta, Matemtica Discreta.
Elliott Mendelson, Boolean Algebra and Switching Circuits, McGraw-Hill.

12