Download Álgebra de Boole. Retículos.

Document related concepts

Retículo (matemáticas) wikipedia , lookup

Álgebra mediana wikipedia , lookup

Álgebra de Cantor wikipedia , lookup

Retículo distributivo wikipedia , lookup

Transcript
C APÍTULO 4.
Álgebra de
Boole. Retículos.
Este capítulo introduce dos estructuras
algebraicas muy importantes : la
estructura de álgebra de Boole y la de
retículo. Estas estructuras constituyen
una parte fundamental en la creación de
la tecnología actual. Además su
estructura matemática es de una belleza
y armonía digna de mención.
S ECCIÓN 1
Álgebra de Boole.
El álgebra de Boole constituye una estructura
algebraica perfecta que tiene aplicaciones inmediatas e
importantes a la ingeniería.
En este capítulo diagramamos un álgebra de Boole
clásica y tratamos también funciones booleanas,
particularmente formas normales disyuntivas y
conjuntivas.
C ONTENIDOS .
1. Álgebra de Boole de divisores Dn.
2. Funciones booleanas.
3. Circuitos lógicos y aplicaciones.
32
Problema 1.
obtenemos el siguiente diagrama de Hasse.
Determinar si el conjunto de los divisores de 165
forma una estructura de álgebra de Boole. En caso
afirmativo realizar el diagrama de Hasse de la misma e
indicar el complemento de cada elemento.
165
33
Solución.
Recordemos que una condición necesaria y
suficiente para que el conjunto Dn con las operaciones
de m.c.d. y m.c.m. forme un álgebra de Boole es que
n = p1 . p2 ......... . pk
3
15
11
55
5
con pi ≠ pj si i ≠ j.
Como 165 = 3 × 5 × 11 vemos que efectivamente el
conjunto D165 forma un álgebra de Boole con las
operaciones mencionadas.
Ahora bien, el conjunto D165 es
Dn = {1,3,5,11,15,33,55,165}.
1
Ahora bien, para indicar el complemento de cada
elemento es preciso hallar para cada x ∈ D165 un
elemento x′ ∈ D165 tal que
[x, x′] = 165
Recordando que en esta álgebra de Boole
a + b = a ∨ b = [a, b]
y que
y simultáneamente
(x, x′) = 1.
a . b = a ∧ b = (a, b)
33
De este diagrama de Hasse vemos claramente que
Problema 2.
Dada el circuito lógico siguiente
165
33
3
15
11
55
5
Solución.
1
1′ = 165
3′ = 55
5′ = 33
11′ = 15
y recordando que una de las propiedades del álgebra de
Boole es que x′′ = x tenemos “leyendo al revés” que
1 = 165′
3 = 55′
5 = 33′
se pide hallar una función booleana que lo represente y
luego llevar dicha función booleana a la forma
normal disyuntiva.
11 = 15′.
Comencemos por hallar una función booleana que
lo represente. De las compuertas básicas vemos,
leyendo el circuito “hacia atrás” que este será un
producto de dos factores es decir tendrá la forma
f (A, B, C ) = [
] . [ ].
Ahora bien el primer corchete es la suma de A y B
es decir que hasta ahora tenemos
f (A, B, C ) = [A + B] . [
]
34
mientras que vemos que el segundo es la suma de dos
sumandos así que resulta una expresión de la forma
f (A, B, C ) = [A + B] . [( ) + (
)].
Observando cada sumando resulta finalmente que
la función booleana que representa al circuito es
f (A, B, C ) = [A + B] . [(B . C ) + (B + C )].
Para llevarla a la f.n.d. tenemos dos formas de
proceder. Comencemos por la primera, la cual es
construyendo los minitérminos que deberán
aparecer en la misma.
Operando resulta
f (A, B, C ) = [A + B] . [(B + C )] = (A + B) . (B + C )
con lo cual, sacando “sumando” común tenemos
f (A, B, C ) = B + (A . C ).
Agregando tantos “unos” en cada sumando como
variables falten resulta
f (A, B, C ) = 1.B.1 + A.1.C
lo cual se puede cambiar por
Aplicando la propiedad distributiva tenemos
f (A, B, C ) = ABC + ĀBC + ABC̄ + ĀBC̄ + ABC + A B̄C
y finalmente eliminando los términos iguales
f (A, B, C ) = ABC + ĀBC + ABC̄ + ĀBC̄ + A B̄C.
La segunda forma consiste en hallar la imagen de
cada terna (a, b, c) y luego observando donde están los
“unos”, donde cambiamos a minúsculas para mayor
claridad.
Mediante este procedimiento es fácil armar los
minitérminos. Observando, por ejemplo el primer
“uno” vemos que debe aparecer el minitérmino
m1 = āb c̄.
De la misma manera se obtiene, observando el
segundo “uno” que no debe faltar el minitérmino
m2 = ābc.
Continuando de esta manera con los restantes tres
unos y sumando llegamos a que la forma normal
disyuntiva de la función f (a, b, c) es
f (a, b, c) = āb c̄ + ābc + a b̄c + ab c̄ + abc
f (A, B, C ) = (A + Ā) . B . (C + C̄ ) + A . (B + B̄) . C
35
a
b
c
f(a,b,c)
0
0
0
0
0
0
1
0
0
1
0
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
1
Imagen de cada terna bajo la
función booleana f(a,b,c).
la cual por supuesto es la misma que la que se obtiene
por el método anterior.
36
S ECCIÓN 1
Retículos.
Esta sección trata sobre retículos, que constituyen
una generalización de la estructura de álgebra de
Boole.
Se relaciona con otro tema importante de la
materia : grupos, porque los subgrupos de un grupo
forman con operaciones claramente definidas una
estructura de retículo. En general, los subgrupos de un
grupo no formarán un álgebra de Boole y por eso la
estructura de retículo es la adecuada para tratar este
asunto.
También prestamos especial atención a las redes
no distributivas.
C ONTENIDOS
1. Retículos no distributivos.
2. Grupo Z2 × Z4.
3. Relación entre subgrupos y retículos.
37
Problema 1.
Sea G = Z2 × Z4 el producto de los grupos (Z2, + ) y
(Z4, + ).
Otro subgrupo de Z4 es el subgrupo generado por el 3 el
cual resulta
K = < 3 > = {3,2,1,0}.
a)Determinar si este grupo es cíclico y hallar la red de
subgrupos de G.
Con esto, el retículo de subgrupos de Z4 resulta el
del diagrama siguiente.
b) Determinar si la red de dichos subgrupos forma una
red distributiva.
Ahora bien, es un poco más difícil el retículo de
subgrupos de G = Z2 × Z4 porque este grupo no es
cíclico. Sin embargo, en virtud del teorema de
Lagrange tenemos que si H ≤ G es un subgrupo de G
Solución.
Recordemos como se definen los grupos Z2 y Z4.
a)
+
0
1
2
3
0
0
1
2
3
+
0
1
1
1
2
3
0
0
0
1
2
2
3
0
1
1
1
0
3
3
0
1
2
entonces | H | | G | . Luego, como | G | = 8 sólo podemos
tener subgrupos de orden 1,2,4,8. Cada elemento de
G = Z2 × Z4 generará un subgrupo cíclico, aunque
varios de ellos pueden coincidir.
En efecto, tenemos
1) < (0,0) > = {(0,0)}
2) < (1,0) > = {(1,0), (0,0)}
3) < (0,2) > = {(0,2), (0,0)}
Un subgrupo de Z4 es por ejemplo,
H = {0,2} = < 2 > .
4) < (1,1) > = {(1,1), (0,2), (1,3), (0,0)} = < (1,3) >
5) < (0,1) > = {(0,1), (0,2), (0,3), (0,0)} = < (0,3) >
6) < (1,2) > = {(1,2), (0,0)}
38
Con esto tenemos que todos los subgrupos cíclicos
posibles de G = Z2 × Z4 ya están listados, que el grupo
en cuestión G = Z2 × Z4 no es cíclico y que cualquier
otro subgrupo debe tener orden 4 ya que si tuviera
orden 2 debería ser cíclico y estar listado. Ahora bien,
en el subgrupo posible de orden 4 todos sus elementos
deben tener orden 2 (salvo el neutro) pues sino sería
cíclico y a los cíclicos los hemos listado todos. Luego, el
único subgrupo posible faltante es :
H = {(1,2), (0,2), (1,0), (0,0)}.
Como H es verdaderamente un subgrupo tenemos
junto con todo el grupo G = Z2 × Z4 los ocho subgrupos
de G = Z2 × Z4.
Estos subgrupos se pueden ordenar por la
inclusión en el siguiente retículo.
Enunciado.
b) Vista como red (o Lattice) esta red no es
distributiva. En efecto contiene una subred isomorfa a
N5 y como sabemos dicha red no es distributiva.
Inclusive contiene dos subredes isomorfas a N5.
Dado el retículo L = (D50, | ) realizar el diagrama
de Hasse, hallar el complemento de cada elemento (si
existe), determinar si es distributivo y finalmente
determinar si es isomorfo al retículo R = (D12, | ).
Solución.
39
Comencemos por determinar cual es el conjunto
sobre el cual se va a formar la estructura de retículo. El
conjunto D50 es
Galería 2 : Redes isomorfas.
Vemos a partir de este diagrama de Hasse que
para cada par de elementos x, y ∈ D50 existen
sup{x, y} = x ∨ y
inf{x, y} = x ∧ y
es decir el conjunto (D50, | ) es una red.
Como esta red NO contiene una subred isomorfa a
M5 ni a N5 vemos que nuestra red es distributiva.
Para determinar el complemento de cada
elemento debemos hallar para cada x ∈ D50 un
elemento x′ ∈ D50 tal que
El diagrama de Hasse de la red D50. A continuación el
diagrama de Hasse de la red D12.
D50 = {1,2,5,10,25,50}.
Si lo ordenamos parcialmente por la divisibilidad
tenemos el diagrama de Hasse siguiente
X
X’
1
50
2
25
5
No existe
10
No existe
25
2
50
1
x ∨ x′ = 50
y
x ∧ x′ = 1.
Con el diagrama de Hasse vemos fácilmente que
tenemos la siguiente tabla.
40
Finalmente para determinar si es isomorfo al
retículo R = (D12, | ) tenemos, pasando en la ventana a
la siguiente figura que un posible isomorfismo es el
siguiente
X
F(X)
1
1
2
3
5
2
10
6
25
4
50
12
pues con esta función se verifica que
f (x ∨ y) = f (x) ∨ f (y)
f (x ∧ y) = f (x) ∧ f (y)
que es, junto con la biyectividad de f la definición de
isomorfismo.
41
Álgebra de Boole
Una estructura A = (B, + , . ,′ ,0,1) es un álgebra de Boole si
+, . : B × B → B
′: B → B
y si ∀x, y, z ∈ B tenemos
1. x + y = y + x
x.y = y.x
2. (x + y) + z = x + (y + z)
x . (y . z) = (x . y) . z
3. x . (y + z) = x . y + x . z
x + (y . z) = (x + y) . (x + z)
4. x + 0 = x
x.1 = x
5. ∀x ∈ B, ∃x′ ∈ B : x + x′ = 1
x . x′ = 0.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 4 - Álgebra de Boole.
Clase
Sea A ⊂ U y ∼ una relación de equivalencia en A. Sea a ∈ A.
Se define la clase de a, como el conjunto cl(a) = {x ∈ A : x ∼ a}.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 1 - Producto cartesiano.
Capítulo 1 - Producto cartesiano.
Capítulo 1 - Relaciones.
Capítulo 1 - Relaciones.
Congruencia
Sean a, b ∈ Z . Sea m ∈ N, m > 1. Decimos que
a ≡ b (m) ⟺ m | b − a.
Es equivalente esto a decir que
r(a, m) = r(b, m)
donde r(a, m) es el resto de dividir a por m.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 2 - Divisibilidad. Congruencia.
Capítulo 2 - Teorema de Fermat.
Conjunto cociente
Sea A ⊂ U y ∼ una relación de equivalencia en A. Se llama “conjunto cociente” de A
bajo la relación ∼ al conjunto
A / = {cl(a) : a ∈ A}.
∼
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 1 - Producto cartesiano.
Capítulo 1 - Relaciones.
Equivalencia
Sea A ⊂ U un conjunto. Se dice que una relación ∼ es de equivalencia en A si
1. ∼ es reflexiva en A.
2. ∼ es simétrica en A.
3. ∼ es transitiva en A.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 1 - Producto cartesiano.
Capítulo 1 - Relaciones.
Euler
La función ϕ de Euler es la función definida así :
ϕ:N→N
ϕ(n) = {a < n : (a, n) = 1} .
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 2 - Teorema de Fermat.
Forma normal disyuntiva
Sea f (x, y, z) : B 3 → B una función booleana. Se llama forma normal disyuntiva de f a
una suma de minitérminos distintos mi tal que
f (x, y, z) =
n
∑
mi.
i=1
Si f tiene n “unos” entonces la forma normal dusyuntiva tendrá n términos.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 4 - Álgebra de Boole.
Capítulo 4 - Álgebra de Boole.
Minitérminos
Sea n ∈ N. Un minitérmino a n variables es una expresión de la forma m = y1 . y2 . … . yn
donde cada yi = xi o yi = x̄i.
Por ejemplo, un minitérmino a tres variables es m = x1 . x̄2 . x3.
Observemos que el valor de este minitérmino es siempre 0 salvo para la terna (1,0,1).
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 4 - Álgebra de Boole.
Recurrencia
En general una expresión de la forma
an+1 = f (an)
se llama una recurrencia de primer orden. Para las recurrencias de segundo orden la
definición es la siguiente : una expresión de la forma
an+2 = f (an+1, an).
Resolver una recurrencia significa hallar la o las sucesiones xn que sustituidas en ella la
convierten en igualdad.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 3 - Recurrencia.
Capítulo 3 - Recurrencia.
Capítulo 3 - Recurrencia.
Capítulo 3 - Recurrencia.
Capítulo 3 - Recurrencia.
Red
Una red, retículo o lattice es un conjunto parcialmente ordenado (L, ⪯ ) en el cual
∀x, y ∈ L : ∃ sup{x, y}, in f{x, y} .
Una segunda definición de retículo es una terna (L, ∨ , ∧ ) donde
∨ , ∧ : L × L → L son operaciones binarias
1. Asociativas.
2. Conmutativas.
3. Idempotentes. ( ∀x ∈ L : x ∨ x = x
,
x ∨ x = x)
4. Ley de absorción. ( ∀x, y ∈ L : x ∧ (x ∨ y) = x
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 4 - Retículos.
Capítulo 4 - Retículos.
Capítulo 4 - Retículos.
,
x ∨ (x ∧ y) = x)
Relación de orden
Sea A ⊂ U. Sea ⪯ una relación en A . Se dice que ⪯ es de orden en A si ⪯ es
1. Reflexiva.
2. Antisimétrica.
3. Transitiva.
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 1 - Relaciones.
Teorema de Fermat
Sea p un número primo y a ∈ N tal que p |/ a. Entonces a p−1 ≡ 1 (p).
Related Glossary Terms
Drag related terms here
Index
Find Term
Capítulo 2 - Teorema de Fermat.
Capítulo 2 - Teorema de Fermat.