E.T.S.

de INGENIERÍA INFORMÁTICA
Curso 2021/2022

Estructuras Algebraicas para la Computación

Relación 2 de Ejercicios

1. En los siguientes apartados determina si el diagrama de Hasse representa un retı́culo ordenado

(a) (b) (c) (d)

En caso afirmativo, estudia si es complementado y si es distributivo.

2. Justifica por qué no es retı́culo el conjunto parcialmente ordenado (A, ⪯)

f
e

b d
d e
c b c

a a

(A, ⪯) (M, ⪯)

3. Justifica por qué no es distributivo el retı́culo (M, ⪯) y estudia si es complementado.

4. Da ejemplos (si existen) de:

a) Un conjunto parcialmente ordenado que no sea retı́culo ordenado.

b) Un retı́culo acotado que no sea finito.
c) Un retı́culo distributivo que no sea complementado.
d ) Un retı́culo complementado que no sea distributivo.
e) Un álgebra de Boole con 24 elementos.

5. Sea D60 el conjunto de todos los divisores de 60 con la relación divisibilidad

a) Dibuja su diagrama de Hasse.

b) Da una lista de los átomos y otra lista de los elementos ⊔-irreducibles de D60 .
c) Expresa 60, 12 y 20 mediante elementos ⊔-irreducibles (en más de una forma si es posible).
d ) Determina los elementos que tienen complemento.

1
 6. Se considera el retı́culo (Dn , |) con n = p11 · p12 · · · p1k , donde cada p1 < p2 < . . . < pk son primos.
Estudia si es posible definir una función

·: Dn −→ Dn
x 7−→ x

tal que m.c.d.(x, x) = 1 y m.c.m.(x, x) = n.

7. En el conjunto F(B2 , B) de las funciones de B2 en B se considera la relación ⪯ definida:

f ⪯ g ⇐⇒ f (x) ≤ g(x) para cada x ∈ B2

a) Dibuja el diagrama de Hasse de F(B2 , B), ⪯ .

b) Señala los átomos y superátomos.

c) Estudia si es posible definir una función

−: F(B2 , B) −→ F(B2 , B)
f 7−→ g

+g)(x) = 1 y (f • g)(x) = 0, para todo x ∈ B2 .

tal que (f+
d ) Justifica si F(B2 , B) es un álgebra de Boole.

8. En un álgebra de Boole A se define la operación ⊕ (xor) de la siguiente manera: a ⊕ b = ab + ab.

a) Determina a ⊕ a, a ⊕ 0, a ⊕ 1 y a ⊕ a.
b) Demuestra o refuta cada una de las siguientes afirmaciones

i) a ⊕ b = b ⊕ a ii ) a ⊕ (b ⊕ c) = (a ⊕ b) ⊕ c

iii ) a ⊕ b = a ⊕ b iv ) a ⊕ bc = (a ⊕ b)(a ⊕ c)

v ) a(b ⊕ c) = ab ⊕ ac vi ) a ⊕ b = a ⊕ b = a ⊕ b

vii ) a ⊕ b = 0 ⇒ a = b viii ) a ⊕ b = a ⊕ c ⇒ b = c

9. Encuentra un conjunto S tal que P(S) y B5 sean isomorfos como álgebras de Boole.

10. Sea el conjunto A = {a, b, c}. Estudia si es posible definir un isomorfismo φ : D105 → P(A).
En caso afirmativo, halla φ(35) y φ(21).

11. Justifica si existe un entero n ≤ 200 tal que Dn y F(B2 , B) son álgebras de Boole isomorfas.

12. Se consideran las álgebras de Boole A1 = D2310 y A2 = P({a, b, c, d, e}) y se define la función φ : A1 → A2
del siguiente modo:

φ(2) = {a} φ(3) = {b} φ(5) = {c} φ(7) = {d} φ(11) = {e}

a) Expresa, si es posible, los elementos 110, 210 y 330 en función de átomos y superátomos.
b) Determina cuáles deben ser las imágenes de φ(35), φ(110), φ(210) y φ(330) para que φ sea
isomorfismo de álgebras de Boole.
c) Estudia si se puede definir otra función ψ : A1 → A2 que también sea isomorfismo de álgebras de
Boole.
d ) En caso afirmativo, determina ψ(110), ψ(210) y ψ(330).
e) ¿Cuántos isomorfismos diferentes se pueden definir entre A1 y A2 ?

Curso 21/22 Relación 2 de Ejercicios de E. A. C. 2

 13. Demuestra o refuta:

a) Todo conjunto ordenado es un retı́culo.

b) Si L es un retı́culo finito, entonces es acotado.

c) Si L es un retı́culo complementado, entonces es un álgebra de Boole.

d ) Si A es un álgebra de Boole y a, b, c ∈ A son tales que a + b = a + c, entonces b = c.

e) Existe n ∈ N250 tal que Dn y F(B2 , B) son isomorfos como álgebras de Boole.

f ) En el álgebra de Boole (D462 , ∨, ∧, −, 1, 462) se verifica:

(x ∧ 3) ∧ (77 ∨ 3) = (231 ∧ x) ∨ 77

14. Define una función booleana de B3 en B y halla su forma normal disyuntiva.

15. Halla la forma normal disyuntiva de la función booleana F : B3 → B dada en forma conjuntiva

F (x, y, z) = (x + y + z)(x + y + z)(x + y + z)

16. Sean las expresiones booleanas

E1 (x, y, z) = x + z + y · z + y + z y E2 (x, y, z) = x · z + y · z + y

a) Determina si E1 (x, y, z) y E2 (x, y, z) son equivalentes.

b) Estudia si mediante la expresión booleana E2 se puede especificar la función booleana

F (x, y, z) = xz + y

c) Halla la forma normal disyuntiva y la forma normal conjuntiva de la función booleana que se puede
especificar mediante la expresión booleana E1 (x, y, z).

Curso 21/22 Relación 2 de Ejercicios de E. A. C. 3