Definición
Dado los axiomas del Álgebra de Boole, se pueden deducir y demostrar los siguientes teoremas fundamentales:
- Ley de idempotencia:
- Ley de dominación:
donde
- Ley de identidad:
donde
- Ley de De Morgan:
- Ley de involución:
- Ley del complemento:
donde