lgebra de Boole

Sublgebra de Boole

Homomorfismo - Isomorfismo

Funcin Booleana - Compuertas

Minitrminos - Maxitrminos

lgebra de Boole
Definicin
B es un lgebra 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.

Observaciones
El conjunto B est ordenado
El primer elemento de B es 0B
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 las siguientes propiedades:

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. 0B B / a B: a 0B = 0B a = a
1B B / a B: a 1B = 1B a = a
5. a B, a B / a a = 1B
a a = 0B
Un lgebra de Boole es un sistema dual y por lo tanto se verifica el Principio de Dualidad

lgebra de Boole Trivial

Sea ({0, 1}; ; ) cuyas tablas de operaciones son las siguientes:

Diagrama de Hasse
0

Propiedades
En un lgebra de Boole (B; ; ) se satisfacen las siguientes propiedades:

Los elementos 0B y 1B son nicos

Todo elemento tiene un nico complemento
Todo elemento es idempotente, es decir, a B a a = a y

aa=a

Todo elemento es involutivo

a= a
Los elementos neutros se complementan mutuamente es decir que:

0B = 1B y 1B = 0B
El elemento neutro para la operacin ( 1B ) es absorbente para la operacin ;

es decir: a B: a 1B = 1B a = 1B
Anlogamente, el elemento neutro para la operacin ( 0B ) es absorbente para la

operacin , es decir: a B: a 0B = 0B a = 0B
Esto es por el principio de dualidad
Leyes de De Morgan
a, b A: a b a b

a, b A: a b a b

Observacin: En un lgebra de Boole, la distributividad garantiza que los elementos slo

pueden tener un nico complemento.

Demostracin Propiedad 1: Los elementos 0B y 1B son nicos

Suponemos que 0B y 0B son el primer elemento de B entonces
Si 0B es primer elemento

0B 0B = 0B 0B = 0B (1)

Si 0B es primer elemento

0B 0B = 0B 0B = 0B (2)

De (1) y (2) 0B = 0B
Si 0B es primer elemento

0B 0B = 0B 0B = 0B (3)

Si 0B es primer elemento

0B 0B = 0B 0B = 0B

(4)

De (3) y (4) 0B = 0B
Anlogamente se demuestra para el ltimo elemento 1B
Demostracin Propiedad 2: Todo elemento tiene un nico complemento
Suponemos que a tiene dos complementos b y c entonces
a b = 1B

a b = 0B

a c = 1B

a c = 0B

b = b 1B
=b(ac)

1B elemento neutro para el

reemplazando a c = 1B

= ( b a ) ( b c)

propiedad distributiva

= 0B ( b c )

reemplazando b a = 0B

= ( a c ) ( b c)

reemplazando a c = 0B

=(ab)c

propiedad distributiva

= 1B c

reemplazando a b = 1B

=c

1B elemento neutro para el

b=c
Demostracin Propiedad 3: Todo elemento es idempotente, es decir
a B: a a = a; a a = a

a = a 0B

0B elemento neutro para el

=a(a a )

definicin de complemento

= ( a a) ( a a )

propiedad distributiva

= ( a a ) 1B

definicin de complemento

=aa
a = a a
Por dualidad a a = a

1B elemento neutro para el

Demostracin Propiedad 4: Todo elemento es involutivo

a a 0B

definicin de complement o

aaaa

definicin de complement o

aa

identidad

Demostracin Propiedad 5: El elemento neutro para ( 1B ) es absorbente para el , es decir

a B: a 1B = 1B

a 1B a 1B 1B

a 1 a

a 1B a a
B

aa
1B

1B elemento neutro para el

definicin de complemento
propiedad distributiva
1B elemento neutro para el
definicin de complemento

a 1B = 1B
Por el principio de dualidad resulta a B: a 0B = 0B

Demostracin Propiedad 6: Los elementos neutros se complementan mutuamente

Como
0B 1B = 1 B
0B 1B = 0 B

0B 1B

1B 0B

Demostracin Propiedad 7: Leyes de De Morgan

a B, b B : a b a b
Debemos probar que

a b a b 1B
a b a b 0B
a b a b

a b a a b b
b a a a b b
b 1B a 1B
1B 1B

