0

REDES
Qu es una Red, Retculo, Reticulado, Lattice o Latis?
Sea (A;

) un conjunto ordenado.

Se dice que es Retculo (Red, Reticulado, Lattice o Latis) si y slo si es a la vez Superior
Semirretculo e Inferior Semirretculo.
O sea, entre todo par de elementos debe existir el supremo y el nfimo en el conjunto.

Superior Semirretculo

Sea (A; ) un conjunto ordenado. Se dice que es Superior Semirretculo si y slo si:
a,b A : supremo {a,b} en el conjunto.

O sea, entre todo par de elementos debe existir el supremo (mnima cota superior) en el conjunto.

Inferior Semirretculo

Sea (A; ) un conjunto ordenado. Se dice que es Inferior Semirretculo si y slo si:
a,b A : nfimo {a,b} en el conjunto.

O sea, entre todo par de elementos debe existir el nfimo (mxima cota inferior) en el conjunto.

Para tener en cuenta:

Al supremo entre a y b lo vamos a denotar: sup {a, b} = a b
Al nfimo entre a y b lo vamos a denotar:
nf {a,b} = a b

La propiedad que presentamos a continuacin es de mucha ayuda para decidir si un conjunto ordenado es una red:

Propiedad
Si a

b ab=b y

ab=a

O sea que SIEMPRE existen a b y a b entre elementos que estn relacionados.

Solamente hay que fijarse si existen entre los que son incomparables.

Veamos algunos ejemplos

1) (D12; ) es red? Construyamos el diagrama de Hasse:
12
4

3
1

Revisemos nicamente si existe supremo e nfimo entre los tres pares de incomparables:
Sup {2, 3} = 6
Sup {3, 4} = 12
Sup {4, 6} = 12

Inf {2, 3} = 1
Inf {3, 4} = 1
Inf {4, 6} = 2

Como todos tienen nfimo y supremo, entonces es RED.

2) (A; R) siendo A= {serpiente, pollito, canario, gato, len, hormiga, araa}

y la relacin R: tiene menos patas que o es el mismo animal que

Es red? no
Por qu?
Por ejemplo, no existe supremo entre pollito y canario, ya que las cotas superiores son {gato, len, hormiga, araa}
y ninguna de ellas precede a todas.

3) (P {a; b}; )

{a}

{a,b}

{b}

Es red?... s
Por qu?
Porque todo par de elementos tiene supremo e nfimo. El nico que hay que revisar es
{{a}, {b}}, y tiene por nfimo a y por supremo a {a,b}.

4) (B;R) siendo B = { Laura, Karina, Juan, Sebastin, Ariel }

y la relacin R: x sac mayor nota que y o x es la misma persona que y
siendo las notas las siguientes:

Alumno
Nota

Laura
7

Karina
9

Juan
8

Sebastin
7

Ariel
10

Es red?... no.
Por qu?
Porque no existe supremo entre Laura y Sebastin.
Para pensar y responder:
Si un conjunto ordenado tiene ms de un maximal o ms de un minimal, puede ser una Red?
SI / NO porque .......................................................................................................

Si un conjunto ordenado tiene un slo maximal y un slo minimal, seguro es una Red?
SI / NO
porque

En conclusin
Se puede decir entonces, que el hecho de tener nico maximal y nico minimal es una

condicin ........................... pero no ................................... para ser Red.

Record que puedes consultar cualquier duda y las respuestas con tus compaeros y tu tutor en
el entorno virtual
Continuemos con la propiedad

Tengamos en cuenta que una vez que estamos seguros de tener una red, el nfimo y el supremo de cada par de
elementos nos permite definir dos operaciones en A que verifican la siguiente propiedad:

Sea (A;

) una red. Las operaciones e cumplen:

1) e son operaciones cerradas

x, y A: ( x y A ) y ( x y A)

2) e son asociativas

3) e son conmutativas
e son idempotentes

b yc

Son equivalentes:

y, z A:
y, z A:
y A: x
y A: x

x(yz)=(xy)z
x(yz)=(xy)z
y= yx
y= yx

x A: x x = x
x A: x x = x

4) e cumplen con absorcin.

5) Si a

x,
x,
x,
x,

x, y A: x ( x y ) = x
x, y A: x ( x y ) = x
ac
bd
ac
bd
a
b
ab =b
ab=a

Red Algebraica

Se denomina Red Algebraica a la terna (A;;) donde la operaciones son las dadas en la
propiedad anterior dotadas de todas esas caractersticas.

Algunos ejemplos de Red Algebraica:

1) ( P(A) ; ; )
2) (D12; mcd; mcm)
3) (A; 1; 2 ) siendo A = {a, b, c, d, e}

a
b
c
d
e

a
b
c
d
e

a
a
b
c
d
e

b
b
B
D
D
E

c
c
d
c
d
e

d
d
d
d
d
e

e
e
e
e
e
e

a
a
a
a
a
a

B
A
B
A
B
B

c
a
a
c
c
c

d
a
b
c
d
d

e
a
b
c
d
e

La propiedad siguiente nos da una forma de obtener una red ordenada a expensas de una red algebraica, as como
anteriormente pasamos de la red ordenada a la algebraica.
Propiedad
Sea una red algebraica (A;; ). La relacin R definida en A tal que a
( o bien a

bab=b

b a b = a ) es una relacin de orden.

Intent demostrar la propiedad anterior Si tens dificultades consult el libro de la ctedra o

envi tu pregunta al tutor para que te pueda orientar.

Teniendo en cuenta la propiedad anterior podemos extraer la siguiente consecuencia:

En la relacin R definida anteriormente se cumple:
Supremo (a; b) = a b y Infimo (a; b) = a b

Como en el caso anterior, intent demostrar la propiedad que acabamos de presentar.

Lo expuesto anteriormente, nos permite comprender que una misma RED puede darse de dos formas distintas pero
equivalentes:

Red Ordenada
(A;

Red Algebraica
( A;; )

Sintetizando

Para pasar de
Red Ordenada

Red Algebraica

A
Red Algebraica

Red Ordenada

Conozco
La relacin de orden

Las operaciones
binarias e

Debo obtener
Las operaciones binarias e :
a b = supremo {a,b}
a b = nfimo {a,b}
La relacin de orden :
a
bab=b
a
bab=a

1) Dada la Red Ordenada (D6;) define dos operaciones que la estructuren en Red Algebraica.
2) Dada (P {a;b;c}; ; ) halla una relacin de orden de forma tal que sea Red Ordenada.
Te proponemos que compartas los resultados de tus ejercicios con tus compaeros para que
puedan autoevaluarse y que consultes al tutor para comprobar si la resolucin del ejercicio es
correcta.

Como hemos visto toda red ordenada es algebraica y viceversa, por eso, directamente las llamaremos REDES.
A partir de aqu, veremos algunas definiciones que nos van a conducir a un tipo especial de redes, que son las
Algebras de Boole, fundamentales en computacin, ya que se utilizan en los circuitos digitales.

Complemento de un elemento

Sea (A;

) una Red con primer elemento 0A y ltimo elemento 1A.

Sea a A. Se define complemento de a (se indicaa) a todo elemento que cumpla las
siguientes condiciones:
1)

a a = 0A

2) a a = 1A

Veamos algunos ejemplos

Calculemos los complementos de cada elemento de las siguientes redes:

a) (P{1,2}; )

b) ( A ={ 1,2,3,5,30}; )

{1}

30

{1,2}
2

{2}

c) ( {1,2,3,4}; )

