TEOREMAS Y
PROPIEDADES BÁSICAS
DEL ÁLGEBRA
BOOLEANA. 2.3
Postulados y Teoremas básicos.
Es posible demostrar los teoremas del álgebra booleana
utilizando tablas de verdad. En esas tablas, se verifica que
ambos miembros de la relación den resultados idénticos para
todas las posibles combinaciones de las variables que
intervienen. Por ejemplo aquí se usan en el Teorema 6:
Con estás tablas de verdad es fácilmente demostrar cualquier teorema o postulado,
hasta el teorema de DeMorgan, he aquí por ejemplo la tabla del primer teorema
comprobado, que dice que (x + y)' = x'y'.
La precedencia de operadores
para evaluar expresiones
booleanas es: