Tema 2: RETCULOS Y LGEBRAS DE BOOLE

1. Definicin algebraica de retculo

Antes de dar la definicin algebraica, damos la usual. Un retculo es un conjunto

ordenado (L,) que satisface que dado A={x,y}L, existen el supremo y el nfimo de
A. Lo notamos como sigue: xy=sup{x, y}, x y = inf{x,y}. Si existe supremo e
nfimo para cualquier subconjunto de elementos de L, se dice que L es un retculo
completo.

Ejemplos.
1. Si A es un conjunto, (
(A), , ) con el orden dado por la inclusin es un
retculo completo.
2. El conjunto ordenado (N, |) es un retculo con supremo e nfimo dados por [ , ] y
( , ), es decir, mnimo comn mltiplo y mximo comn divisor, es un retculo.
3. El conjunto de los divisores positivos de un entero positivo n, (D(n), [ , ], ( , )) es
un retculo.

Figura 1: diagrama de Hasse del retculo D(60)

Caracterizacin del orden. Si L es un retculo y l .k son elementos de L, entonces l k

si y slo si lk = l o, equivalentemente, l k = k.

Demostracin: Suponemos primero que l k. Por la propiedad reflexiva del orden, l

l. Por hiptesis, l k. Por tanto, l es cota inferior de {l, k}. Sea e una cota inferior
cualquiera de {l, k}. Entonces, e l. Se deduce que l es la mayor de las cotas
superiores de {l, k}, esto es, l = l k.
Ahora suponemos que l = l k., esto es, l = sup {l, k}. Como l es cota inferior del
conjunto, l k.
Principio de dualidad para retculos. El dual de cualquier proposicin cierta
envolviendo elementos de un retculo y los smbolos =, , , y es cierta tambin.
La proposicin dual se consigue cambiando por , por y viceversa.

Demostracin (no exigible en examen): Sea (L, ) un retculo. Entonces, sobre el

propio L se puede definir otro orden (llamado orden inverso) de la manera
siguiente: dados dos elementos a, b de L, decimos que a b cuando b a. En primer
lugar, comprobamos que es un orden. Como a a (por ser un orden), a a y se
tiene la propiedad reflexiva. Supongamos que a b y b a. Por la definicin de ,
b a y a b. Por la propiedad antisimtrica de , se deduce que a = b. Por tanto,
cumple tambin la propiedad antisimtrica. Suponemos ahora a b y b c para
elementos a, b, c de L. Por la la definicin de , b a y c b. La transitividad de
nos da c a. La definicin de indica que a c. Se sigue la propiedad transitiva de
. Notemos que, por su definicin es en realidad .
El segundo paso es demostrar que, para dos elementos cualesquiera a, b de L, el
supremo de {a,b} con el orden , es el nfimo de {a,b} con el orden (o bien ). Sea
s = sup{a, b} en (L, ). Entonces, a s y b s. Por tanto, s a, s b, es decir, s es
cota inferior de {a,b} en (L, ). Sea i una cota inferior de {a, b} en (L, ). Se tiene i
a, i b. Como consecuencia, a i y b i. Se deduce que i es cota superior de {a, b}
en (L, ). Por definicin de s, s i, esto es, i s y as, s es la mayor de las cotas
inferiores de {a, b} en (L, ), esto es, su nfimo. De una manera totalmente anloga se
demuestra que inf{a, b} en (L, ) es sup{a, b} en (L, ).
Se deduce que un mismo hecho o proposicin puede enunciarse de dos formas distintas
en un retculo L, segn se considere el orden o el orden inverso . Al ser el mismo
hecho, o es verdadero y por tanto las dos proposiciones son verdaderas, o bien es falso y
las dos proposiciones sern falsas. Por ltimo, notemos que la proposicin
correspondiente a (L, ) se consigue precisamente intercambiando y y tambin
por .

Propiedades del supremo y del nfimo.

- conmutativas: ab = ba; ab = ba para cualesquiera a,b de L.
- asociativas: (ab)c = a(bc); (ab)c = a(bc) para cualesquiera
a,b,c en L.
- idempotentes: aa=a; aa=a para cualquier elemento a de L.
- de absorcin: a(ab) = a; a(ab) = a para cualesquiera a,b en L.

