Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Solución Taller 3
Solución Taller 3
Matematicas Discretas
10 de mayo de 2011
Prof.: Rodolfo Baeza V.
Tercer Taller
1. Sea (D
20
, ) el conjunto de los divisores positivos de 20, ordenado por la divisibilidad en ZZ.
Porque (D
20
, ) no es un algebra de Boole?.
Desarrollo: Como D
20
= {1, 2, 4, 5, 10, 20, }, vemos que D
20
tiene 6 elementos y como la
cantidad de elementos de cualquier algebra de Boole es una potencia de 2, concluimos que D
20
no es algebra de Boole.
r
aa
a a
a
Otro argumento: El retculo correspondiente a D
20
es
que no es distributivo por cuanto 4(2 + 5) = 4, mientras que
4 2 + 4 5 = 2 + 1 = 2. Como toda algebra de Boole es
un retculo distributivo, D
20
no puede ser una algebra
de Boole.
r
aa
a a
a
2. Sea (A, +, ,
, 0, 1) un Algebra de Boole. Demuestre que yz = 0 y z
y, z A.
Desarrollo:
z
= z
+ yz = z
+ y, es decir, Sup{z
, y} = z
zt + xyzt
+ xy
zt
+ x
+ x
yz
+ x
t + x
yz
t
es equivalente con xz + x
.
Desarrollo:
f(x, y, z, t) = x(y+y
)zt+x(y+y
)zt
+x
(y
+y)z
+x
(y
+y)z
t = xzt+xzt
+x
+x
t =
= xz(t + t
) + x
(t
+ t) = xz + x
z
r
aa
a a
a
4. Simplique las siguientes expresiones usando teoremas del algebra booleana.
x + y + (x
+ y + z)
Desarrollo: x +y +(x
+y +z)
= x +y +xy
yz + x
+ x
z + xy
z + xy
Desarrollo:
xyz + x
yz + x
+ x
z + xy
z + xy
= (x + x
)yz + x
(z
+ z) + xy
(z + z
) =
yz +x
+xy
= yz +x
+xy
= yz +(x
+x)y
= yz +y
= (y +y
)(z +y
) = z +y
) + (xy
t) + (yz
)
Desarrollo:
(xyz
) + (xy
t) + (yz
) = xyz
(t + t
) + xy
(z + z
)t + (x + x
)yz
= xyz
t + xyz
+
xy
zt + xy
t + x
yz
t
r
aa
a a
a
(xy) + (xz) + (y
z)
Desarrollo: (xy) +(xz) +(y
z) = xy(z +z
) +x(y +y
)z +(x +x
)y
z = xyz +xyz
+
xy
z + x
z
r
aa
a a
a