El 2 y el 3
no tienen

complemento

1
4

= {1,2}

{1} = {2}

1 = 30 2 = {3,5} 30 =1

{2} = {1}

{1,2} =

3 = {2, 5} 5 = {2,3}

1=4

4=1

Por lo visto anteriormente podemos decir:

En una red, cada elemento puede tener un nico complemento, ms de uno o ninguno.

Red Complementada
Una Red es Complementada si y slo si cada elemento tiene al menos un complemento.

Entonces, de las tres redes que presentamos anteriormente son complementadas las dos primeras.
Sea la siguiente red: ( D30; | ) Analicemos si es complementada.
Recordemos que si bien esta red est expresada como conjunto ordenado, ya sabemos estructurarla
algebraicamente con dos operaciones cerradas. En este caso la red algebraica correspondiente es:
( D30;; ) siendo a b = m.c.m.{a,b} y a b = m.c.d.{a,b}
El primer elemento es el 1, y el ltimo es el 30.
Analicemos entonces los complementos:

1 = 30 pues

1 30 = 30

y 1 30 = 1 y por lo tanto 30 = 1

2 = 15 pues

2 15 = 30

y 2 15 = 1 y por lo tanto 15 = 2

3 = 10 pues

3 10 = 30

y 3 10 = 1 y por lo tanto 10 = 3

5 = 6 pues

5 6 = 30

y 6 5 = 1 y por lo tanto 6 = 5

Por lo tanto: (D30; | ) es red complementada.

Distributividad
Sea (A,, ) una Red, diremos que la Red es distributiva si y slo si:
a,b,c A : a ( b c ) = ( a b ) ( a c )
a,b,c A : a ( b c ) = ( a b ) ( a c )

La Red (P {a,b,c};
{a,b,c}; ; ) es distributiva?
S, pues la unin y la interseccin de conjuntos distribuyen mutuamente, cualquiera sean los conjuntos involucrados,
en particular en P(A).

Presentamos una propiedad que puede resultar muy til al investigar la distributividad de algunas redes:
Propiedad
En toda red distributiva, el complemento, si existe, es nico.
Esto significa que si existe un elemento con ms de un complemento, la Red no ser distributiva.
Teniendo en cuenta la propiedad citada, pensemos si es distributiva la red ( { 1,2,3,5,30} ; )
No es distributiva, pues hay elementos con ms de un complemento.

La siguiente propiedad nos va a ayudar an ms a poder saber si una red es o no distributiva:

Propiedad
Toda red finita es distributiva no contiene ninguna subred isomorfa a alguna de las siguientes:

Red modular
Sea ( A;; ) una Red, diremos que la Red es modular si y slo si:
a,b,c A : a

c: a ( b c ) = ( a b ) c

Propiedad
La propiedad que relaciona las redes distributivas con las modulares establece que:
Toda red distributiva es modular.

Te proponemos que intentes demostrar la propiedad anterior. Si tens dificultades consult al tutor.

Ejemplo
Consideremos el conjunto de materias de una carrera de la Universidad M = { materiai } y
establezcamos una relacin entre las materias de la siguiente forma:
Materia i R Materia j la Materia i se debe tener cursada antes de cursar la Materia j o ser
la misma materia
Por ejemplo, en el plan de estudios ao 95 de Ingeniera en Sistemas de Informacin, la materia Anlisis
Matemtico II se debe cursar antes que Modelos Numricos.
A su vez, Anlisis Matemtico I se debe cursar antes que Anlisis Matemtico II, por lo tanto puede cursarse
Modelos Numricos antes que Anlisis Matemtico I? Por supuesto que no. Vemos entonces que es vlida la
transitividad. Tambin la relacin es reflexiva, ya que lo dice explcitamente la relacin.
Tambin se advierte ver que es relacin antisimtrica, ya que sera imposible que para cursar una materia se deba
tener cursada otra, y para cursar esta otra se deba tener cursada la primera. En ese caso no se podra cursar
ninguna de las dos!
Es decir, que en los planes de estudio, claramente esta relacin es de orden.
Si investigas el plan de tu carrera, puedes construir el diagrama de Hasse de esta relacin y vers que los minimales
son las materias con las que puedes comenzar la carrera y los maximales son aquellas materias con las cuales te
puedes recibir. Si quieres cursar una materia, las cotas inferiores son todas las materias que s o s debes tener
cursadas previamente.Los elementos incomparables son materias que se pueden cursar simultneamente.
El cardinal del subconjunto bien ordenado con mayor cardinal que se pueda encontrar te indicar la mnima cantidad
de tiempo (hay que ver si son cuatrimestrales o anuales) en que se puede hacer la carrera.

Para finalizar, sinteticemos los ltimos temas que analizamos:

Una red es un conjunto ordenado en el cual existe supremo e nfimo entre
todo par de elementos.
Una condicin necesaria para que un conjunto ordenado sea Red es que
tenga primer y ltimo elemento. Dicha condicin no es suficiente.
Las redes se pueden estructurar algebraicamente definiendo dos operaciones
binarias que sean cerradas, asociativas, conmutativas, idempotentes y que
estn ligadas por la absorcin.
Las operaciones que estructuran una red algebraica son las que dan por
resultado el supremo y el nfimo entre cada par de elementos.
Conocidas las dos operaciones cerradas de una Red, se puede hallar la
relacin de orden correspondiente de la siguiente forma: a
bab=b
(a
b a b = a)
El complemento de un elemento es otro elemento del conjunto tal que el
supremo entre ambos sea el ltimo elemento, y al mismo tiempo el nfimo
sea el primer elemento del conjunto.
En una red, cada elemento puede tener uno, ninguno o ms de un
complemento.
Las redes en las cuales todos los elementos tienen al menos un complemento
se denominan redes complementadas.
Toda red en la cual las dos operaciones binarias se distribuyen mutuamente
se denomina red distributiva.
En toda red distributiva no puede haber elementos con ms de un
complemento.
Toda red distributiva es modular.
Te sugerimos que antes de iniciar lgebras de Boole afiances estos conceptos.

10

LGEBRAS BOOLEANAS
George Boole, famoso matemtico del siglo XIX, en el ao 1854 escribi el libro The Laws of Thought, que
contribuy para el desarrollo de una teora lgica que utilizaba smbolos en lugar de palabras.
En el ao 1938, C. E. Shannon, quien en 1936 obtuvo los ttulos de ingeniero electricista y matemtico en la
Universidad de Michigan, acept la posicin de asistente de investigacin en el departamento de ingeniera elctrica
en el Instituto de Tecnologa de Massachusetts (MIT). Trabaj en el computador analgico ms avanzado de esa
era: Vannevar Bush's Differential Analyzer. En su tesis de maestra en el MIT, demostr cmo el lgebra booleana se
poda utilizar en el anlisis y la sntesis de la conmutacin y de los circuitos digitales. Este fue el puntapi que
convirti al lgebra booleana en un medio indispensable para el anlisis y el diseo de computadoras electrnicas.
Veremos a continuacin el concepto de lgebra de Boole -que no debe resultarnos extrao ya que, en definitiva, es
un caso particular de las redes vistas en la unidad anterior-, sublgebra de Boole, homomorfismo (o morfismo) e
isomorfismo para estas lgebras.
Ms adelante nos ocuparemos de las funciones booleanas.
Comencemos con la definicin de lgebra de Boole:
B es un Algebra de Boole si B es una red distributiva y complementada.
Podemos decir que un conjunto parcialmente ordenado en el cual dos elementos cualesquiera
tienen una nica cota superior mnima y una nica cota inferior mxima, complementado y
distributivo se conoce como lgebra de Boole.