Demostracin: Como {a, b}= {b, a}, se tiene sup{a, b}=sup{b, a}, luego ab=ba.
Como en el resto de propiedades, el principio de dualidad de retculos aplicado a este
caso establece la propiedad dual, esto es, ab = ba. Se ha demostrado la propiedad
conmutativa.
Como el conjunto {a, a} = {a}, sup{a, a}= sup{a}, luego aa=a y se prueba la
propiedad idempotente.
Para demostrar la propiedad asociativa, sea s = sup{a, b}, t = sup{b, c}, s = sup{s, c},
t = sup{a, t}. Por definicin de s, c s. Por las definiciones de s y s, b s s. Por
tanto, s es cota superior de {b, c}. Por definicin de t, t s. Por las definiciones de s y
s, se tiene a s s. Se concluye que s es cota superior de {t, a}.
Sea e L una cota superior de {t, a}. Entonces, a e, t e. Por definicin de t, c t
e, c t e. Como, adems, a t e, e resulta ser cota superior de {a, b}. Por
definicin de s, s t e. Se deduce que e es cota superior de {s, c}. Por definicin de
s, s e. Hemos demostrado que s es la menor de las cotas superiores de {s, c}, esto
es, su supremo. Esto es justo lo que queramos demostrar.
Probaremos finalmente la propiedad de absorcin. Por la propiedad reflexiva del orden,
a a. Por definicin de nfimo, ab a. Se sigue que a es una cota superior de {a,
ab}. Sea e L una cota superior de {a, ab}. En particular, a e, luego a es la
menor de las cotas superiores de {a, ab}, es decir, su supremo.

Teorema de la definicin algebraica de retculo. Si L es un conjunto con dos leyes de

composicin interna y que cumplen las propiedades conmutativa, asociativa,
idempotente y de absorcin, entonces existe un orden en L tal que ab=sup{a,b},
ab=inf{x,y} y por tanto, L es un retculo.

Demostracin: Definimos la siguiente relacin binaria en L: dados a, b de L, decimos

que a b cuando a b = b.
En primer lugar, comprobamos que esta relacin es un orden sobre L. Por la propiedad
idempotente, a a = a, luego a a para cualquier a L y la propiedad reflexiva se
cumple. Si a b y b a, se tiene a b = b y b a = a. Por la propiedad conmutativa, a
b = b a, luego a = b y se tiene la propiedad antisimtrica. Supongamos ahora que a
b y b c. Entonces, a b = b y b c = c. De aqu, a c = a (b c) = (a b) c
= b c = c (se ha usado la asociatividad). Se deduce que a c y se verifica la
propiedad transitiva.
En segundo lugar, mostramos que a b es el supremo de {a, b} para cualesquiera
elementos a, b de L. Como a (a b) = (a a) b = a b, se sigue que a a b.
Anlogamente, como b (a b) = (b b) a = a b, se sigue que b a b (se han
usado las propiedades conmutativa, idempotente y asociativa). Por tanto, a b es una
cota superior de {a, b}. Sea e L una cota superior de {a, b}. Entonces, a e y b e,
esto es, a e = e = b e. Por todo lo anterior, e (a b) = (e a) b = (a e) b = e
b = e. Concluimos que a b e, luego a b es la menor de las cotas superiores de
{a, b}, es decir, su supremo.
Por ltimo, probemos que si a, b son elementos de L, entonces a b = inf{a, b}.
Como (a b) a = a, por la ley de absorcin, a b a. Del mismo modo, (a b)
b = b y se concluye a b b. Por todo lo dicho, a b es cota inferior de {a, b}.
La clave de la demostracin es darse cuenta de que a b = a si y slo si a b = a. En
efecto, si a b = a, a b = (a b) b = b, por la ley de absorcin. Si ahora
suponemos que a b = a, se tiene a b = (a b) b = b, por la propiedad de
absorcin. Sea i L una cota inferior de {a, b}. Se tiene que i a, i b, esto es, i
a = i, i b = i. Entonces i (a b) = (i a) b = i b = i. Se deduce que i a
b, luego a b es la mayor de las cotas inferiores de {a, b}, esto es, su nfimo.

Un homomorfismo de retculos entre (L, , ) y (L, , ) es una aplicacin f:

LL tal que f(a b)= f(a) f(b) y f(a b) = f(a) f(b) para cualesquiera
elementos a,b de L, o bien una aplicacin f tal que si a b, entonces f(a) b, siendo
y los rdenes respectivos de L y L. Si f es biyectiva, se le llama isomorfismo. Si
f es inyectiva, se le llama monomorfismo y si es sobreyectiva, entonces se habla de
epimorfismo. Un subretculo L de (L, , ) es un subconjunto de L tal que con las
restricciones de y a L es un retculo.

2. Retculos distributivos y retculos modulares

Un retculo (L.,,) es distributivo si se cumple la ley distributiva de respecto a

(o, equivalentemente, la ley distributiva de respecto de ): l(mn)= (lm)
(ln) para cualesquiera l,m,n en L.

