Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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 }
{ { { { {
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).
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
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 )
[p q ] = [p ] [ q ],
[ p q ] =[p ] [q ],
[ p] = [p]
0
1
0
0
1
1
1
1
0
1
0
0
0
1
0
1
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.
Proposicin 1.
n
Si n cumple que k > 1, k 2 no divide a n, entonces todo x Dn tiene complemento x = .
x
70
14
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
(B7): x
n
x
(n es el ltimo elemento de D n );
de D n ).
Entonces es
n
x
y (B8): x
n
x
=x el complemento de x.
( x ) = x .
6
( 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
( 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 .
( x y ) = x y .
(i)
f ( x y) = f ( x) f ( y)
(ii) f ( x y ) = f ( x ) f ( y )
(iii)
f ( x) = [ f ( x )]
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
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.
x ( x y) x ( x y =
x x x =
x ( y x) =
x ( y y )
( y ( x x )
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
t
x
figura 5
figura 6
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