Anda di halaman 1dari 5

ALGUNOS TEOREMAS EN LAS LGEBRAS DE BOOLE

A partir de las propiedades 15 se deducen algunos teoremas que establecen resultados


importantes, vlidos en toda lgebra booleana. Demostraremos algunos de ellos; otros
se proponen como ejercicio para el lector. En lo que sigue se omite a veces el smbolo
de multiplicacin en a.b y se escribe simplemente ab; igualmente, se denotan con 0 y
con 1 los elementos neutros de la suma y de la multiplicacin, en lugar de 0A y 1A.
Finalmente, se observa la precedencia de la multiplicacin sobre la suma, esto es, se
escribe ab+c, con el significado (a.b)+c.
Teorema 10
Cada elemento en un lgebra boolena (B,+, .) es idempotente, es decir:
Para todo elemento aB:
i)
ii)

a+a=ay
aa = a

Demostracin de i.
a + a = (a + a) .1

Propiedad del elemento neutro en la multiplicacin.

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

Una propiedad caracterstica del complemento de a.

= a + (a.a )

Propiedad distributiva; a + es el sumando comn.

=a+0

La otra propiedad caracterstica del complemento de a.

=a

Propiedad del elemento neutro en la suma.

Demostracin de ii.
a.a

= (a.a)+ 0

Propiedad del elemento neutro en la suma.

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

Una propiedad caracterstica del complemento de a

= a. (a+a)

Propiedad distributiva, a. es el factor comn.

= a. 1

La otra propiedad caracterstica del complemento de a.

= a.

Propiedad del elemento neutro en la multiplicacin.

El teorema anterior establece una de las propiedades ms importantes y caractersticas


de las lgebras de Boole: la idempotencia. Son pertinentes dos observaciones sobre este
teorema:
Las dos leyes de idempotencia de las lgebras de Boole constituyen la razn para que
en tales estructuras no existan exponentes ni coeficientes. Esto, porque si un
elemento x se opera consigo mismo un nmero cualquiera de veces, como en x.x.x.x, el
resultado ser siempre x (observe que la asociatividad hace innecesario insertar

parntesis en x.x.x.x). De tal manera que xn es siempre x. Igualmente, x+x+x+x+x =x y


por lo tanto la expresin 5x carece de significado.

EL PRINCIPIO DE LA DUALIDAD EN LAS LGEBRAS DE BOOLE


Le invitamos a comparar paso a paso la demostracin de a.a =a con la de a + a =a,
presentadas en el teorema 10. Note, inicialmente, que la expresin a.a =a se obtiene
cambiando el operador + por el operador. En a + a =a. Usted podr notar, adems, que
la demostracin de a.a =a se puede obtener de la demostracin de a + a =a simplemente
sustituyendo cada aparicin de 1, por 0; cada aparicin de 0, por 1; cada aparicin de .
por +, y cada aparicin de + por . . Este hecho se conoce como Principio de la dualidad
de las lgebras de Boole.
El dual de una expresin E de un lgebra booleana (B,+, .) es la expresin d(E)
obtenida a partir de E intercambiando los operadores + y . e intercambiando 0 y 1.
Ejemplo
El dual de E: x + y(x+ 1) es d(E): x . (y +x. 0)
El dual de E: x + x z = x, es d(E): x(x + z) = x
El lector puede comprobar que la lista A1 A5 incluye, en cada caso, una propiedad y su
dual. Este hecho origina la siguiente propiedad de las lgebras de Boole:
Si un teorema T es deducible en un lgebra booleana (B,+, .) entonces el dual de T
tambin es deducible y para deducirlo basta con sustituir cada expresin surgida en la
demostracin de T, por su dual.
Teorema 11
En cada lgebra boolena (B,+, .) se satisfacen las siguientes leyes de dominancia:
Para cada elemento aeB:
i.
ii.

a+1=1y
ii. a . 0 = 0

Demostracin de i:
El lector puede aportar la justificacin de cada paso:
a + 1 = (a + 1) . 1 = (a + 1) . (a + a) = a + (1. a) = a + a= 1
La demostracin de ii se propone como ejercicio.
En el captulo 3 se demostraron y utilizaron las leyes de absorcin p^(pvq)yp y su dual
pv(p^q)yp. Como veremos en el teorema siguiente, estas leyes y sus contrapartes en el

lgebra de conjuntos, A(AUB) = A y AU(AB) = A, no son ms que casos


particulares del teorema siguiente:
Teorema 12
Leyes de absorcin
Para elementos cualesquiera a y b de un lgebra boolena (B,+, .)
i.
ii.