De la definicin vamos a inferir algunas observaciones:

El conjunto B est ordenado.

El primer elemento de B es

El ltimo elemento de B es 1B .
Mnima cota superior
m.c.s {a,b} = a b B
Mxima cota inferior
m.c.i {a,b} = a b B

(B; ; ) es un lgebra de Boole si y slo si cumple los siguientes 5 axiomas:

0B .

1. : B
B; : B B
2. a B, b B: a b = b a

ab=ba
3. a B, b B, c B: a (b c) = (a b) (a c)
a (b c) = (a b) (a c)
4. 0 B B tal que a B: a 0 B = a
1B B tal que a B: a 1B = a
5. a B, a B tal que a a = 1B
a a = 0 B

11

Un Algebra de Boole es un sistema dual y por lo tanto se verifica el Principio de Dualidad.

Este tema lo pods consultar en el captulo 14 del libro de la ctedra.

Los siguientes ejemplos pueden aclarar algunas dudas:
1. ({0, 1}; ; ) cuyas tablas de operaciones son las siguientes:

0 1
0 0 1
1 1 1

0 1
0 0 0
1 0 1

Es el lgebra de Boole trivial con el siguiente Diagrama de Hasse:

0
2. D10 = {x tales que x | 10}, con a
Su diagrama de Hasse es el siguiente:

b a | b es un Algebra de Boole.

10

Tomemos los tomos para generar los nmeros x = 2 . 5 , y = 2 . 5

con a, b, c, d {0, 1}

12

Entonces operemos x e y con

D y D

para ver si cumplen con las propiedades:

a) Veamos si son operaciones cerradas en D10 :

x
x

D
D

y = 2a c . 5b d D10
y = 2a c . 5b d D10

Por lo tanto

D e D

son operaciones cerradas en D10 .

b). Comprobemos ahora si son conmutativas:

Por lo tanto

y = 2a c . 5b d
= 2c a . 5d b por conmutatividad del
= y D x
y = 2a c . 5b d
= 2c a . 5d b por conmutatividad del
= y D x

D e D

son operaciones conmutativas en D10 .

c). Probemos la distributividad de ambas operaciones:

Sea z = x = 2e . 5f , con e y f {0, 1}

(y

z) =
=
=
=

Esto verifica la distributividad de

2a . 5b D ( 2c . 5d D 2e . 5f) reemplazando los valores de x, y, z

2a (c e) . 5b (d f)
2(a c) (a e) . 5(b d) (b f)
(x D y) D (x D z)

respecto de

y por lo tanto de

respecto de

D ,

es decir x D10 , y D10 , z D10 , se cumple que:

(y

z) = (x

d) Encontremos el

y)

0D10 y el 1D10

Se cumple que x D10 : 1

(x

x =1

z)

(2a . 5b)
Recordemos para justificar el siguiente paso que al elevar a la 0 cualquier base no nula obtenemos 1.
= 2(0 a) . 5(0
= 2a . 5b
=x
con lo que

b)

0D10 es 1

13

Se cumple que x D10 : 10

D (2a . 5b)
= 2 . 5 D (2a . 5b)

x = 10

= 21 a . 51 b
= 2a . 5b
=x
con lo que 1D10 es 10.

e) Encontremos los complementos

Sea x D10 con x = 2 a . 5 b y sea y D10 con y = 21 a . 51 b
Entonces x

Adems: x

y = 2 a . 5 b D 2 1 a . 5 1 b
= 2 a (1 a) . 5 b (1 b)
= 2 (a a) 1 . 5 (b b) 1
= 2 0 1 . 5 0 1
= 2 0. 5 0
= 1. 1
=1

y = 2 a . 5 b D 21 a . 51 b
= 2 a (1 a) . 5 b (1 b)
= 2 (a 1) (a a) . 5 (b 1) (b b)
= 2 11 . 5 1 1
= 2 1. 5 1
= 10

Con lo cual y = x
3. D 28 = { x tales que x | 28 }, con a
Su diagrama de Hasse es el siguiente:

b a | b NO es un Algebra de Boole.

28

14

No es complementada pues:

14

28 = 1
1 = 28
7 = 4
4 = 7
Pero no existen 2 ni 14 .

Como D 28 no es una red complementada ya que hay dos elementos que no tienen complemento
lgebra de Boole.

no es

Se podra decir que (P(A); ; ) es un lgebra de Boole?

Intent responder la pregunta y si no pods recurr al tutor para que te oriente
La siguiente propiedad nos ayudar a reconocer las lgebras de Boole de las redes que no lo sean, siempre que el
conjunto est ordenado por la divisibilidad.

Propiedad:
Sea n N, n 2. Entonces la red distributiva:
Dn = { x N, tal que x | n } con la relacin divide a es un lgebra de Boole si y slo si
a

ar

n = p 11 ... p r

con

ai {0, 1} i = 1, r ,

pi es un nmero primo i = 1, r donde

pi pj si i j, i = 1, r.

Es decir la red distributiva alcanzar la estructura de lgebra de Boole si y solamente si el nmero n se puede
expresar como un producto de primos distintos.
En el ejemplo anterior, 28 = 4.7, es decir 28 = 2.2.7, se tiene que D 28 , ordenado por la divisibilidad no es
lgebra de Boole, pero D231 , si es lgebra de Boole porque 231=3.7.11, es decir cumple con la condicin
requerida.
Las siguientes cuestiones sintetizan lo visto anteriormente; te recomendamos que las tengas en cuenta si quers
analizar si una red, ordenada por la divisibilidad, alcanza la estructura de lgebra de Boole.

El primer elemento de Dn es

El ltimo elemento de Dn

0Dn = 1
es 1D n = n

a Dn , b Dn : a b = m.c.m {a, b} = [a; b]

a Dn , b Dn : a b = m.c.d {a, b} = (a; b)
ar
En Dn : n = p 1a1 ... p r con ai {0, 1}, i p p j si i j, i, j = 1,r
i

15

a Dn : a = p1a1 ... p r

podemos ver que a a = 1 sia queda as definido:

ar

a1

a 1

a 1

a = p 1 ... p r de donde a = p1 1 p2 2
ar

a D a = ( a; a ) = p

a 1 a1
1

a2 1 a 2

p2

..... p

a 1

......

pr r

ar 1 a r
r

y se verifica que

= p1 p2 .... pr = 1
0

Algo para tener muy en cuenta y que usamos en la demostracin anterior es que ai
independientemente del valor de

1 ai

es siempre nulo

ai .

Por el principio de dualidad se verifica que a a = n

Finalmente, la proposicin que sigue sintetiza las propiedades que se cumplen en un lgebra de Boole, que
podemos probarlas usando la definicin, es decir todas aquellas propiedades que intervienen para definir la
estructura, tales como la propiedad conmutativa y la distributiva.
Tengamos en cuenta que las propiedades que se enuncian se deducen de la definicin.
Proposicin:
En un lgebra de Boole (B; ; ) se satisfacen las siguientes propiedades:
a)

Los elementos 0 B y 1B sn nicos.

Demostracin:
Supongamos que 0 B 0 B sean el elemento nulo o primer elemento de B. Entonces:
0 B 0 B = 0 B 0 B = 0 B como
0 B 0 B = 0 B 0 B resulta que 0 B = 0 B
De forma anloga se prueba para 1B .

b) Todo elemento tiene un nico complemento.

