Carlos Mario Sierra Duque Álgebra booleana: ejemplos

Ejemplos.

1) Demuestre que en toda álgebra booleana

´ 
 . (Teorema Bool_10a)

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.

2) Demuestre que en un álgebra booleana, cualquier terna de elementos
,  y

, satisfacen la siguiente
identidad:
  


 
  


 (Teorema Bool_11)).

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.

3) Demuestre que no existen álgebras booleanas de 3 elementos. (Teorema Bool_13)

Supóngase que se tiene un álgebra booleana compuesta por 3 elementos. Por ser álgebra booleana, dos
de sus elementos corresponden al máximo y al mínimo respectivamente. De esta forma, el tercer
elemento se sitúa en medio de esos elementos, conformándose una retícula totalmente ordenada;
observe el diagrama de Hasse correspondiente:
1
El elemento x no posee complemento, luego, esta retícula es no
complementada, y, por tanto, no podría ser un álgebra booleana, lo cual
x contradice la suposición inicial.

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.

5) Demuestre que en un álgebra booleana
  
´ 
´  0 (teorema Bool_13)

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.

1a.
´ 
´  0 Supuesto

2a.
´  0 
´  0 Necesariamente, los dos términos de 1a. resultan en el
mínimo.
3a.
´  0 Simplificación de proposiciones conjuntivas en 2a.
4a.
  Sustitución en 3a: Bool_8a.
5a.
´  0 Simplificación de proposiciones conjuntivas en 2a.
6a.  
Sustitución en 5a: Bool_8a.
7a.
    
Propiedad de la conjunción de proposiciones entre 5a y 6a.
8a.
  Expresión equivalente de 7a.
9a
´ 
´  0 
  Teorema de la deducción entre 1a y 8a.

De 9 y 9a se obtiene
  
´ 
´  0.