El álgebra booleana es un sistema matemático para razonar con dos estados. Sus variables suelen tomar los valores 0 y 1, que también pueden interpretarse como falso y verdadero, apagado y encendido, o nivel bajo y nivel alto. En lugar de la aritmética habitual, utiliza operaciones lógicas como AND, OR y NOT.
Este lenguaje permite describir circuitos digitales, condiciones de programas, filtros de bases de datos y reglas de búsqueda. La guía presenta la notación, las tablas de verdad, las principales leyes del álgebra booleana, los teoremas de De Morgan y varios métodos prácticos para simplificar expresiones sin cambiar su resultado.
Operaciones fundamentales del álgebra booleana
Las tres operaciones básicas son negación, conjunción y disyunción:
| Operación | Notación habitual | La salida vale 1 cuando... |
|---|---|---|
| NOT | A' o ¬A | A vale 0 |
| AND | A · B o AB | A y B valen 1 |
| OR | A + B | al menos una entrada vale 1 |
El signo más representa OR, no una suma numérica; por eso 1 + 1 = 1 en esta notación. La yuxtaposición o el punto representan AND, de modo que 1 · 0 = 0.
Una expresión como esta combina las tres operaciones:
Y = A(B + C')Y será verdadera cuando A sea verdadera y, además, B sea verdadera o C sea falsa. Los paréntesis fijan el orden de evaluación. Para relacionar la notación con el hardware, consulta la guía de puertas lógicas. La guía del sistema binario explica cómo los mismos símbolos representan cantidades en base 2.
Tablas de verdad booleanas
Una tabla de verdad evalúa una expresión para todas las combinaciones de entrada. Con n variables independientes existen 2^n filas: dos variables generan cuatro combinaciones y tres variables generan ocho.
Consideremos Y = A + B':
| A | B | B' | Y = A + B' |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
Conviene calcular primero las columnas intermedias. En este caso se obtiene B' y después se aplica OR con A. Dos expresiones son equivalentes únicamente si sus columnas de salida coinciden en todas las filas.
Leyes fundamentales del álgebra booleana
Estas identidades permiten reorganizar y reducir expresiones sin alterar la función que representan.
Identidad y dominación
Las leyes de identidad conservan el valor:
A + 0 = A
A · 1 = ALas leyes de dominación fijan la salida:
A + 1 = 1
A · 0 = 0Son especialmente útiles cuando una condición habilitada o deshabilitada introduce constantes en una expresión.
Idempotencia, complemento y doble negación
Repetir una condición no añade información:
A + A = A
A · A = AUna variable combinada con su complemento produce un resultado conocido:
A + A' = 1
A · A' = 0
(A')' = AEstas leyes eliminan pruebas duplicadas, condiciones opuestas y negaciones redundantes.
Conmutatividad y asociatividad
AND y OR permiten cambiar el orden:
A + B = B + A
AB = BATambién permiten reagrupar términos cuando se mantiene la misma operación:
(A + B) + C = A + (B + C)
(AB)C = A(BC)Estas reglas no autorizan a mover términos arbitrariamente entre operaciones AND y OR mezcladas.
Distributividad
AND se distribuye sobre OR:
A(B + C) = AB + ACEl álgebra booleana posee además la forma dual, en la que OR se distribuye sobre AND:
A + BC = (A + B)(A + C)La segunda identidad no pertenece a la aritmética ordinaria. Se verifica al expandir el lado derecho y aplicar idempotencia y absorción.
Absorción
La absorción elimina un término más específico cuando otro ya determina el resultado:
A + AB = A
A(A + B) = ASi A vale 1, A + AB ya es 1. Si A vale 0, AB también vale 0. Por tanto, B no puede modificar la salida.
Leyes de De Morgan
Las leyes de De Morgan explican cómo una negación atraviesa un grupo AND u OR:
(AB)' = A' + B'
(A + B)' = A'B'Al introducir la negación en el paréntesis hay que complementar cada variable y cambiar AND por OR, u OR por AND. Por ejemplo, “no se aprobaron ambas comprobaciones” equivale a “falló la primera o falló la segunda”.
La misma regla se extiende a más variables:
(ABC)' = A' + B' + C'
(A + B + C)' = A'B'C'Un error frecuente consiste en negar las variables sin intercambiar el operador. (A + B)' no es A' + B', sino A'B'.
Método para simplificar expresiones booleanas
Un proceso ordenado reduce errores:
- Elimina dobles negaciones y resuelve las constantes.
- Expande o factoriza solo cuando aparezcan términos duplicados o complementarios.
- Reordena con las leyes conmutativa y asociativa.
- Aplica idempotencia, complemento y absorción.
- Repite hasta que no queden términos prescindibles.
- Comprueba el resultado con una tabla de verdad completa cuando la exactitud sea crítica.
La expresión más corta no siempre produce la mejor implementación. En hardware importan el retardo, el consumo y las puertas disponibles; en software puede ser preferible conservar una condición más explícita y fácil de mantener.
Ejemplos de simplificación paso a paso
Ejemplo 1: A + A'B
Aplicamos la identidad distributiva dual:
A + A'B
= (A + A')(A + B)
= 1(A + B)
= A + BLas dos expresiones generan la misma salida en las cuatro combinaciones posibles de A y B.
Ejemplo 2: AB + AB'
AB + AB'
= A(B + B')
= A · 1
= ASea cual sea B, una de las variables B o B' será verdadera. La salida depende únicamente de A.
Ejemplo 3: (A + B)(A + C)
(A + B)(A + C)
= AA + AC + AB + BC
= A + AC + AB + BC
= A + BCLa idempotencia convierte AA en A y la absorción elimina AC y AB.
Ejemplo 4: (A + B')'
(A + B')'
= A'(B')'
= A'BLa negación exterior convierte OR en AND y complementa cada entrada. La doble negación devuelve B.
Formas canónicas SOP y POS
Una suma de productos (SOP) combina términos AND mediante OR, como A'B + AB'. En la forma canónica, cada producto incluye todas las variables y puede representar una fila de la tabla cuya salida es 1.
Un producto de sumas (POS) combina términos OR mediante AND, como (A + B)(A' + C). Cada suma puede corresponder a una fila cuya salida es 0.
Las formas canónicas ofrecen un procedimiento sistemático para pasar de una tabla a una expresión, aunque suelen ser más largas de lo necesario. El álgebra booleana, los mapas de Karnaugh y las herramientas de minimización pueden reducirlas. SOP se traduce naturalmente en una red AND seguida de OR; POS utiliza OR seguida de AND.
Aplicación en circuitos digitales
Cada puerta básica implementa una operación booleana. AND realiza la conjunción, OR la disyunción y NOT la complementación. NAND, NOR, XOR y XNOR proporcionan relaciones compuestas de uso habitual.
Simplificar puede reducir puertas y conexiones. Una implementación literal de AB + AB' necesita dos ramas AND, un inversor y una etapa OR. Como la expresión se reduce a A, el modelo lógico ideal puede sustituir toda esa red por una conexión directa.
La equivalencia funcional no garantiza un comportamiento temporal idéntico. Los circuitos reales tienen retardos de propagación, cargas eléctricas, restricciones de reloj y posibles transitorios. El álgebra demuestra que la salida estable es equivalente; el análisis de ingeniería determina si la realización física es adecuada.
Las mismas reglas aparecen en operaciones bit a bit. 1010 AND 1100 produce 1000 porque cada posición sigue la tabla de AND. La calculadora binaria sirve para comprobar valores aritméticos, pero una suma propaga acarreos mientras una operación bit a bit trata cada columna de forma independiente.
Lógica booleana en programas y consultas
Los lenguajes de programación expresan estas relaciones con su propia sintaxis:
const canPublish = isEditor && (isOwner || hasApproval);&& representa AND y || representa OR. El cortocircuito añade comportamiento de ejecución: el lenguaje puede omitir el operando derecho cuando ya conoce el resultado. Si una condición contiene efectos secundarios, una transformación algebraicamente válida podría cambiar lo que ejecuta el programa.
Los filtros de bases de datos también necesitan paréntesis claros. status = published AND (category = guide OR category = reference) conserva una estructura booleana concreta que puede cambiar si se altera la precedencia.
Errores habituales
- Interpretar
+como suma aritmética; en lógica,A + A = A. - Aplicar De Morgan a las variables sin intercambiar AND y OR.
- Eliminar paréntesis antes de confirmar la precedencia.
- Probar solo algunos casos en vez de comparar todas las filas.
- Suponer que circuitos con la misma tabla tienen el mismo retardo.
- Confundir operadores lógicos, operadores bit a bit y aritmética binaria.
Preguntas frecuentes
¿Para qué sirve el álgebra booleana?
Sirve para especificar y simplificar circuitos digitales, redactar condiciones de programas, construir filtros de búsqueda o bases de datos y demostrar equivalencia entre reglas lógicas.
¿Quién desarrolló el álgebra booleana?
George Boole estableció sus fundamentos en el siglo XIX. Trabajos posteriores relacionaron el sistema simbólico con circuitos de conmutación y lo convirtieron en una base de la ingeniería digital.
¿Es lo mismo que la aritmética binaria?
No. Ambas usan 0 y 1, pero el álgebra booleana los interpreta como estados y opera con AND, OR y NOT. La aritmética binaria los trata como dígitos de base 2 y utiliza acarreos y préstamos. La suma binaria muestra esa diferencia.
¿Cuáles son las leyes más importantes?
Identidad, dominación, idempotencia, complemento, conmutatividad, asociatividad, distributividad, absorción y De Morgan forman el núcleo práctico para simplificar expresiones.
¿Cómo se demuestra que dos expresiones son equivalentes?
Se puede transformar una en otra usando identidades válidas o construir tablas de verdad completas y comparar sus salidas fila por fila.
¿Por qué conviene simplificar una expresión booleana?
La simplificación revela condiciones redundantes y puede reducir operaciones, puertas, cableado, consumo o complejidad de código. Después deben evaluarse también la legibilidad y las restricciones físicas o temporales.
Resumen
El álgebra booleana convierte decisiones de dos estados en expresiones precisas. Las tablas de verdad definen el comportamiento, las identidades conservan la equivalencia y las leyes de De Morgan permiten mover negaciones entre grupos. Con estas herramientas, los circuitos, las operaciones bit a bit y las condiciones complejas se pueden analizar y verificar de forma sistemática.