Intent demostrarlo.
c)

Todo elemento es idempotente, es decir, a B a a = a (a a = a)

Demostracin:

a = a 0B
= a (a a)
= (a a) (a a )
= (a a) 1B
=aa

es el elemento neutro para

Definicin de complemento.
Propiedad Distributiva
Definicin de complemento.
1B elemento neutro para

0B

Por principio de dualidad: a a = a.

d) Los elementos neutros se complementan mutuamente es decir que:

16

1 B = 0B
_

0 B = 1B
e)

Todo elemento es involutivo, es decir a =a

f)

El elemento neutro para (1B ) es absorbente para la ; es decir que

a B: a 1 B = 1 B
Anlogamente, a B: a 0 B = 0 B ; es decir, por el principio de dualidad, resulta que el
elemento neutro para es absorbente para la .
g) Leyes de De Morgan:
_______

a. a B, b B: ( a b ) = a b
b. a B, b B:

_______

( a b ) = a

Te proponemos que intentes desarrollar la demostracin de las propiedades enunciadas. Si tens dificultades pods
consultar a tu tutor, pero te recomendamos que intentes probarlas.
Finalmente la siguiente propiedad muestra que, en un lgebra de Boole, la distributividad garantiza que los
elementos slo pueden tener un nico complemento.
Recordemos que hay redes complementadas donde algunos elementos tenan ms de un complemento y no eran
distributivas, si no lo recuerdas puedes ir a la unidad 3 o consultarlo al libro de la ctedra en el captulo 14.
Recordemos la siguiente propiedad, que vimos en la unidad anterior y que ahora demostraremos.

En un lttice distributivo, si un elemento posee un complemento entonces este complemento es nico.

Demostracin:
Supongamos que un elemento a posee dos complementos b y c. Lo que escribimos:

ab=1

ab=0

ac=1

ac=0

Sabemos que:

b=b1

17

= b (a c) reemplazando a c = 1
= (b a) (b c) por propiedad distributiva
= 0 (b c) reemplazando a b = 0
= (a c) (b c) reemplazando a b = 0
= (a b) (c c) por propiedad distributiva
= (a b) c reemplazando c c = c
= 1 c reemplazando a b = 1
= c
1

Veremos ahora la definicin de sublgebra de Boole . Comencemos por la definicin formal.

Sea B un lgebra de Boole. Sea A B.
A es un sublgebra de B si (A; /A) es un lgebra de Boole.

De esta definicin podemos decir que:

1)

/A = orden restringido a A.

2) Si B es un lgebra de Boole y A es una sublgebra entonces A verifica:

i) a A a A
ii) a A, b A a b A
iii) a A, b A a b A
iv)

0B A

v) 1 B A
El siguiente ejemplo nos ayudar a comprender mejor el tema
( D 42 = { x tal que x | 42 };
Su diagrama de Hasse es el siguiente:

) con a

b a | b es un lgebra de Boole.

Este no es un tema nuevo pues sabemos que el sufijo SUB nos indica que para determinada estructura, cualquier
subconjunto que cumpla las mismas propiedades constituye una subestructura. En este caso, cualquier subconjunto
incluido en un lgebra de Boole ser una sublgebra de Boole si cumple con todos los requerimientos.

18

42

14
3

21

Tomemos los conjuntos:

A1 = {1, 42}
A2 = {1, 2, 21, 42}
A3 = {1, 3, 14, 42 }
y probemos que son sublgebras.
1) A1 = {1, 42 }
El diagrama de Hasse es el siguiente:

42

1
i) Analicemos los complementos:
_
1 = 42
__
42 = 1
Verifica que si a A1 a A1

ii) a A1 , b A1 a b A1
Como a b = [a; b] se obtiene:

19

1 1 = [1; 1] = 1 A1
42 1 = [42; 1] = 1 42 = [1; 42] = 42 A1
42 42 = [42; 42] = 42 A1
iii) a A1 , b A1 a b A1
Como a b = (a; b) se obtiene:
1 1 = (1; 1) = 1 A1
42 1 = (42; 1) = 1 42 = (1; 42) = 1 A1
42 42 = (42; 42) = 42 A1
iv) Como

0 B = 1 y 1B = 42

A1

Queda probado que A1 es sublgebra.

2) A2 = {1, 2, 21, 42 }
El diagrama de Hasse es el siguiente:

42

21

i) Analicemos los complementos:

_

1 = 42
__

42 = 1
_

2 = 21
__

21 = 2
Verifica que si a A2 a A2

ii) a A2 , b A2 a b A2
a
a
a
a

D 42 : a a = a por idempotencia.
A2 : a a = (a; a) = a A2
D 42 : 1 a por ser 1 el primer elemento
A2 : 1 a 1 a = (1; a) = 1 A2

20

 a D 42 : a
a A2 : a

42 por ser 42 el ltimo elemento

42 a 42 = (a; 42) = a A2 por propiedad de Redes.

Sea a = 2 y b = 21 entonces 2 21 = (2; 21) = 1 A2

iii) a A2 , b A2 a b
a
a
a
a

A2

D 42 : a a = a por idempotencia.
A2 : a a = [a; a] = a A2
D 42 : 1 a por ser 1 el primer elemento
A2 : 1 a 1 a = [1; a] = 1 A2

a D 42 : a 42 por ser 42 el ltimo elemento

a A2 : a 42 a 42 = [a; 42] = a A2 por propiedad de Redes.
Sea a = 2 y b = 21 entonces 2 21 = [2; 21] = 42 A2

iv) Como

0 B = 1 y 1B = 42

A2

Queda probado que A2 es sublgebra.

3) A3 = { 1, 3, 14, 42 }
Con el siguiente diagrama de Hasse:

42

14

Se prueba de manera similar al punto anterior. Intent hacerlo, si no pods, consult con tu tutor.

21

Antes de continuar sinteticemos lo que hemos desarrollado hasta ac

Definimos el lgebra de Boole como una red distributiva y complementada.

Estudiamos varios ejemplos de redes algunas de las cuales alcanzaban la

estructura de lgebra de Boole y otras que no la alcanzaban.

En particular, estudiamos el caso de la red de los divisores positivos de n,

ordenados por la divisibilidad y llegamos a la conclusin de que para ser
lgebra de Boole, el n debe ser un producto de primos distintos

Presentamos propiedades que se cumplen en toda lgebra de Boole y

destacamos que la propiedad distributiva garantiza la unicidad del
complemento

Dimos la definicin de sublgebra de Boole: sea B un lgebra de Boole.

Sea A B. A es un sublgebra de B si (A;

/A) es un lgebra de

Boole. Analizamos varios ejemplos.

Veremos ahora el concepto de homomorfismo (o morfismo) para lgebra de Boole - que seguramente estudiaste
en lgebra y Geometra Analtica, en relacin con los espacios vectoriales, aunque all reciben el nombre de
transformaciones lineales. Tambin los vimos en grupos .
Podemos decir que:

Un homomorfismo, (o a veces simplemente morfismo) de un objeto matemtico a otro de la

misma categora, es una funcin que es compatible con toda la estructura relevante.

