ALGEBRA DE BOOLE

Definicin 1:
Sea un conjunto no vaco B y dos funciones denotadas con + y , la terna
(B, +, ) es un lgebra de Boole si y slo s
1) + y son leyes de composicin interna en B
a, b B; a + b B
a, b B; a . b B
2) + y son asociativas
a, b, c B; a + (b + c) = (a + b) + c
a, b, c B; a. (b . c) = (a . b) . c
3) + y son conmutativas
a, b B; a + b = b + a
a, b B; a . b = b . a
4) + y son distributivas, cada una respecto de la otra
a, b, c B; a + (b . c) = (a + b) . (a + c)
a, b, c B; a . (b + c) = (a . b) + (a . c
5) Existen elementos neutros en B, respecto de + y de que se denotan con 0 y 1
respectivamente
0 B: a B; a + 0 = 0 + a = a
1 B: a B; a . 1 = 1 . a = a
6) 1 0
7) Todo elemento a B admite un complementario a' B, tal que
a B; a' B: a + a' = a' + a = 1
a B; a' B: a . a' = a' . a = 0
Notas:
1.- Es frecuente que, en vez de +, y ' se empleen los smbolos , y c o bien
respectivamente.

, y

2.- Se supondr, al igual que el lgebra ordinaria, la precedencia de las operaciones, esto es,
la operacin producto es prioritaria sobre la operacin adicin. Esta prioridad podr ser
alterada con el uso de parntesis. Por ejemplo:
a +b .c = a + (b .c), pero
a +b .c (a +b) .c

Modelos de la Estructura Algebraica de lgebra de Boole

1.-

Sea U un conjunto no vaco. El conjunto partes de U, denotado por (U),

con las operaciones de unin, interseccin y complementacin de conjuntos, es un
modelo de la estructura algebraica de lgebra de Boole. Donde el conjunto es el
elemento neutro para la unin, U es elemento neutro para la interseccin y Ac =U - A
es el complemento de cualquier subconjunto A de U.
2.-

= {V, F},
El conjunto de los valores de verdad de las proposiciones lgicas
con las conectivas lgicas disjuncin (
), conjuncin (
) y negacin (
), definidas
en las tablas:

V
F

V
V
V

F
V
F

V
F

V
V
F

F
F
F

F
V

V
F

constituye un modelo del lgebra de Boole, donde F es el elemento neutro para la

disjuncin, V es el elemento neutro para la conjuncin y el valor de verdad de p (la
negacin de la proposicin p) es el complementario del valor de verdad de la
proposicin p.
3.-

El conjunto B = { 0, 1} con las leyes definidas mediante las tablas

+
0
1

0
0
1

1
1
1

0
1

0
0
0

1
0
1

0
1

1
0

constituye un modelo de la estructura algebraica de lgebra de Boole, llamada

lgebra de Boole Binaria, donde 0 es el elemento neutro para la suma, 1 es el
elemento neutro para la multiplicacin, el complementario de 0 es 1 (0' = 1) y el
complementario de 1 es 0 (1' = 0).

Definicin 2:
Dada una proposicin P, se llama proposicin dual de P a la proposicin que
se obtiene de P al intercambiar entre s las operaciones de suma (+) y multiplicacin
() y sus elementos neutros 0 y 1.
Nota

Es fcil advertir que los axiomas de la estructura de lgebra de Boole relativo a la

operacin multiplicacin () son los duales de los axiomas correspondientes a la operacin
suma (+).
PROPIEDADES DEL LGEBRA DE BOOLE

P1.- Principio de dualidad

Si una proposicin P es derivable de los axiomas de lgebra de Boole,
entonces la proposicin dual de P es tambin derivable de los axiomas de lgebra de
Boole.
Demostracin:
En efecto, al demostrar una proposicin P empleando una sucesin de axiomas
de lgebra de Boole, la proposicin dual de P se demuestra empleando la sucesin de
los axiomas duales.
P2.- Unicidad de los elementos neutros 0 y 1
i) Existe un nico elemento neutro para la suma.
ii) Existe un nico elemento neutro para la multiplicacin.
P3.- Idempotencia
Todos los elementos de un lgebra de Boole son idempotentes respecto a la
suma y a la multiplicacin. Esto es
i)
ii)

a B
a B

a+a=a
a.a=a

Demostracin:
i)

a = a + 0 = a + (a'. a) = (a + a') . (a + a) = 1. (a +a) = a + a

(1)

( 2)

(3)

( 4)

(5)

Referencias: Para ser completado por el alumno

(1)
(2)
(3)
(4)
(5)

ii) La propiedad dual se demuestra empleando el Principio de Dualidad

Q.E.D.

P4.- Identidad de los elementos 0 y 1

i)

a B

a+1=1

ii)

a B

a.0=0

