Professional Documents
Culture Documents
b) x yB
a) x + y = y + x
b) x y = y x
a) x + (y z) = (x + y)(x + z)
b) x( y + z) = x y + x z
En el lgebra de los nmeros reales, no se cumple el caso a de la distributividad.
V. Elemento opuesto.
Todo elemento de B tiene su opuesto (o funcin NOT). A este elemento se le
denomina inverso, opuesto, complemento o negado. Se representa de varias
formas, dos de ellas son: ( x , x'). La suma y el producto de una variable con su
complemento da como resultado 1 y 0 respectivamente.
xB, xB/ a) x + x = 1
b) x x = 0
VI. Elementos del conjunto Booleano B.
Este postulado es muy obvio, sin embargo, se debe reglamentar; el postulado dice:
En B hay al menos dos elementos diferentes. x, yB / x y . Los dos elementos
distintos son 0 y 1.
Con estos postulados se pueden demostrar las siguientes identidades del lgebra
de Boole descritas en la tabla 2.1. Estas identidades tambin pueden ser
demostradas mediante la teora de conjuntos.
Multiplicacin
Suma Lgica Complemento
Lgica
0+0=0 0.0=0 0 =1
0+1=1 0.1=0 1= 0
1+0=1 1.0=0
x=x
1+1=1 1.1=1 x=x
x+0=x x.0=0
x+1=1 x.1=x
x+x=x x.x=x
x + x =1 x . x =0
Tabla 2.1. Identidades del lgebra de Boole.
b) x(x + y) = x
Las dos partes del teorema son demostrables, no obstante, se demostrar la
proposicin b. Ya que incluye la demostracin de la parte a.
Teorema (T2):
x, yB; a)x(x + y) = x y
b) x + x y = x + y
P.d: Se demostrar la parte a; la parte b, se deja para el
lector. x( x + y)
x( x + y) = x x + x y Propiedad distributiva
=0+xy Identidad de la multiplicacin
=xy Identidad de la suma
L.q.d
x, y B / x y = 0 (x + y) =1 x y ( x = y )( x = y)
Para todo x, y que pertenezca a B, si se cumple que el producto de estas dos
variables es cero, y la suma es igual a uno entonces, significa que dichas variables
son diferentes; por lo tanto una es complemento de la otra. El smbolo significa
x=y y=x
L.q.d L.q.d
Teorema (T4):
x, yB; a)x y + x y = x
b)(x + y)(x + y ) = x
P.d: (se demostrar la parte b)
=x Identidad de la suma
L.q.d.
Teorema (T5):
x, y, zB; a)x y + x y z = x y + x z
x, yB, a)x + y = x y
b) x y = x + y
El teorema de la unicidad del complemento (T3) indica que se debe demostrar que
los dos miembros de las igualdades (a) y (b) son complementarios. Por ejemplo,
basta
x y )=1
P.d: caso aI
(x + y) +( x y ) ={(x + y) + x}{(x + Propiedad distributiva
y) + y}
={x+(x+y)}{x+(y+y)} Propiedad conmutativa y asociativa
Propiedad asociativa e Identidad suma
={(x + x) + y}.{x +1}
= (1+ y)(x +1) Identidad de la suma
=(0) + (0)
Identidad de la multiplicacin
=0
Identidad de la suma
L.q.d.