Por ejemplo, si un objeto consiste en un conjunto X con un orden < y el otro objeto consiste en un conjunto Y
con orden {, entonces debe valer para la funcin que: si u, v son elementos de X tales que u precede a v en el
orden establecido debe pasar que la imagen de que la funcin le asigna a u debe preceder a la imagen que le
asigna a v.
Formalizando se tiene:
Si u, v X / u < v , f: X Y un homomorfismo entonces: f(u) { f(v)
Si en estos conjuntos hay definidas operaciones binarias + y *, respectivamente, entonces debe valer que:

f(u + v) = f(u) * f(v)

22

Ejemplos de morfismos son los homomorfismos de grupos, y de anillos (son otra estructura algebraica que si bien
no estudiaremos en detalle ya conocemos pues la alcanza el conjunto de los enteros con la adicin y la
multiplicacin, Los morfismos, entonces son funciones que arrastran la estructura, pero son funciones, por lo tanto
se clasifican; en ese caso el homomorfismo toma distintas denominaciones. Repasemos la clasificacin que
volveremos a ver al abordar el tema grupos.
* Un homomorfismo que es tambin una biyeccin se llama isomorfismo;
isomorfismo dos objetos isomorfos son totalmente
indistinguibles por lo que a su estructura se refiere (tengamos en cuenta que la funcin inversa tambin es un
homomofismo biyectivo)
* Un homomorfismo de un conjunto a s mismo se llama endomorfismo;
endomorfismo si es tambin un isomorfismo se llama
automorfismo.
* Un homomorfismo que es suprayectivo o exhaustivo se llama epimorfismo.
epimorfismo
* Un homomorfismo que es inyectivo se llama monomorfismo.
monomorfismo

La siguiente es la definicin formal de homomorfimos para lgebras de Boole

Sean (A; ; ) y (B; ; ) dos lgebras de Boole.
Una funcin f: A
B se dice homomorfismo si verifica las siguientes condiciones:
_

i.
ii.
iii.
iv.
v.

_____

a A: f (a) = f (a )
a A, b A: f ( a b) = f ( a ) f (b)
a A, b A: f ( a b) = f ( a ) f (b)
f (0 A) = 0 B
f (1A) = 1B

Veamos algunos ejemplos

Si D10 y D21 ordenados por a

b a | b. Los diagramas de Hasse en cada caso son:

23

D21

D10
10

21

Como 10 = 2.5 y 21 = 3.7 son lgebras de Boole.

En D10 : a b = [a, b]

a b = (a, b)
En D21 : a b = [a, b]

a b = (a, b)
En D10 se verifica que :
_

__

1 = 10 10 = 1
_

__

2=5 5 = 2
En D21 se verifica que:
_

__

1 = 21 21 = 1
_

__

3=7 7 =3
Definimos la siguiente funcin f: D10

D21 tal que:

f(1) = 1
f(2) = 3
f(5) = 7
f(10) = 21
y probaremos que es un homomorfismo.
Como:

f (2) = f (5) = 7

24

f (2) = 3 = 7
De ac inferimos que f (2) = f (2)

f (5) = f (2) = 3
f (5) = 7 = 3
De ac inferimos que f (5) = f (5)

f (1) = f (10) = 21
f (1) = 1 = 21
De ac inferimos que f (1) = f (1)

f (10) = f (1) = 1
f (10) = 21 = 1
Se deduce que f (10) = f (10)
Por lo tanto, se verifica el primer punto de la definicin de homomorfismos de lgebras de Boole.
Veamos otro ejemplo:
En D10 : a b = [ a, b ] y en D10 : a b = [ a,b ], debemos ver que:

a D10 , b D21 : f [ a, b ] = [ f (a), f(b) ]

La imagen por f del mnimo comn mltiplo entre a y b debe ser igual al mnimo comn mltiplo entre la
imagen por f de a y la imagen por f de b.
a D10 a [ a, a ] = a f [a, a] = [ f(a), f(a) ]
Por ejemplo para a = 2 se obtiene: f [2, 2] = f (2) = 3
Y [f(2), f(2)] = [3 3] = 3
Es decir que: f [2, 2] = [f(2), f(2)]
Por ejemplo para a = 5 se obtiene: f [5, 5] = f (5) = 7

Y [f(5) f(5)] = [7, 7] = 7

Es decir que: f [5, 5] = [f(5), f(5)]
a D10 a [ 1, a ] = a f [1, a] = [ f(1), f(a) ] = f(a)
Por ejemplo para a = 2 se obtiene: f [1, 2] = f (2) = 3
Y [f(1), f(2)] = [1, 3] = 3
Es decir que: f [1, 2] = [f(1), f(2)]

25

 a D10 a [ 10, a ] = a f [10, a] = [ f(10), f(a) ] = f(10) = 21

Por ejemplo para a = 2 se obtiene: f [10, 2] = f (10) = 21
Y [f(10) f(2)] = [21, 3] = 21
Es decir que: f [10, 2] = [f(10), f(2)]
Nos queda considerar el caso de a = 2 y b = 5:

f [2 5] = f (10) = 21
Y [f(2) f(5)] = [3, 7] = 21
Es decir que: f [2,5] = [f(2), f(5)]
Por lo expuesto, se verifica el punto 2 de la definicin de homomorfismos de lgebras de Boole.

2. De igual forma se puede probar que se cumple la condicin 3.

a D10 a (a,a) = a f (a,a) = (f(a), f(a))

Por ejemplo para a = 10 se obtiene:
f(10, 10) = f(10) = 21.
a D10 a (1; a) = 1 f (1, a) = (f(1), f(a)) = (1, f(a)) = 1
Por ejemplo para a = 2 se obtiene:
f(1,2) = f(1) = 1.
a D10 a (10, a ) = a f (10, a) = ( f(10), f(a) ) = f(a)
Por ejemplo para a = 2 se obtiene: f (10, 2) = f (2) = 3
Y (f(10), f(2)) = (21, 3) = 3
Es decir que: f (10, 2) = (f(10), f(2))
Nos queda considerar el caso de a = 2 y b = 5:
f (2,5) = f (1) = 1
Y (f(2), f(5)) = (3, 7 ) = 1
Es decir que: f (2, 5) = (f(2), f(5))

No tenemos en cuenta ms casos ya que f(a, b) = f(b, a) = (f(a), f(b)) = (f(b), f(a))
Se verifica el punto 3 de la definicin de homomorfismo.
Por la forma en que definimos f se verifican los puntos 4 y 5 de dicha definicin. Como por definicin es biyectiva,
resulta ser un isomorfismo.
Si ahora miramos los diagramas de Hasse que hicimos al comenzar el desarrollo del ejemplo vemos que son
iguales.

La siguiente proposicin aplica el concepto de homomorfismo a sublgebras y a la composicin de

homomorfismos.

26

Sean (A; ; ) y (B; ; ) dos lgebras de Boole. Sea f: A

i.
ii.
iii.

B un homomorfismo, se verifica que:

Si A1 es sublgebra de A es f( A1 ) sublgebra de B.
Si (A;

) y (B; 2 ) y a 1 b entonces f(a) 2 f(b).

(C; ; ) es un lgebra de Boole y
g: B C es un homomorfismo, es g o f : A C un homomorfismo.
1

Intent hacer la demostracin; si no te sale pods consultar con tu tutor o verla en el Captulo 15 del libro de la
ctedra.
Tengamos en cuenta la siguiente definicin de isomorfismo de lgebra de Boole pues permite modelizar distintas
situaciones.

Si f: A
B es homomorfismo biyectivo f se dice isomorfismo y en ese caso las lgebras de
Boole A y B son isomorfas y se indica A B.

Es decir que dos lgebras de Boole son isomorfas si son la misma lgebra con distintos nombres para los
elementos.
Si an no te queda claro volv a consultar el ejemplo de las lgebras D10 y D21 que fue el ejemplo de presentacin
de los homomorfismos de grupos. Fijate que si en alguna de ellas pons el nombre de los elementos de la otra no
tens alteracin alguna, son isomorfas.
Las siguientes definiciones de lgebra de Boole atmica y finita son muy tiles para entender el nmero de
elementos que puede tener cualquier lgebra de Boole.

Un lgebra de Boole es atmica si todo elemento no nulo, es decir todo elemento que no sea el
0 A , o sea el primer elemento, es precedido por un tomo.

Veamos los siguientes ejemplos:

1. Sea A = { a, b } entonces P(A) = { , {a}, {b}, {a, b} }
En ( P(A); ) los tomos son {a} y {b}; su diagrama de Hasse es el siguiente

27

{a, b}

{a}

{b}

Algo muy importante es que A: en el lgebra de Boole ( P(A); ) los tomos son los conjuntos
unitarios.
2. En ( {0,1} ); ; ) dadas por:

0
1

Como a

0
0
1

0
1

1
1
1

b a b = b a b = a resulta 0

0
0
0

1
0
1

El diagrama de Hasse correspondiente es as:

donde el nico tomo es 1.

En ([10; 11)

) con x

y x y no hay tomos.

Podras explicarlo? Si tens alguna duda sobre este tema planteala en el foro y entre todos tratamos de encontrar
la solucin.

28

Tengamos en cuenta las siguientes observaciones

a. Un lgebra de Boole es sin tomos si no tiene tomos (como en el punto 3. del ejemplo).
b. Si f: A
B es isomorfismo de lgebras de Boole y a A es tomo de A entonces
f(a) es un tomo en B.
El teorema siguiente nos muestra que toda lgebra de Boole finita es isomorfa al conjunto de partes de sus tomos,
n
por lo tanto debe tener la misma cantidad de elementos que son 2 . (Recuerden que en la primera unidad
probamos, usando induccin matemtica, que el conjunto de partes de cualquier conjunto A con tena 2n)
Sea (A; ; ) un lgebra booleana finita y A el conjunto de tomos. Entonces (A; ; ) es isomorfo al sistema
algebraico definido por la red (P(A);).
Recordemos que (P(A);) es una red complementada que es la red (P(A);;) que es un lgebra de Boole.
La importancia de esta propiedad es que existe un lgebra booleana nica y finita de 2n elementos para cualquier
entero n > 0. Adems, no existen otras lgebras booleanas finitas.
Esto indica que si B es un lgebra de Boole finita necesariamente tiene 2n elementos.

Veamos algunos ejemplos que seguramente nos servirn para aclarar dudas
1. Sean D30 y D70 con la relacin a

b a | b.

El siguiente es uno de los homomorfismos que existen entre las lgebra de Boole dadas, f: D30
definido por:

D70

f(1) = 1
f(5) = 7
f(3) = 5
f(2) = 2
f(15) = 35
f(10) = 14
f(6) = 10
f(30) = 70
Como ejercicio prob que f es homomorfismo. Si te anims, pods definir otras funciones biyectivas que sean
homomorfismos, sabs cuntas son? Si tens alguna duda plantasela al tutor o consult el libro de la ctedra en
el captulo 15.
Como los tomos de D30 son {2,3,5} y los de D70 son{2, 5,7} alguna de las posibilidades para que

D70 sea isomorfismo es:

f: D30
2
3

5
2

29

Se prueba fcilmente que f es biyectiva y resulta entonces D30 D70

Ahora construyamos f: D30

D70 de forma que:

f(2) = 10
f(3) = 14
f(5) = 7
f(30) = 70
f(1) = 1
f(15) = 35
f(6) = 5
f(10) = 2
Es biyectiva pero no es homomorfismo (es decir no puede ser isomorfismo), dado que:

a = 2 D30 tal que a es tomo de D30

y f(a) = 10 D70 pero no es tomo de D70 ,entonces no respeta la estructura ordenada

La siguiente proposicin formaliza todo lo que estuvimos trabajando:

Si (B; ; ) es un lgebra de Boole finita y A es el conjunto de tomos de B, entonces B (A).
Cuestiones a tener en cuenta:

Toda lgebra de Boole finita tiene tomos.

Si B es un lgebra de Boole finita, existe n
tal que |B| = 2n
Si A y B son dos lgebras de Boole finitas de igual cardinal entonces son isomorfas.

El siguiente ejemplo puede aclarar estos conceptos

Sea ( D6 ; ) donde a
b a | b. Sabemos que D6 es un lgebra de Boole.
Su diagrama de Hasse es:

30

El conjunto de tomos es A = { 2, 3 }
El cardinal de D6 es | D6 | = 4 ( A).
Sabemos que (( A); ) es un lgebra de Boole. Su diagrama de Hasse es:

{2, 3}

{3}

Estableceremos el homomorfismo f: D6

( A) de forma tal que:

f(1) =
f(2) = {2}
f(3) = {3}
f(6) = {2, 3} = A
f es biyectiva. Verifiquemos la definicin, si no la records ten en cuenta que
si (A; ; ) y (B; ; ) son dos lgebras de Boole.
Una funcin f: A

B es un homomorfismo si verifica las siguientes condiciones:

_

_____

1. a A: f (a) = f (a )
2. a A, b A: f ( a b ) = f ( a ) f (b )
3. a A, b A: f ( a b ) = f ( a ) f (b )
4. f (0 A) = 0 B

31

5.

f (1A) = 1B
_

_____

1. a D6 : f (a) = f (a )
_

_____

a ( A): f (a) = f (a )
En D6 : 1 = 6 6 = 1

2 = 3 3 = 2
En ( A): = A A =
_

{2} = {3} {3} = {2}

2. a A, b B: f(a b) = f(a) f(b)
En D6 : a b = m.c.m.{a, b} = [a, b]
En ( A): f(a) f(b) = f(a) f(b)
Vamos a probar que a D6 , b D6 : f([a, b]) = f(a) f(b)

a D6 : [a, a] = a f([a,a]) = f(a) f(a) = f(a) por idempotencia de la operacin

a D6 : [1, a] = a f([1, a]) = f(a)
= f(a) por es neutro para la operacin
= f(1) f(a) por definicin de f: f(1) =
a D6 : [a, 6] = a f([a, 6]) = f(6) = A por definicin de f.
= f(a) A por propiedad absorbente de
= f(a) f(6) por definicin de f.
Nos queda considerar para el caso [2, 3]

[2, 3] = 6
f([2, 3]) = f(6) = {2, 3} = A y f(2) f(3) = {2} {3} = {2, 3} = A
Por lo que: f([2, 3]) = f(2) f(3)
Se prueba de idntica forma para el m.c.d., que indicamos (a, b)
Como ejercicio te pedimos que intentes probarlo.

32

Sintetizando:

Repasamos el concepto de homomorfismo ya visto en lgebra y

Geometra Analtica
Vimos que, segn la clasificacin de la funcin f, los
homomorfismos pueden ser: isomorfismo, endomorfismo,
epimorfismo o monomorfismo.
Definimos los morfismos para lgebra de Boole, tal que:
Sean (A; ; ) y (B; ; ) dos lgebras de Boole.
Una funcin f: A
B se dice homomorfismo si verifica las
siguientes condiciones:

_
_____
i. a A: f ( a ) = f ( a )
ii. a A, b A: f ( a b ) = f ( a ) f (b )
iii. a A, b A: f ( a b ) = f ( a ) f (b )
iv. f (0 A) = 0 B
v.

f (1A) = 1B

Analizamos distintos ejemplos

Vimos que las lgebras de Boole finitas siempre tienen tomos y

las que tienen el mismo cardinal son siempre isomorfas y por lo
tanto tienen el mismo diagrama de Hasse
Enunciamos y analizamos la propiedad que muestra la razn por
la que las lgebras de Boole finitas tienen siempre 2n elementos.

Avancemos ahora con las funciones en lgebra de Boole.

Funciones en un lgebra de Boole.

Para representar el objeto ms pequeo e indivisible en una computadora digital slo hay dos posibilidades: usar el
0 o el 1. Todos los programas y datos ser reducen a combinaciones de bits. Los circuitos electrnicos permiten
que estos recursos de almacenamiento se comuniquen entre s. Un bit en una parte de un circuito se transmite a
otra como voltaje; se necesitan dos niveles de voltaje.
En este punto de la unidad nos ocuparemos de los circuitos combinatorios. Los datos de salida de un circuito
combinatorio estn unvocamente determinados para toda combinacin de datos de entrada. Un circuito
combinatorio no tiene memoria, es decir que los datos de entrada anteriores y el estado del sistema no afectan los
datos de salida de un circuito combinatorio.
Los circuitos combinatorios pueden construirse utilizando dispositivos de estado slido, llamados compuertas, que
son capaces de hacer cambios de nivel en el voltaje (bits).
Los circuitos se clasifican en combinatorios y secuenciales:

Circuitos combinatorios: los datos de salida de un circuito combinatorio estn unvocamente determinados
para toda combinacin de datos de entrada. Un circuito combinatorio no tiene memoria; los datos de
entradas anteriores y el estado del sistema no afectan los datos de salida de un circuito combinatorio.
Estos sern los circuitos que desarrollaremos en esta unidad.

33

Circuitos secuenciales: son los circuitos que tienen como datos de salida una funcin que depende de los
datos de entrada y del sistema. De estos circuitos nos ocuparemos en la unidad 7.

La importancia de las funciones booleanas radica en que pueden ser representadas esquemticamente en un
circuito para obtener la salida en funcin del valor de las variables de entrada.
Veamos ahora las definiciones:

Una compuerta Y (AND) acepta x1 y x 2 como datos de entrada, en donde

produce un dato de salida que se denota x1 x 2 , en donde:

1 si

x1 x 2 =

x1 y x 2

son bits, y se

x1 = 1 x 2 = 1

0 en otro caso.

Una compuerta Y se simboliza como se indica a continuacin:

Una compuerta O (OR) acepta x1 y x 2 como datos de entrada, en donde

produce un dato de salida que se denota x1 x 2 , en donde:

son bits; se

x1 = 1 x 2 = 1

si

en otro caso.

x1 x 2 =

x1 y x 2

Una compuerta O se simboliza como se indica a continuacin:

34

Una compuerta NO (NOT) o inversor acepta x como dato de entrada, en donde x es un bit, y se produce
un dato de salida que se denota x, en donde:

si x = 0

x =
si x = 1
Una compuerta NO se simboliza como se indica a continuacin:

I-3

Veamos ahora la definicin de funcin booleana

Si (B; ; ) es un lgebra de Boole llamamos funcin booleana de n-variables a:

f : Bn B

35

Algunas observaciones para tener en cuenta:

i.
ii.

n y Bn = B x B x ... x B , n veces.
a Bn a = ( a1 ; a2 ;.. ...; an ) con ai B , i = 1, n.

iii.

a Bn se dice n-upla.
Bn est ordenado con el orden de la proposicin 4 de redes, es decir,
( b1 ; b2 ;.. ...; bn ) ai bi , i = 1, n.

( a1 ; a2 ;.. ...; an )

Fn = {f: f es funcin booleana}

iv.
v.

Si (B; ; ) es un lgebra de Boole suele indicarse (B; +; .).

Si B ={0,1}; 0

0 y f :B

0 1 0 1
0 1; 0
1 11

0
0

B entonces

ai = 0 ai = 1,

i = 1, n.
Y f( a1 ; a2 ;.. ...; an ) = 0 f( a1 ; a2 ;.. ...; an ) = 1
Si se trabaja con el lgebra de Boole del punto anterior y se quiere obtener el valor de
f(x1 ; x 2 ;....; x n ) se usan las tabas de verdad vistas en lgica.

vi.

Por ejemplo:

f : B3 B / f ( x 1 ; x 2

x 3 ) = ( x1 x 2 ) x 3

La tabla de verdad correspondiente es:

(x

x2) x3

x1

x2

x3

0
0
0
1

0
1
1
0

1
0
1
0

0
1
0
1

1
1
1

0
1
1

1
0
1

0
0
0

36

Enumeramos todas las posibles combinaciones de los valores de los datos de entrada x1 , x 2 , x 3 . Debemos
tener en cuenta que es la misma forma de trabajar que con las tablas para lgica proposicional, que vimos en la
primera unidad.
Veamos cmo se trabaja: para un conjunto de datos de entrada dado puede calcularse el valor del dato de salida y,
trazando el flujo a travs del circuito.
Por ejemplo, la quinta fila de la tabla anterior proporciona el valor de salida y para los valores:

x1 = 1
x2 = 0
x3 = 0
x1 = 1 y x 2 = 0, el dato de salida de la compuerta Y es 0, tal como se muestra en la siguiente grfica.
Ya que x 3 = 0, los datos de entrada de O son ambos 0. Entonces el dato de salida de la compuerta O es 0.
Si

Como el dato de entrada de la conexin NO es 0, se obtiene el dato de salida y = 1.

Veamos ahora el concepto de expresin booleana que es muy importante ya que cada funcin booleana proviene
de alguna expresin booleana.

37

En el ltimo ejemplo:

f : B3 B / f ( x 1 ; x 2 ; x 3 ) =

(x x )x
1

Si observamos la tabla de la pgina anterior podemos ver que en cada fila, en la ltima columna, aparece el valor 0
o el valor 1, qu significa?, significa que la expresin booleana planteada nos ofrece una funcin boolena en cada
rengln de la tabla y en el que se analiz, el caso (1; 0; 0) el valor de esa funcin es 1

Daremos ahora la definicin, en forma recursiva:

Una expresin booleana o polinomio booleano en n variables es p(x1 ; x2 ; x3 ;...xn ) .Se

satisfacen las siguientes reglas:
1) x1, x 2 , ..., xn son expresiones booleanas.
2) 0, 1 son expresiones booleanas.
3) Si p ( x1 ; x2 ; ...; xn ) y q ( x1 ; x2 ; ...; xn ) son expresiones booleanas entonces:

