Академический Документы
Профессиональный Документы
Культура Документы
Conjuntos ordenados.
16 20 30
8 6 10 15
2 3 5
a) M es máximo si ∀x ∈ E, x ≤ M .
b) m es mı́nimo si ∀x ∈ E, x ≥ m.
Si M 0, m0 pertenecen a E diremos
c) M 0 es maximal si x ∈ E y M 0 ≤ x ⇒
M 0 = x.
d) m0 es minimal si x ∈ E y m0 ≥ x ⇒ m0 = x.
Ejemplos:
{a, b, c}
{a, c}
{a, b} {b, c}
{b}
{a} {c}
4 10
2 5
e
e d
d
c b
b c
a a
s s
a b c c
i i
(a, b) (c, d) ⇐⇒ a ≤ c y b ≤ d,
Las operaciones ∨ y ∧ quedan definidas
(a, b) ∨ (c, d) = (max{a, c}, max{b, d})
(a, b) ∧ (c, d) = (min{a, c}, min{b, d})
(1, 2)
(1, 1) (0, 2)
(1, 0) (0, 1) (−1, 2)
(1, −1) (0, 0) (−1, 1)
(0, −1)(−1, 0)
(−1, −1)
a) a ∨ M = M a∧m=m Dominancia
b) m ∨ a = a M ∧a=a Identidad
Ejemplos:
• El retı́culo D30 es complementado, en cambio el
retı́culo D20 no lo es (2 y 10 no tienen complemento).
• Los retı́culos no distributivos anteriores son comple-
mentados. Obsérvese que en retı́culos no distributivos
puede haber más de un complemento a un elemento.
Ejemplos:
a) Si a es átomo, entonces, ∀b ∈ B, ab = 0 o
ab = a
210
30 42 70 105
6 10 14 15 21 35
2 3 5 7
f (a + b) = f (a) + f (b)
f (a · b) = f (a) · f (b)
f (a) = f (a)
son equivalentes.
f5 := f1 + f2 f10 := f3 + f4
f6 := f1 + f3 f11 := f1 + f2 + f3
f7 := f1 + f4 f12 := f1 + f2 + f4
f8 := f2 + f3 f13 := f1 + f3 + f4
f9 := f2 + f4 f14 := f2 + f3 + f4
En el álgebra de Boole F = {f | f : Bn →
B} los átomos son de la forma x10x02 . . . xn0
donde cada xi0 = xi ó xi0 = xi. Estos átomos
reciben también el nombre de mintérminos.
Análogamente los superátomos (¿qué expre-
sión toman?) reciben el nombre de maxtér-
minos.