Demostracin:
i) a + 1 = a + (a + a') = (a + a) + a' = a + a' = 1
(1)

( 2)

(3)

( 4)

Referencias: Para ser completado por el alumno

(1)
(2)
(3)
(4)

ii) La propiedad dual se demuestra empleando el Principio de Dualidad

Q.E.D.

P5.- Absorcin
i)
ii)

a, b B
a, b B

a + (a .b) = a
a . (a +b) = a

Demostracin:
i) a + (a . b) = (a . 1) + (a . b) = a . (1 + b) = a
(1)

( 2)

(3)

Referencias: Para ser completado por el alumno

(1)
(2)
(3)

ii) La propiedad dual se demuestra empleando el Principio de Dualidad

Q.E.D.

P6.- Unicidad del complementario

Cada elemento a de B admite un nico complementario a' de B
Demostracin:
Sean a'1 y a'2 complementarios de a, se mostrar que son iguales
a'2 = a'2 + 0 = a'2 + (a . a'1 ) = (a'2 + a) . (a'2 + a'1 ) = 1 . (a'2 + a'1 ) =
(1)

( 2)

(3)

( 4)

(5)

= (a + a'1 ) . (a'2 + a'1 ) = (a . a'2) + a'1 = 0 + a'1 = a'1

(5)

( 6)

(7 )

(8)

Referencias: Para ser completado por el alumno

(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
Q.E.D

P7.- Involucin
El complementario del complementario de un elemento a B es a. Esto es,
a B

(a ' ) ' = a

P8.- Leyes de De Morgan

i) a, b B

(a +b)' = a' . b'

ii) a, b B

(a . b)' = a' + b'

Demostracin:
i) (a + b) . (a' . b' ) = a . (a' . b' ) + b . (a' . b' ) = (a . a' ) . b' + (b . b' ). a' = 0
(1)

( 2)

(3)

Referencias:
(1)
(2)
(3)

ii) La propiedad dual se demuestra empleando el Principio de Dualidad

Q.E.D

P9.- Complementarios de 0 y 1
i) 0' = 1
ii) 1' = 0
P10.- Cancelatividad en la multiplicacin
Si a, b y c son elementos de B, entonces se verifica que
[ a . b = c . b a . b' = c . b' ]

a=c

Demostracin:
a = a .1 = a .(b + b') = a . b + a . b' = c . b + c . b' = c . (b+ b') = c . 1 = c
(1)

( 2)

(3)

( 4)

(5)

( 6)

(7 )

Referencias: Para ser completado por el alumno

(1)
(2)
(3)
(4)
(5)
(6)
(7)
Q.E.D

P11.- Sin nombre especial

i) a, b B

a + a' . b = a + b

ii) a, b B

a . (a' + b) = a . b

Demostracin:
i) a + b = a + 0 + b = a + a . a' + b = a + (a . a' + b) = a + a . b + a' . b =
(1)

( 2)

(3)

( 4)

(5)

= (a + a . b) + a' . b = a + a' . b
(5)

( 6)

Referencias: Para ser completado por el alumno

(1)
(2)
(3)
(4)
(5)
(6)

ii) La propiedad dual se demuestra empleando el Principio de Dualidad

Q.E.D

FUNCIONES BOOLEANAS

Sea (B, +, ) un lgebra de Boole.

Definicin 1:
Se denomina constante
elemento neutro 0.

a un elemento particular de B, como por ejemplo el