p ( x1 ; x2 ; ...; xn ) q ( x1 ; x2 ; ...; xn )
p ( x1 ; x2 ; ...; xn ) q ( x1 ; x2 ; ...; xn )
son expresiones booleanas.
4) Si p ( x1 ; x2 ; ...; xn ) es una expresin booleana entonces p ( x1 ; x2 ; ...; xn ) es una
expresin booleana.
5) Toda expresin booleana en las variables xi con i = 1, n se obtiene usando alguna de las
reglas anteriores.

Veamos el siguiente ejemplo

f : 2 3 2 / f f ( x1 ; x2 ; x3 ) = x1 ( x 2 x 3)
La tabla de verdad correspondiente es:

38

( x
0

0
0

0
1

1
0

0
0

x 3)

Daremos a continuacin algunos conceptos que nos resultarn de mucha utilidad para trabajar con funciones
booleanas.

Dos expresiones booleanas son equivalentes si y slo si sus funciones booleanas correspondientes son
iguales.

Ejemplo:
Sean son equivalentes:

1. f( x1 ; x2 ) = x 1 x 2
x

0
0

0
1

1
0

1
1

0
1

0
0

0
0

0
1

1
0

1
1

0
1

0
0

y1

2. f( x1 ; x2 ) = x1 x 2
x

)=