El retculo L se dice modular si siempre que ab, a,b,cL se tiene la igualdad

(cb)a= (ca) b.
Ejemplos: El retculo (
(A), , ) es distributivo puesto que hay propiedad distributiva
de la unin de conjuntos respecto de la interseccin. El retculo pentagonal (figura (a))
no es modular ni distributivo. El diamante (figura (b)) es un retculo modular que no es
distributivo.

Figura 2: retculos no distributivos: pentgono (a) y diamante (b)

Teorema de la relacin de retculos. Todo retculo distributivo es modular.

Demostracin: Sean a, b, c L, elementos del retculo tales que a b. Entonces, (c

a) b = (c b) (a b) = (c b) a, donde se ha usado la propiedad
distributiva para justificar la primera igualdad y la caracterizacin del orden en un
retculo para la segunda igualdad.
Propiedad cancelativa de retculos distributivos. Si L es un retculo distributivo y se
tienen las condiciones simultneas ab= ac, ab= ac, entonces c=b.

Demostracin: Por la ley de absorcin, b = b (a b). Si adems, aplicamos la

hiptesis, b = b (a c) = (b a) (b c) = (c a) (b c) = c ( a c )
= c, aplicando otra vez la ley de absorcin.

Caracterizacin de retculos modulares. Un retculo es modular si y slo si ninguno

de sus subretculos es isomorfo al pentgono.

Caracterizacin de retculos distributivos. Un retculo es distributivo si y slo si

ninguno de sus subretculos es isomorfo al pentgono o al diamante.

3. lgebras de Boole

Un retculo complementado es un retculo L con elementos 0 y 1 tales que a 1 y 0 a

para todo a de L y adems, para cada a existe un elemento a de L (llamado
complementario de l) tal que aa=1, a a=0.
Un lgebra de Boole es un retculo distributivo y complementado.

Ejemplos:
1. El retculo (
(A), , ) es un lgebra de Boole donde B=A-B, 0=f, 1=A.
2. El conjunto B= {0,1} con las operaciones + y . definidas como sigue: 0+0=0,
0+1=1+0=1=1+1 y 0.1=1.0=0=0.0, 1.1=1 es un lgebra de Boole de 2
elementos.
3. El producto finito de lgebras de Boole se convierte de una manera natural (con
las operaciones definidas componente a componente) en otra lgebra de Boole.

Propiedades de un lgebra de Boole. Si L es un lgebra de Boole, entonces satisface

las siguientes propiedades:
- unicidad del complemento: el complemento de cada elemento es nico.
- ley de involucin: (l)=l para cualquier l de L.
- leyes de De Morgan: (ab)=ab; (ab)=ab para cualesquiera a,b de
L.

Demostracin: Supongamos primero que aa=1, aa=0 y que ab=1, ab=0.

Entonces, a=a1=a(ab)=(aa) (ab)= 0(ab)= ab. Por otro lado,
b= b1= b(aa)= (ba) (ab)= 0(ab)= ab. Por tanto, a=b.
La ley de involucin se deduce inmediatamente de la unicidad del complemento ya que
(l) es el complemento de l, pero l tambin lo es.
Para probar la ley de De Morgan, calculamos a b (a b) = (a b a) (a
b b) = 1 1 = 1 y tambin (a b) (a b) = (a a b) (b a
b) = 0 0 = 0.
Caracterizacin del orden. Si L es un lgebra de Boole, entonces a b si y slo si se
tiene a b = 0 (o, equivalentemente, a b = 1).

Demostracin: Suponemos primero que a b. Entonces, la caracterizacin del orden

de los retculos nos da a b = (a b) b = a (b b) = a 0 = 0.
Ahora nuestra hiptesis es que a b = 0. Entonces, a = a 1 = a (b b) = (a
b) (a b) = (a b) 0 = a b.

Un elemento a de un lgebra de Boole B se dice que es un tomo si no es 0 y para

cualquier x de B se tiene xa = a o bien xa = 0. Son elementos que no tienen por
debajo nada salvo el cero. Se tienen las siguientes propiedades de los tomos:

1. Dos tomos de un lgebra de Boole son iguales o disjuntos.

2. Dado 0x en el lgebra de Boole finita B, hay un tomo a de B tal que a x.
3. Si a1, a2,, an son los tomos menores o iguales que el elemento 0x del
lgebra de Boole finita B, entonces x= a1 a2 an.
4. Si x= a1 a2 an con cada ai tomo del lgebra de Boole finita B y x a,
entonces a coincide con algn tomo aj.