1B ( 1)

propiedad distributiva
propiedad asociativa y conmutativa
definicin de complemento
definicin de 1B
idempotencia

 a b a b a a b b a b

a a b a b b
0 b a 0

propiedad distributiva
propiedad asociativa y conmutativa

definicin de complemento

0B 0B

definicin de 0B

0B ( 2 )

idempotencia

De (1) y (2) queda probado

Anlogamente se demuestra que:

a B, b B : a b a b
Se debe probar que:

a b a b 1B
a b a b 0B

Ejemplo: Sea D6 = { x IN / x I 6 } con a

baIb

( D6, , ) siendo = m.c.d. y = m.c.m. es un lgebra de Boole

1= 6

6= 1

2= 3

3= 2

3= 4

baIb

( D12, , ) siendo = m.c.d. y = m.c.m. no es un lgebra de Boole

12 = 1

Ejemplo: Sea D12 = { x IN / x I 12 } con a

1 = 12

el 2 y el 6 no tienen complemento

4= 2

12
4

3
1

Propiedad
Sea n N, n 2. Entonces la red distributiva: Dn= { x IN / x | n } con la relacin divide a

es un lgebra de Boole si y slo si el nmero n se puede expresar como un producto de

primos distintos.
En los ejemplos
6=2.3

12 = 2. 2. 3

Sublgebra de Boole
Sean ( B, , ) un lgebra de Boole y A B, A es un sublgebra de B si
(A;

/ A) es un lgebra de Boole.

De sta definicin podemos decir que:

1.
2.

/ A = orden restringido a A.
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) 1B A

Ejemplo: Sea ( D42 = { x IN / x | 42 }; I ) es un lgebra de Boole.

42

Tomemos el conjunto A = { 1, 2, 21, 42 } y probemos que es sublgebra.

6

i) Se verifica que si a A a A

1 = 42

42 = 1

2 = 21

21 = 2

14

42

3
2

21

ii)

21

Se verifica que si a A, b A a b A
[ 1, 2 ] = 1 2 = 2

[ 1, 21 ] = 1 21 = 21

[ 1, 42 ] = 1 42 = 42

[ 2, 21 ] = 2 21 = 42

[ 2, 42 ] = 2 42 = 42

[ 21, 42 ] = 21 42 = 42

iii) Se verifica que si a A, b A a b A

( 1, 2 ) = 1 2 = 1

( 1, 21 ) = 1 21 = 1

( 1, 42 ) = 1 42 = 1

( 2, 21 ) = 2 21 = 1

( 2, 42 ) = 2 42 = 2

( 21, 42 ) = 21 42 = 21

iv) Se verifica que 0B A pues 0B = 1 A

v) Se verifica que 1B A pues 1B = 42 A

Homomorfismo
Sean (A; ; ) y (B; ; ) dos lgebras de Boole.
Una funcin f: A B se dice homomorfismo si verifica las siguientes condiciones:
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 (0A) = 0B
f (1A) = 1B

Isomorfismo
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.

Observacin:
Si A y B son dos lgebras de Boole finitas de igual cardina entonces son isomorfas.

Ejemplo:
Sean A = D6 y B = D15 ordenados por a | b con ( A, , ) y ( B, , ) siendo

a b = ( a, b ) y a b = [ a, b ]

a b = ( a, b ) y a b = [ a, b ]

15

1= 6

6= 1

2= 3

3= 2

1 = 15

15 = 1

3= 5

5= 3

) =15

=1

Definimos f: A B / f (1) = 1; f (6) = 15; f (2) = 3; f (3) = 5

1)f 1

( ) =f 6( ) =15
f (2) = f (3) = 5

f 1( ) =1 =15
f (2) = 3 = 5

f 6

( ) =f 1( ) =1
f (3) = f (2) = 3

f 6(

f (3) = 5 = 3

2) f (1 2) = f (1) f (2)

f (1 3) = f (1) f (3)

f (1 6) = f (1) f (6)

f (2) = 1 3

f (3) = 1 5

f (6) = 1 15

3=3

5=5

15 = 15

f (2 3) = f (2) f (3)

f (2 6) = f (2) f (6)