= y2

Son equivalentes debido a que tienen las mismas tablas de verdad, pero hay que tener en cuenta que en las
grficas de los circuitos se ve que pueden no tener el mismo nmero de compuertas.

Un minitrmino en las variables x1 , ..., xn es una expresin booleana de la forma:

39

p ( x1 ; x2 ; ...; xn ) = y 1

y2 ... yn

en la cual cada yi es xi o bien xi .

Tengamos en cuenta que:

Podemos decir que un minitrmino de n variables es una conjuncin de n literales en el que todas las
variables deben estar representadas.
Para aclarar, veamos el siguiente ejemplo
1) p ( x1 ; x2 ; x3 ) = x1 x 2 x 3 es un minitrmino de 3 variables.
2) p ( x1 ; x2 ; x3 ) = x1 x 2 no es un minitrmino de 3 variables

Una expresin booleana de n variables estn en forma normal disyuntiva o en forma cannica de minitrminos
si es de la forma siguiente:

p ( x1 ; x2 ; ...; xn )

....( y 1

y2 .. yn )

y2 ... yn )

yi = xi o yi = x i i = 1, n.

( y1
donde

( y1

y2 ... yn )

Es decir que la expresin booleana de n variables est dada en forma cannica de minitrminos si es una suma
booleana de conjunciones donde en cada conjuncin aparece cada una de las n variables o su complemento.
Supongamos ahora que estamos trabajando con una expresin booleana de 3 variables, cul es el nmero
mximo de minitrminos que se pueden armar?, para eso conviene recordar que cada fila de la tabla de la
expresin booleana es un minitrmino, y como hay 8 filas el nmero pedido para 3 variables es 8, eso se puede
generalizar si tenemos en cuenta que 8 = 23, si el nmero de variables fuera 2, tendramos 4 = 22 , es decir 4
minitrminos, en general se tiene que el nmero mximo de minitrminos para n variables es 2n.
Podemos dar entonces la siguiente definicin:

Una expresin booleana de n variables dada en forma cannica de minitrminos se dice

completa si tiene elementos

2n

minitrminos

Algo para tener en cuenta

Si p ( x1 ; x2 ; ...; xn ) est dada en forma cannica de minitrminos entonces la forma cannica completa de
minitrminos es: p ( x1 ; x2 ; ...; xn ) p ( x1 ; x2 ; ...; xn )

40

Veamos el siguiente ejemplo

Supongamos una funcin que est dada como la una expresin siguiente:

f ( x1 ; x2 ; x3 ) = x1

x3 ) ( x2 x3 )