Como resumen, se puede afirmar que todo elemento no nulo x de un lgebra de Boole
finita B puede expresarse de manera nica como supremo de un nmero finito de
tomos.

Teorema de lgebras de Boole finitas. Toda lgebra de Boole finita B es isomorfa al

lgebra de Boole (
(M), , ), donde M es el conjunto de todos los tomos de B.

Demostracin: El isomorfismo a establecer es h: B
(M) dado por h(0)= f, h(x) =

{aM: ax} para x de B no nulo. Esta aplicacin es sobre porque dado un subconjunto
finito de tomos {a1, a2,, ar}, en cualquier retculo existe sup{a1, a2,, ar}= x y por la
definicin de h, h(x) = {a1, a2,, ar}. Si h(x) = h(y), los tomos que hay menores o
iguales que x y que y son iguales y por tanto, x = y. Se deduce la inyectividad de h.
Por ltimo, veamos que h es morfismo de retculos Sean a, b elementos de L con a b.
Sea a = a1 a2 ar. Por definicin de supremo cada ai es un tomo que es menor
o igual que b, luego b = a1 a2 ar b1 bs, donde los bj tambin son
tomos. Por tanto, h(a) h(b).

Corolario. Toda lgebra de Boole finita B tiene 2n elementos, siendo n el nmero de

tomos que posee B.

Demostracin: Por el Teorema de lgebras de Boole finitas, B tiene el mismo nmero

de elementos que
(M), siendo M el conjunto de tomos. Como B es finito, M tambin
y tendr n elementos. Se ha estudiado que si #(M) = n, entonces #(
(M)) = 2n.

Teorema de representacin de Stone (Teorema de estructura de lgebras de Boole

finitas). Toda lgebra de Boole finita es isomorfa a un lgebra del tipo Bn= B x B xx
B.
Demostracin (no exigible, idea general): Sea L un lgebra de Boole finita con
conjunto de tomos M = {a1, a2,, ar}. Por el Teorema anterior, L es isomorfa a
(M) y
la aplicacin h que hay que establecer de
(M) en Bn viene dada por la siguiente regla:
dado A M, h(A) es una lista de n elementos que en la posicin i-sima es 1 si ai est
en A y es 0 en caso contrario.

4. Funciones booleanas

Una variable booleana es una variable x que slo puede tomar valores en B={0,1}.
Una funcin de conmutacin o funcin booleana de n variables es una aplicacin de
Bn en B. Por ejemplo, f: B3 B dada por f(x,y,z)= x.y+ z.
Cada funcin booleana tiene asociada una tabla de verdad y dada una tabla de verdad,
puede hallarse una funcin booleana que la represente. La siguiente tabla es la tabla de
verdad de la funcin booleana f(xy+z).

x y z xy xy+z
0 0 0 0 0
0 0 1 0 1
0 1 0 0 0
0 1 1 0 1
1 0 0 0 0
1 0 1 0 1
1 1 0 1 1
1 1 1 1 1

El problema inverso, tambin es posible: dada una tabla de verdad, encontrar una
funcin booleana que sea representada por ella.
Vemos 3 ejemplos sencillos que nos ilustrarn sobre el procedimiento general. Aunque
cada una de las funciones booleanas, f, g y h, produce una tabla de verdad distinta, dado
que las 3 tienen las mismas variables, por comodidad, las incluiremos en una nica
tabla. Representaremos por x la variable complementaria de x.

x y z f g h
0 0 0 0 0 0
0 0 1 1 0 1
0 1 0 0 0 0
0 1 1 0 0 0
1 0 0 0 1 1
1 0 1 0 0 0
1 1 0 0 0 0
1 1 1 0 0 0

A la vista de la tabla, observando los valores de las variables para los cuales la funcin
booleana es verdadera, esto es, vale 1, se tiene f(x,y,z) = xyz, g(x,y,z) = xyz, h(x,y,z)
= xyz+xyz.
Se dice que f: Bn B tiene una forma normal disyuntiva si se expresa como suma de
productos finitos de y1,, yn, siendo cada yi o bien xi o bien xi. La forma dual se llama
forma conjuntiva normal. Explicamos, a partir de un ejemplo, como calcular la forma
conjuntiva y el clculo de la forma disyuntiva normal es dual. El primer paso es hallar la
tabla de verdad de la funcin f. Supongamos que tenemos la tabla de abajo.

x y z f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1

A partir de aqu, f(x,y,z) = (x+y+z)(x+y+z)(x+y+z)

El clculo de este tipo de formas se aplica en el diseo de circuitos lgicos con puertas
lgicas AND, OR e inversor y son interesantes porque ayudan a mejorar la velocidad y
la economa de dichos circuitos.