a + ab = a
ii. a. (a+b) =

a Demostracin de i:
a + ab = a.1 + ab = a(1 + b) = a.1 = a
La demostracin de ii se propone como ejercicio.
El teorema siguiente establece la unicidad de a para cada a B. Este resultado se
requiere en la demostracin de las leyes de De Morgan.
Teorema 13
El complemento a de cada elemento a en un lgebra de Boole es nico.
Demostracin: Supondremos que dos elementos, b y c, satisfacen las condiciones que
caracterizan al complemento de a y demostraremos que b = c.
Si b y c son supuestos complementos de a, deben satisfacerse estas cuatro igualdades:
1. a + b = 1 2.
2. ab = 0
3. 3. a + c = 1
4. 4. ac = 0
Entonces, las propiedades bsicas y las igualdades anteriores justifican esta serie de
igualdades:
b= b +0=b+ac=(b+a)(b+c)=(a+b)(b+c)=1(b+c)=(a+c)(b+c)=ab+c=0+c= c

A3

A5

A2

A5

A3

Recuerde que a debe cumplir simultneamente las condiciones a + a = 1 y a.a = 0.. No


cometa el error de concluir, slo a partir de a+b =1, que b = a; aun le quedar por
establecer que ab=0. (Es un error frecuente concluir que si la unin de dos conjuntos
es el conjunto universo, cada uno de los conjuntos es el complemento del otro, es
decir, que si AUB=U entonces B=A. En efecto, lo nico que puede concluirse es que
A B). Igualmente, es un error concluir, de ab=0, que b= a.

Teorema 14
Leyes de De Morgan
i)
ii)

a+b=a.
b ii) a.b = a + b

Demostracin de i:
(a+b)+ a.b = (a+b+ a). (a+b+ b ) = (a + a + b). (a+b+ b) = (1+b).(a+1) = 1+1 = 1.
(a+b)(a.b) = a(a.b)+ b(a.b) = (a.a) b+(b.b).a = 0. b+ 0. a= 0+0 =0.
Se cumplen as las condiciones que determinan la propiedad a + b = a . b
La demostracin de ii se propone como ejercicio.
Teorema 15
En cada lgebra de Boole:
0 = 1, 1 = 0 a = a
Demostracin: Se deja como ejercicio.
A continuacin mostraremos algunos ejemplos de simplificacin de expresiones,
mediante el uso de las propiedades bsicas y de los resultados establecidos en los
teoremas. En cada caso se supone que los smbolos utilizados representan elementos
de un lgebra booleana (B,+, .).
Ejemplo 5.35 Muestre que (a+b)(a+c) = a
(a+b)(a+c) = (a+b)(a+c)(a+b ) = (a+b)(a+c)(a+b) = a + bcb = a + 0 = a
Ejemplo
Mostrar que si a + b = c y ab = 0 entonces a = cb
cb = (a + b) b = ab + bb = ab + 0 = ab + ab = a(b+b) = a.1 = a
El lector puede apreciar la importancia de establecer resultados generales en una
estructura algebraica si piensa que, al trasladar a cualquier lgebra booleana particular
el resultado del ejemplo anterior no slo obtendr un resultado verdadero, sino que la
demostracin se hara adaptando al lgebra particular los pasos utilizados en la
demostracin anterior. Por ejemplo, supongamos que se nos pide probar que si A, B,
C son subconjuntos de un conjunto universal X entonces
Si AUB=C y AB = entonces A = C B (observe la correspondencia con si a + b
= c y ab = 0 entonces a = cb).
Como se dijo anteriormente, la demostracin general es aplicable a cada instancia de
lgebra de Boole. En este caso tenemos:

cb = (a + b) b = ab + bb = ab + 0 = ab + ab = a(b+b) = a.1 = a
CB = (AUB) B =(A B)U(B B) = (A B)U = (A B)U(AB) = A(B
UB) = AX = A
Ejemplo
Simplificar tanto como sea posible la expresin
xy + (x + xy)z + x(y + yz + z)
xy + (x+ xy)z + x(y + yz + z) = xy + (x+ x)(x+ y)z + x((y + y)(y + z) + z) =
xy + 1.(x+ y)z + x((1.(y + z) + z) = xy + (x+ y)z + x((y + z) + z) = xy + ( x+ y)z +
x(y + z) =
xy + xz + yz + xy + xz = (xy + xy) + (xz + xz) + yz =
(x+x)y + (x+x)z +yz = y + z + yz = (y.1+ yz) + z = y(1 + z) + z = y.1 + z = y + z

Anda mungkin juga menyukai