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

o 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.
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 Nota

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) ii) a B a B a+1=1 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 P8.- Leyes de De Morgan i) a, b B ii) a, b B Demostracin: i) (a + b) . (a' . b' ) = a . (a' . b' ) + b . (a' . b' ) = (a . a' ) . b' + (b . b' ). a' = 0
(1) Referencias: (1) (2) (3) ( 2) (3)

(a ' ) ' = a

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

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' ] 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

a=c

P11.- Sin nombre especial i) a, b B ii) a, b 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) = a . b

= (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. 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

a un elemento particular de B, como por ejemplo el

b) f (x, y, z) = { [(x' . y')' + z] . (x + z) }' = [(x' . y')' + z]' + (x + z)' = (x' . y'. z') + (x' . z') = x' . z'
por leyes de De Morgan por leyes de De Morgan y Prop. involutiva por Prop. de Absorcin

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.