f (3 6) = f (3) f (6)

f (6) = 3 15

f (6) = 5 15

f (3) = 3 5
5=5

15 = 15

3) f (1 2) = f (1) f (2)

f (1 3) = f (1) f (3)

f (1) = 1 3

f (1) = 1 5

1=1

1=1

f (2 3) = f (2) f (3)

f (1 6) = f (1) f (6)
f (1) = 1 15
1=1

f (2 6) = f (2) f (6)

f (3 6) = f (3) f (6)

f (2) = 3 15

f (3) = 5 15

f (1) = 3 5
1=1
4) f (1) = 1

15 = 15

3=3
5) f (6) = 15

Es un homomorfismo, adems como es biyectivo es un

isomorfismo.

5=5

lgebra de Boole Atmica

Un lgebra de Boole es atmica si todo elemento que no sea el primer elemento es
precedido por un tomo.

Observacin
Toda lgebra de Boole finita tiene tomos
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

Propiedad
Toda lgebra de Boole finita es isomorfa al conjunto de partes de sus tomos por lo tanto
debe tener la misma cantidad de elementos que son 2n, siendo n la cantidad de tomos.

Esto indica que si B es un lgebra de Boole finita necesariamente tiene 2n elementos.

Ejemplo:
Sea D15 = { 1, 3, 5, 15 } ordenado por la relacin a | b y las operaciones
a b = ( a, b ),

a b = [ a, b ]

15

{ 3, 5 }

{3}

{5}

El conjunto de tomos es A = { 3, 5 }
Tomamos el conjunto de partes de A, P (A) = { , { a }, { b }, { a, b } } ordenado por la

relacin X Y y las operaciones X Y, X Y

Podemos encontrar un isomorfismo /

f (1) =
f (3) = { 3 }

f (5) = { 5 }
f (15) = { 3, 5 }

Funciones en un lgebra de Boole

Definicin:
Si ( B, , ) es un lgebra de Boole llamamos funcin booleana de n-variables a f: Bn B

Observaciones
n IN y Bn = B x B x B x .. x B, n veces
a Bn a = ( a1, a2, a3, .., an ) con ai B, i = 1, n
a Bn se dice n-upla
Si ( B, , ) es un lgebra de Boole suele indicarse ( B, +, . )
Si

0 1

B 0,1; 0 0 1;

1 1 1

0 1

0 0 0
1 0 1

y f: Bn B ai = 0 o ai = 1, i = 1, n y f ( a1, a2, , an ) = 0 o f ( a1, a2, , an ) = 1

Si se trata con el lgebra de Boole del punto anterior y se quiere obtener el valor de
f ( x1, x2, , xn ) se usan las tablas de verdad vistas en lgica

Compuertas
La importancia de las funciones booleanas radica en que pueden ser representadas

esquemticamente en un circuito para obtener una salida en funcin de las variables de

entrada.
x

xy

Y ( AND )
y

xy

O ( OR )
y

NO ( NOT )

Ejemplo:
Sea F: B3 B / f ( x1, x2, x3 ) =

x3

x 2 x3

x1

x2

x3

x2

x1 x 2

x1
x2

x2

x1 x 2

x 2 x3

x 2 x3

Expresin booleana
Toda expresin booleana define una funcin booleana o sea que cada funcin booleana

proviene de alguna expresin booleana.

Observacin
Dos expresiones booleanas son equivalentes sus funciones booleanas correspondientes
son iguales
Dos expresiones booleanas son equivalentes tienen la misma tabla de verdad

Ejemplo: Simplificar

x1 x1 x 2 x1 x 2 x 3

x1 x1 x 2 x1 x1 x 2 x 3

1B x 2 x 1 x 2 x 3

1B x 1 x 2 x 3
x1 x 2 x 3

propiedad distributiva
propiedad del complemento e idempotencia
propiedad del ltimo elemento

Minitrmino
Un minitrmino en las variables x1, x2, .., xn es una expresin booleana de la forma
p ( x1, x2, .., xn ) = y1 y2 .. yn donde

yi xi o yi xi i 1,n

Podemos decir que un minitrmino de n variables es un conjuncin de n literales en el

que todas las variables deben estar representadas
Ejemplo:

