Leyes del Álgebra Booleana

El álgebra booleana es la matemática de la lógica, operando sobre variables que solo pueden ser VERDADERO (1) o FALSO (0). Así como el álgebra regular tiene reglas para simplificar expresiones, el álgebra booleana tiene su propio conjunto de leyes y teoremas. Dominar estas reglas te permite simplificar expresiones lógicas complejas, reduciendo el número de compuertas necesarias en un circuito.

Objectives

• Enunciar y aplicar todas las leyes fundamentales del álgebra booleana
• Demostrar y usar los dos teoremas de De Morgan
• Aplicar la ley de absorción para simplificar expresiones
• Usar el teorema de consenso para simplificación avanzada
• Comprender y aplicar el principio de dualidad
• Simplificar expresiones booleanas de múltiples variables paso a paso

Key Takeaways

• El álgebra booleana usa solo 0 y 1, con operaciones AND (·), OR (+) y NOT (barra)
• De Morgan es el teorema más importante: "rompe la barra, cambia el signo"
• La ley de absorción (A + AB = A) elimina términos redundantes
• El teorema de consenso elimina términos formados por las variables restantes de pares complementarios
• Cada teorema tiene un dual (intercambiar AND↔OR, 0↔1)
• Siempre verifica las simplificaciones con una tabla de verdad si no estás seguro

Applications

• Optimización de Circuitos: Menos compuertas = menos costo, potencia y retardo.
• Lógica de Software: Simplificación de expresiones condicionales en programación.
• Diseño Digital: Base para mapas de Karnaugh y herramientas de síntesis automatizadas.
• Verificación: Demostrar que dos circuitos son funcionalmente equivalentes.

Practice Problems

Problem 1: Simplifica: A·B + A·B' + A'·B

Problem 2: Aplica De Morgan para simplificar: NOT(A·B + C)

Problem 3: Simplifica: X·Y + X'·Z + Y·Z

Problem 4: Encuentra el dual de: A·(B+C) = A·B + A·C

Problem 5: Simplifica: (A+B)·(A+C)·(B+C)

Problem 6: Demuestra por tabla de verdad que A + A'·B = A + B