y se desea encontrar la forma normal disyuntiva de f.

Recordemos que podemos usar todas las propiedades vlidas en un lgebra de Boole
Comenzamos distribuyendo x3 :

(x

x 2 ) x3

= x1

x3 ) ( x2 x3 )

Aunque esto representa la expresin booleana como una combinacin de trminos de la forma a b, sta no es
la forma normal disyuntiva pues todos los smbolos x1 , x2 y x3 no estn contenidos en cada uno de los
trminos. Esto se soluciona fcilmente de la siguiente manera:

(x

x3 ) ( x2 x3 )

= x1

x3 1) ( x2 x3 1)

Ahora vamos a reemplazar el 1 (neutro para la ) y usar la definicin de complemento, en el primer trmino con
x 2 y en el segundo trmino con x1 :

( x x ( x x )) ( x
1

x3 x 1 x 1

))

Distribuyendo:

(( x x x ) ( x x x )) (( x
1

x3 x 1 ) x 1 x 2 x3 x 1

))

Conmutando y asociando convenientemente obtenemos:

= x1

x 2 x3 )

(x x
1

x3 ( x1 x 2 x3 )

(x x
1

x3

El primer y tercer trmino son iguales por lo que utilizando idempotencia:

= x1

x 2 x3 )

(x x
1

) (x x

x3

x3

que corresponde a la forma normal disyuntiva de f (o forma cannica en minitrminos)

41

Dado que estamos trabajando en un lgebra de Boole podemos encontrar el enunciado dual de minitrmino, lo
llamamos maxitrmino y su definicin es la que sigue:

Una expresin booleana de n variables es un maxitrmino si es de la forma siguiente:

p ( x1 ; x2 ; ...; xn ) = y 1 y2

... yn

donde yi

= xi

o yi

= xi

i = 1, n.

Observemos que un maxitrmino de n variables es un disyuncin o suma booleana de n literales.

Los siguientes ejemplos servirn para aclarar alguna duda:

x2 x3 es un maxitrmino de 3 variables.
x 1 x2 no es un maxitrmino de 3 variables.

1) p ( x1 ; x2 ; x3 ) = x 1
2) p ( x1 ; x2 ; x3 ) =

Una expresin booleana de n variables est en forma normal conjuntiva o en forma

cannica de maxitrminos si es de la siguiente forma:

p ( x1 ; x2 ; ...; xn ) =( y 1 y2
donde yi

= xi

o yi

... yn )( y 1 y2 ... yn ).... y 1 y2 ... yn )

= x i i = 1, n.

Una expresin booleana de n variables est dada en forma cannica de maxitrminos si es una
conjuncin de sumas booleanas donde en cada suma aparece cada una de las n variables
o su complemento.

Como en el caso de la forma normal disyuntiva (o cannica en minitrminos), se tiene que:

Una expresin booleana en n variables dada en forma cannica de maxitrminos se dice

completa si tiene

2n

maxitrminos.

El siguiente ejemplo aclarar algunas dudas que se puedan presentar

Supongamos una funcin que est dada como una expresin booleana como:
Sea p ( x1 ; x2 ; x3 ) = ( x1 x3 ) ( x2 x3 )

42

Se desea dar su forma normal conjuntiva, observamos que ninguno de los parntesis es un maxitrmino.
Agregamos el elemento neutro para

0B :

(x

x3 ) ( x2 x3 ) = ( x1 x3 0 B ) ( x2 x3 0 B )

0B

= x1 x1

0B

= x2 x 2

Operando queda:

p ( x1 ; x 2; x3 ) = x1 x3 x2 x2

)) ( x x ( x x ))
2

Distribuyendo:

(( x x x ) ( x x x )) (( x x x ) ( x x x ))
1

El primer y tercer trmino son iguales por lo que utilizando idempotencia:

(x x x )(x x x )(x x x )
1

que corresponde a la forma normal conjuntiva.

Concretando
Si p( x1 ; x2 ; ...; xn ) est dada en forma cannica de maxitrminos entonces la forma cannica completa de

maxitrminos es: p x1 ; x2 ; ...; xn

) p ( x ; x ; ...; x )
1

Tengamos en cuenta:
Si una expresin booleana de n variables est dada en forma cannica de minitrminos su dual est en forma
cannica de maxitrminos.

Repasemos y sinteticemos lo estudiado:

Vimos las definiciones de compuertas Y (AND),O (OR) y NO (NOT)
con sus representaciones.
Definimos funcin booleana de n-variables y vimos un ejemplo.
Analizamos con detalle cuando una expresin est dada en forma
cannica de maxitrminos o de minitrminos.

43