Está en la página 1de 4

Matemática Discreta

Actividad colaborativa: Retículas y Álgebra de Boole

1. Dada la retícula
L  ( A, ) , A  a, b, c, d, f , g, h y cuyo d
donde e,
diagrama de Hasse se muestra a la derecha:
g h b
(a) Determine los complementos de todos los vértices de L .
(b) Determine b  (h  g) y (b  h)  (b  g). e
(c) ¿Es L distributiva? Justifique su respuesta.
(d) ¿Es L un Álgebra Booleana? Justifique su respuesta. f a
Solución
a) Determinando los complementos
Vértice Complemento Para determinar complementos c
a e ( vértice ) ∨ ( complemento )=Máximo
b e, f ( vértice ) ∧ ( complemento )=Mínimo
c d
d c OJO: elegir para el complemento un
e b, h, a vértice no comparable y que entre los
f b, h dos solo tengan solo una cota superior
g No tiene y debe ser el máximo y sola una cota
h f, e inferior y debe ser el mínimo.
No complementada
Una retícula es un Álgebra Booleana,
b) b ∨ ( h∧ g )=b ∨ a=b si es distributiva y complementada.
( b ∨ h ) ∧ ( b ∨ g )=d ∧ d=d

c) L no es distributiva por parte b) o porque tiene vértices con más de un complemento.

d) L no es un Álgebra Booleana, pues no es distributiva ni complementada.

2. Dada la retícula L  ( A, ) , A  a,b, c, d, f , g, h, j, k


donde: e, i,
y cuyo diagrama de Hasse se muestra a la derecha:

(a) Determine el complemento de cada vértice de L .


(b) Determine b  (i  c) y (b  i)  (b  c).
(c) ¿Es L distributiva? Justifique su respuesta.
(d) ¿Es L un Álgebra Booleana? Justifique su respuesta.
Solución
a) Determinando los complementos
Vértice Complemento j
a f, g, c, i h i
b No tiene
c e, d, a, h a c
d i, c
b
e i, c
f a, h d g
g a, h
h f, g, c, i e f
i e, d, a, h
j k k
k j
No es complementada

b) b ∨ ( i ∧c )=b∨ c= j
( b ∨i ) ∧ ( b ∨ c ) = j ∧ j= j

c) L no es distributiva, pues tiene vértices con más de un complemento.

d) L no es un Álgebra Booleana, pues no es distributiva ni complementada.

3. Dada la retícula L=( A ; ≤ ) , donde A={ a ; b ; c ; d ; e ; f ; g ; h }


Cuyo diagrama de Hasse se muestra a la derecha.

a) Determine los complementos de todos los vértices de L.


b) Determine e ∨ ( h ∧ g ) y ( e ∨ h ) ∧ ( e ∨ g ).
c) ¿Es L distributiva? Justifique su respuesta.
d) ¿Es L un álgebra booleana? Justifique su respuesta.

Solución

a) Determinando los complementos


Vértice Complemento
a e, h
b f, e, h
a ≤ b (comparables)
c d
Entonces:
d c a ∨ b=b
e a, b
a ∧ b=a
f b
g No tiene
h a, b
No es complementada

b) e ∨ ( h ∧ g )=e ∨ f =e
( e ∨ h ) ∧ ( e ∨ g )=h ∧ d=h

c) L no es distributiva por (b) o porque se tiene vértices con más de un complemento.

d) L no es un Álgebra Booleana, pues no es distributiva ni complementada.

4. Dada la retícula L  ( ) , donde:


A,
A  1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60 y cuyo
diagrama de Hasse se muestra abajo:

(a) Si el orden parcial es el de divisibilidad, ubique todos


los elementos del conjunto A en el diagrama de
Hasse.
(b) Determine el complemento de cada vértice de L .
(c) Determine 4  (6  15) y (4  6)  (4  15).
(d) ¿Es L distributiva? Justifique su respuesta.
(e) ¿Es L un Álgebra Booleana? Justifique su respuesta.

Solución
a) Orden Parcial de divisibilidad | ,
estos a | b significa que a divide a b
A  1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60 60

b) Determinando los complementos


Vértice Complemento 30
20
1 60 12
2 No tiene 15
3 20
4 15 4 10 6
5 12
6 No tiene 5 3
2
10 No tiene
12 5
15 4 1
20 3
30 No tiene
60 1
No es complementada

c) Determine 4  (6  15) y (4  6)  (4  15)


4 ∨ ( 6 ∧15 ) =4 ∨ 3=12( 4 ∨6 ) ∧ ( 4 ∨15 ) =12∧60=12

d) L …

e) L no es Álgebra Booleana, pues no complementada.

5. ¿Es el orden parcial (D6, |) un Álgebra Booleana?

6. ¿Es el orden parcial (D165, |) un Álgebra Booleana?

7. ¿Es el orden parcial (D99, |) un Álgebra Booleana?

8. Dadas las retículas L1 = (D130, |), L2 = (D45, |) y L3 = (D165, |), donde | indica la relación de divisibilidad.

(a) Trace el diagrama de Hasse de L2.


(b) ¿Son L1 y L2 Isomorfas? Justifique su respuesta.
(c) ¿Es L1 un álgebra booleana?
(d) ¿Es L2 un álgebra booleana?
(e) Determine el complemento de cada elemento en L3.

También podría gustarte