Documentos de Académico
Documentos de Profesional
Documentos de Cultura
E Jem S Algebra Boolean A
E Jem S Algebra Boolean A
E Jem S Algebra Boolean A
Ejemplos.
1. ´ Supuesto
2. ´ Sustitución en 1: propiedad distributiva, por definición, de
las álgebras booleanas (Bool_2b)
3. 1 Sustitución en 2: retícula complementada (Bool_3a);
propiedad, por definición, de las álgebras booleanas.
4. Sustitución en 3: Ley modulativa (Bool_6b).
5. ´ Teorema de la deducción entre 1 y 5. Además, La
expresión 4 fue obtenida mediante, y exclusivamente,
sustituciones desde la 1.
La demostración puede empezar eligiendo cualquiera de los dos lados de la ecuación y llegar al otro.
Posteriormente debe efectuarse el proceso recíproco.
1.
Supuesto
2.
Sustitución en 1: propiedad distributiva, por definición, de
las álgebras booleanas (Bool_2a)
3.
Sustituciones en 2: Ley de absorción (Lat_12b) y Ley
distributiva (Bool_2a).
4.
Sustituciones en 3: Ley asociativa (Lat_13a) y conmutativa
(Lat_11a), de las retículas.
5.
Sustitución en 4: Ley de absorción (Lat_12a).
6.
Sustitución en 5: propiedad distributiva, por definición, de
las álgebras booleanas (Bool_2a)
7.
Sustitución en 6: Ley de idempotencia (Lat_10b).
8.
Sustitución en 7: Ley de idempotencia (Lat_10b).
9.
Sustitución en 8: Ley conmutativa (Lat_11a).
10.
Sustitución en 9: Ley conmutativa (Lat_11b).
11.
La expresión 10 fue obtenida mediante, y
exclusivamente, sustituciones sucesivas desde la
expresión 1.
0
1
Carlos Mario Sierra Duque Álgebra booleana: ejemplos
4) Demuestre que ´ 0 (Teorema Bool_8a).
1. Supuesto
2. Expresión equivalente a 1: Lat_7b.
3. ´ 0 Propiedad del álgebra booleana (Bool_3a)
4. 0 0 Propiedad del álgebra booleana (Bool_5b)
5. ´ 0 Sustitución: 3 en 4.
6. ´ 0 Sustitución en 5: Ley asociativa de las retículas (Lat_13b).
7. ´ 0 Sustitución: 2 en 6.
8. ´ 0 Teorema de la deducción entre 1 y 7.
1a. 1 Bool_6b
2a. Sustitución en 1a.: Propiedad de las álgebras booleanas (Bool_3a)
3a. Sustitución en 2a: Propiedad de las álgebras booleanas (Bool_2a)
4a. ´ 0 Supuesto
5a. Sustitución de 4a en lado izquierdo de 3a.
6a. Sustitución: Lat_7b en 5a.
7a. ´ 0 Teorema de la deducción entre 4a. y 6a.
1. Supuesto
2. Expresión equivalente a 1.
3. Simplificación de proposiciones en 2.
4. Simplificación de proposiciones en 2.
5. ´ 0 Sustitución en 3:Bool_8a.
6. ´ 0 Sustitución en 4:Bool_8a.
7. ´ 0 Sustitución en 6: Ley conmutativa (Lat_11b).
8. ´ ´ 0 0 0 m.c.s. de 5 y 7, y Ley de idempotencia (Lat_10a) en el
resultado.
9. ´ ´ 0 Teorema de la deducción entre 1 y 8.