Definicin 2:
Una variable es un smbolo que representa a cualquier elemento del conjunto B. Las
variables se designan con las ltimas letras del alfabeto castellano.
Definicin 3:
Una funcin booleana es toda expresin de un lgebra de Boole, que consiste en
combinaciones de sumas y/o productos de un nmero finito de variables. Por
ejemplo
f (x) = x + x'
g (x, y, z) = x + y . z'
En un lgebra de Boole las funciones booleanas se pueden expresar en general
como suma de productos distintos o como producto de sumas distintas, aplicando
axiomas y propiedades. Por ejemplo,
a)
f(x, y, z) = [(x +y') . (x . y' . z) ' ] ' = (x + y') ' + [ (x .y' . z)' ] ' = (x' . y) + (x . y' . z)
(1)

(2)

(1) Por leyes de De Morgan

(2) Por leyes de De Morgan y Prop. involutiva

b)
f (x, y, z) = { [(x' . y')' + z] . (x + z) }'

por leyes de De Morgan

= [(x' . y')' + z]' + (x + z)'

por leyes de De Morgan y Prop. involutiva

= (x' . y'. z') + (x' . z')

por Prop. de Absorcin

= x' . z'

FORMA CANNICA

Definicin 4
La forma cannica de una funcin booleana es la formada por una suma de
trminos, y cada uno de ellos est compuesto por un producto de todas las variables,
complementadas o no, de la funcin.
Por ejemplo la funcin f siguiente se transforma a la forma cannica aplicando
axiomas y propiedades de lgebra de Boole.
f (x, y, z) = (x' . y) + (x . y' . z)
= (x' . y . 1) + (x . y' . z)
= (x' . y . (z + z')) + (x . y' . z)
= (x' . y . z) + (x' . y . z') + (x . y' . z)
Notas:
1. La forma cannica de una funcin booleana en n variables contiene a lo sumo 2n trminos
distintos.
2. La forma cannica de una funcin booleana que contiene los 2n trminos distintos se
llama forma cannica completa.
3. La forma cannica completa de una funcin booleana en n variables es igual a 1.

Definicin 5:
El complemento f ' de una funcin booleana f expresada en forma cannica es la
suma de todos los trminos de la forma cannica completa de f que no aparecen en la
forma cannica de f.
Por ejemplo, el complemento de la funcin booleana de la funcin del ejemplo
precedente es
f ' (x, y, z) = (x . y . z) + (x' . y'. z') + (x'. y'. z) + (x . y' . z') + (x . y . z')
Proposicin 1
Si en la forma cannica completa de una funcin booleana en n variables, cada
variable toma el valor 0 o el valor 1, entonces slo un trmino tiene el valor 1 y todos
los dems tienen el valor 0.

Proposicin 2
Dos funciones booleanas son iguales si y slo si sus formas cannicas respectivas
son idnticas, es decir, sus formas cannicas tienen los mismos trminos.
FORMA CANNICA DUAL

Definicin 6:
La forma cannica dual de una funcin booleana es la formada por un producto
de factores, y cada uno de ellos est compuesto por una suma de todas las variables,
complementadas o no, de la funcin.
Por ejemplo la funcin booleana f siguiente se lleva a la forma cannica dual
empleando axiomas y propiedades de lgebra de Boole.
f (x, y, z) = (x + y) . ( y + z) . (x' + z) . (x' + y')
=.............................
= (x + y + z) . (x + y + z'). (x' + y + z) . (x' + y' + z) . (x' + y' + z')
Notas:
1. La forma cannica dual de una funcin booleana en n variables contiene a lo sumo 2n
trminos distintos.
2. La forma cannica dual de una funcin booleana en n variables que contiene los 2n
trminos se llama forma cannica dual completa.
3. La forma cannica dual completa de una funcin booleana en n variables es
idnticamente 0.
4. La forma cannica dual de una funcin booleana en n variables, no es la dual de la forma
cannica.

Definicin 7:
El complemento f ' de una funcin booleana f expresada en forma cannica dual
es el producto de todos los factores de la forma cannica dual completa que no
aparecen en la forma cannica dual de f .
Por ejemplo, el complemento de la funcin booleana de la funcin del ejemplo
precedente es
f ' (x, y, z) = (x + y' + z) . (x' + y+ z') . (x+ y'+ z')

Proposicin 1'
Si en la forma cannica dual completa en n variables cada variable toma el valor
0 o el valor 1, slo un factor tiene el valor 0 y todos los dems tienen el valor 1.
Proposicin 2'
Dos funciones booleanas son iguales si y slo s sus formas cannicas duales
respectivas son idnticas, es decir tienen los mismos trminos.
TABLA DE VALORES DE UNA FUNCIN BOOLEANA DEL LGEBRA DE BOOLE BINARIA

Si f es una funcin booleana en n variables del lgebra de Boole Binaria, es

posible construir una tabla de valores de la funcin f para todas las posibles maneras
de asignar los valores 0 y 1 a las variables.
Teniendo en cuenta la Proposicin 1, los trminos que aparecen en la forma
cannica de la funcin son los de la forma cannica completa en n variables que
tienen valor 1 cuando f es igual a 1.
Por ejemplo si la tabla de una funcin booleana en tres variables viene dada por
x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

f (x, y, z)
1
0
1
1
0
0
1
1

f (x, y, z) = (x . y . z) + (x . y' . z) + (x . y' . z') + (x' . y' . z) + (x' . y' . z')

Anlogamente, los trminos de la forma cannica dual de f son los de la forma
cannica dual completa que tienen el valor 0 cuando f es 0.
En el ejemplo es
f (x, y, z) = (x '+ y' + z) . (x + y '+ z') . (x + y' + z)
------

BIBLIOGRAFA

- Johnsonbaugh, R. Matemticas Discretas. Grupo Editorial Iberoamrica. 1988.

- Ross, K. - Wright, C. Matemticas Discretas. Prentice-Hall Hispanoamericana, S.A. 1990.
- Colman, B. - Busby, R. Estructuras de Matemticas Discretas para la Computacin. PrenticeHall Hispanoamericana, S.A. 1986.
- Lipschutz, S. Matemtica para Computacin. . McGraw-Hill
- Ayres, F. lgebra Moderna. McGraw-Hill-Serie Schaum. 1993.
- Rojo, A. lgebra I. El Ateneo. 1994.