Algebras Booleanas para Informática

En matemáticas discretas o también conocidas como estructuras discretas; se estudia el contenido de algebras booleanas, la primera parte del contenido es el estudio de las propiedades de las algebras booleanas y las operaciones que hacemos con dichas propiedades.

 

Para colaborar con el estudio, pueden imprimir las propiedades de las algebras booleanas, que consiste en una tabla con todas las propiedades para poder tener una herramienta a la hora de hacer las demostraciones.



Ahora bien, las demostraciones solo requieren un poder de abstración sobre lo que se hace; de todas maneras si te estás iniciando en el estudio de las álgebras booleanas acá te dejo las demostraciones de las propiedades de las algebras booleanas:

• Demostración existencia del complemento

• Demostración unicidad del complemento: sea x pertenece a B, mostraremos que x complemento es único, suponemos que existen al menos dos complementos de x distintos. Digamos que a y x complemento.

• Demostración de la Involución

• Demostración Regla de la idempotencia

• Demostración Regla del Ínfimo

• Demostración Regla del supremo

• Leyes de Absorción

• Leyes de Morgan

• Demostraciones varias

Todo es cuestión de paciencia y de hacer las cosas con apoyo teórico, puesto que al hacer las demostraciones sin la ayuda teórica solo conseguiremos fustrarnos y que nuestros esfuerzos no sean gratificados. Las matemáticas discretas requieren la mayor concentración posible e imaginación. Que nuestros esfuerzos vayan apoyados de la teoría para poder triunfar.