p x1, x 2, x3 x1 x 2 x3
p x1, x 2, x3 x1 x3

es un minitrmino de 3 variables
no es un minitrmino de 3 variables

Forma normal disyuntiva o forma cannica de minitrminos

Una expresin booleana de n variables est expresada en forma normal disyuntiva o forma

cannica de minitrminos si es de forma siguiente:

p x1, x 2 , ......, x n y1 y 2 ...... y n y1 y 2 ...... y n ...... y1 y 2 ...... y n

donde

yi xi o yi xi i 1,n

Es una suma booleana de conjunciones donde en cada conjuncin

aparece cada una de las n variables o su complemento

Definicin
Una expresin booleana de n variable dada en forma cannica de minitrminos se dice
completo si tiene elementos 2n minitrminos.
Ejemplo:
Vamos a expresar en la forma normal disyuntiva o forma cannica de minitrminos a
p x1, x 2 , x 3 x1 x 3 x 2 x 3

p x1, x 2 , x 3 x1 x 3 x 2 x 3 x1 x 3 1B x 2 x 3 1B

x1 x 3 x 2 x 2 x 2 x 3 x1 x1

x1 x 3 x 2 x1 x 3 x 2 x 2 x 3 x1 x 2 x 3 x1
x1 x 2 x 3 x1 x 2 x 3 x1 x 2 x 3

Por lo tanto la forma normal disyuntiva o forma cannica de minitrminos es

p x1, x 2, x3 x1 x 2 x3 x1 x 2 x3 x1 x 2 x3

Otra forma de hacerlo es por tabla

x2

x3

x1

x2

x3

x1 x 3

1 variable

x2 x3

x1 x 3 x 2

x1

0 complemento

x3

Corresponde la salida 1

Por lo tanto la forma normal disyuntiva o forma cannica de minitrminos es

p x1, x 2, x3 x1 x 2 x3 x1 x 2 x3 x1 x 2 x3

Maxitrmino
Un maxitrmino en las variables x1, x2, .., xn es una expresin booleana de la forma
p ( x1, x2, .., xn ) = y1 y2 .. yn donde

yi xi o yi xi i 1,n

Podemos decir que un maxitrmino de n variables es un disyuncin o suma booleana

de n literales en el que todas las variables deben estar representadas

Ejemplo:

p x1, x 2, x3 x1 x 2 x3

p x1, x 2, x3 x1 x3

es un maxitrmino de 3 variables
no es un maxitrmino de 3 variables

Forma normal conjuntiva o forma cannica de maxitrminos

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

cannica de maxitrminos si es de forma siguiente:

p x1, x 2 , ......, x n y1 y 2 ...... y n y1 y 2 ...... y n ...... y1 y 2 ...... y n

donde

yi xi o yi xi i 1,n

Es una conjuncin de sumas booleanas donde en cada suma

aparece cada una de las n variables o su complemento

Definicin
Una expresin booleana de n variable dada en forma cannica de maxitrminos se dice
completo si tiene elementos 2n maxitrminos.
Ejemplo:

Vamos a expresar en la forma normal disyuntiva o forma cannica de maxitrminos a

p x1, x 2 , x 3 x1 x 3 x 2 x 3

p x1, x 2 , x 3 x1 x 3 x 2 x 3 x1 x 3 0B x 2 x 3 0B

x1 x 3 x 2 x 2 x 2 x 3 x1 x1

x1 x 3 x 2 x1 x 3 x 2 x 2 x 3 x1 x 2 x 3 x1
x1 x 2 x 3 x1 x 2 x 3 x1 x 2 x 3

Por lo tanto la forma normal disyuntiva o forma cannica de maxitrminos es

p x1, x 2, x3 x1 x 2 x3 x1 x 2 x3 x1 x 2 x3

Otra forma de hacerlo es por tabla

x1 x 3 x 2

x1

x2

x3

x1

x2

x3

x1 x 3

x2 x3

0 variable

1 complemento

x3

Corresponde la salida 0

Por lo tanto la forma normal disyuntiva o forma cannica de maxitrminos es

p x1, x 2, x3 x1 x 2 x3 x1 x 2 x3 x1 x 2 x3