Documentos de Académico
Documentos de Profesional
Documentos de Cultura
a+a=ay
aa = a
Demostracin de i.
a + a = (a + a) .1
= (a + a) . (a + a)
= a + (a.a )
=a+0
=a
Demostracin de ii.
a.a
= (a.a)+ 0
= a. (a+a)
= a. 1
= a.
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
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
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