Ciencia de Datos en Organizaciones - 2024
Matemática A
Guı́a de trabajos prácticos N◦ 3 : Relaciones entre Conjuntos
Segunda parte: Diagrama de Hasse y álgebras de Boole
1. Establecer las propiedades de las siguientes relaciones:
a) Sea N el conjunto de los números naturales.
Sea ≤ la relación en N dada por x ≤ y si y sólo si x es menor o igual a y
b) Sea N el conjunto de los números naturales.
Sea | la relación en N dada por x|y si y sólo si x divide a y
c) Igual al anterior pero en el conjunto de los enteros.
2. Analizar que tipo de orden es el usual en el conjunto de los números rales.
3. Sea D12 = {1, 2, 3, 4, 6, 12} (el conjunto de los divisores de 12). Hallar el diagrama de
Hasse de D12 con la relación ”divide”
4. Describa las parejas ordenadas por las relaciones de cada uno de los siguientes diagra-
mas de Hasse. Determinar, si existen, los elementos máximo, mı́nimo y cotas inferiores
y superiores
a
1
b c d e f
g h i a b c d
j
0
5. Sean A, B y C elementos de un Álgebra de Boole B = (B,+,.,’,0,1), indicar si las
siguientes igualdades son verdaderas o falsas, señalando los axiomas usados:
a) A + (AC) = (A + A)(A + C)
b) AB + 0 = AB
Matemática A 2024 Página 1 de 2
c) CB1 = CB
′
d ) (AB) + AB = 0
e) CA + 0 = 0
6. Sea (B, ∧, ∨, 0, 1) un álgebra de Boole, probar que a ≤ b sı́ y sólo si a ∧ b = a ò a ∨ b = b
ordena B
7. Si x, y, z y w son variables de un álgebra de Boolle, simplificar hasta su minima
expresión las siguientes expresiones, indicando las propiedades usadas:
a) x′ + [(xx′ )′ ]
b) y ′ xy + y ′ x + ywx′ + yww
c) [(x + y)′ + z ′ ][z ′ + (x + (yz)′ )′ ]
8. Si x, y, z son variables de un Álgebra de Boole, demostrar que:
a) x′ y ′ z + x′ yz + xy ′ z + xyz + xyz ′ = z + xy
b) x + (y + 0)′ + y ′ z = x + y ′
c) x + y ′ + (xy + 0)′ = 1
d ) x + (y + 1)′ + xy = x
e) ((zx)′ zx)′ + xy + xy ′ = 1
f ) x((y ′ + x)′ + (y ′ + y)′ ) = 0
Matemática A - 2024 2 Página 2 de 2