PRÁCTICA Nº 1 DE MATEMÁTICA DISCRETA Y LÓGICA

1. Si A, B, y C son clases, probar:

a) A + (B + C) = (A + B) + C
b) A – (B  C) = (A – C) – B
c) A ∩ (B’  C) = A – (B – C)
d) A + B = A  B cuando A ∩ B = Ф
e) A  B = (A + B) + A ∩ B
2. Aplicando los axiomas que definen un Algebra de Boole, probar la segunda
parte de los teoremas T1, T2, T3, T4 y T7.

3. Probar que en toda Algebra de Boole

a) Si A ∩ X = B ∩ X y A ∩ X’ = B ∩ X’, entonces A = B
b) Si A  X = B  X y A  X’ = B  X’, entonces A = B
4. Si f es una función booleana de una variable, probar que:
f(A) = [f(1)  A’] ∩ [f(0)  A]
5. Si f es una función booleana, probar que:
f(A  B) U f(A ∩ B) = f(A)  f(B)
6. Si f es una función booleana de una variable, probar que:
f(f(0)) = {f(0) ∩ f(1)}  f(A)  {f(0)  f(1)} = f(f(1))

7. Sea B= {0, X, X’, Y, Y’, Z, Z’, 1} un Algebra de Boole. Si f es una función

booleana tal que:
f(0,0,0) = f(0,0,1) = f(1,0,0) = X
f(0,1,0) = 0
f(0,1,1) = 1
f(1,0,1) = f(1,1,0) = Z’
f(1,1,1) = Y,
determinar f(X’,Z,Y)

8. Si f es una función booleana y si A  B, probar que:

f(f(A))  f(f(B))
9. Expresar en su FNDC y FNCC cada una de las siguientes funciones
booleanas:
a) X  (X’  Y)
b) (X  Y’)  (X  Z)  (X  Y)
c) (X  Y  Z)  [(X  Y)  (X’  Z)]
d) (X  Y’  Z)  (X  Y  Z’  W)  W’

10. Expresar en su FNCC las funciones booleanas

a) (X  Y)  (X’  Y)  (X’  Y’)
b) (X  Y  Z)  (X  Y’  Z’)  (X’  Y  Z’)  (X’  Y’  Z)
 (X’  Y’  Z’)
11. Expresar en su FNDC:
a) (X  Y’)  (X’  Y)  (X’  Y’)
b) (X  Y  Z)  (X  Y  Z’)  (X  Y’  Z)
12. Dibujar los diagramas de Hasse correspondiente a cada uno de los sistemas
parcialmente ordenados:
 a) Algebra Booleana de todas las subclases de una clase de cuatro elementos (con la
relación inclusión)
b) Sistema formado por los divisores de 72 (con la relación de divisibilidad)
13. ¿Cuáles de los siguientes conjuntos son sistemas parcialmente ordenados?

a) Conjunto formado por todos los pares (a, b) si (a, b) ≤ (a’, b’) significa que

a ≤ a’ y b ≤ b’

b) Conjunto formado por todos los pares (a, b) si (a, b) ≤ (a’, b’) significa que

a < a’ y b ≤ b’ o bien a = a’ y b ≤ b’

c) Conjunto formado por todos los pares (a, b) si (a, b) ≤ (a’, b’) significa que

a + b ≤ a’ y b ≤ b’
14. Resolver los ejercicios siguientes:
a) Mostrar que es inconsistente el siguiente informe:
Ciertos datos obtenidos del estudio de un grupo de 1000 empleados en una
fábrica atendiendo a su raza, sexo y estado civil es como sigue:
525 de color, 312 hombres, 470 casados, 42 hombres de color, 147 individuos
casados y de color, 86 hombres casados y 25 hombres de color casados.
b) Hacia mediados de la estación, los duraznos para envasar tienden a ser de tres
clases: verdes, maduros y muy maduros (no hay duraznos a medio madurar),
dependiendo del grado de sazonamiento. Durante cierta semana, los siguientes
datos fueron registrados en una pequeña estación de carga:
51 camiones fueron despachados cargando duraznos verdes,
55 cargaron duraznos maduros,
56 cargaron duraznos muy maduros,
26 cargaron verdes y maduros,
30 cargaron maduros y muy maduros,
32 cargaron verdes y muy maduros,
12 cargaron de los tres.
i. ¿Cuántos camiones fueron despachados llevando solamente duraznos
maduros?
ii. ¿Cuántos solamente tuvieron muy maduros?
iii. ¿Cuántos con solamente una de las variedades?
 iv. ¿Cuál fue el número total de camiones con duraznos despachados durante
la semana?

15. Muestre que el conjunto {a, b, c, d} con las operaciones ( + ) y ( . ), definidas

abajo es una álgebra booleana
+ a b c d . a b c d
a a b c d a a a a a
b b b b b b a b c d
c c b c b c a c c a
d d b b d d a d a d

16. Demuestre que ninguna álgebra booleana puede tener exactamente tres
elementos distintos.
17. Demuestre que si a, b son elementos de una álgebra booleana B que satisfacen la

relación a ⊂ b entonces a ∪ (b ∩ c) = b ∩ (a ∪ c) para todo elemento c de B. (Esta

propiedad es conocida como la ley modular)
18. Sean el supremo y el ínfimo de una red distributiva R representada por + y .,
respectivamente. Demuestre que para todo a, b, c, en R
(a + b) . (b + c) . (c + a) = ab + bc + ca
19. Si x, y, z son elementos distintos de cero en una red distributiva, demuestre que,
demuéstrese que x + y + z = 1, donde + significa el supremo.
20. Considérese el conjunto D de todos los divisores de 30, donde la relación a

≤ b significa “a es un múltiplo de b”, donde a y b son divisores de 30.

a) Represente el conjunto D por un diagrama de Hasse.
b) Determínense los elementos mínimo y máximo de D.
c) Encuéntrense los complementos de los elementos de D.
d) Determínense los átomos y átomos duales.

21. Demuéstrese que los divisores de 10, donde a ∨ b = mcm de a y b, a ⋀ b = mcd

de a y b, constituyen un álgebra booleana.

EL PROFESOR DEL CURSO