Introducción
Cuando un ordenador decide si una contraseña es correcta, si un sensor activa una alarma o si un programa entra en un if, trabaja con algo muy sencillo: valores que solo pueden ser verdadero o falso. El álgebra de Boole es la matemática que permite manejar esos valores, y es la base tanto de los circuitos digitales como de las condiciones de cualquier lenguaje de programación.
En este artículo aprenderás las tres operaciones básicas, las leyes del álgebra de Boole, a simplificar expresiones paso a paso y a comprobar tus resultados con tablas de verdad. Es el paso previo al artículo de puertas lógicas, donde estas expresiones se convierten en circuitos.
1. Variables y operaciones básicas
Una variable booleana solo toma dos valores: 0 (falso) o 1 (verdadero). Con ellas se definen tres operaciones fundamentales:
- AND (producto lógico), se escribe : vale 1 solo si las dos variables valen 1.
- OR (suma lógica), se escribe : vale 1 si al menos una variable vale 1.
- NOT (negación), se escribe : invierte el valor; si entonces .
AND es la intersección, OR es la unión y NOT es el complementario.
2. Leyes del álgebra de Boole
Estas son las propiedades que se usan para simplificar. Cada ley se cumple tanto en su versión con AND como en su versión con OR:
- Identidad: y .
- Elemento nulo: y .
- Idempotencia: y .
- Complemento: y .
- Doble negación: .
- Conmutativa: y .
- Asociativa: y .
- Distributiva: y también .
- Absorción: y .
3. Leyes de De Morgan
Permiten «romper» una negación larga. Negar un AND equivale a un OR de las negaciones, y negar un OR equivale a un AND de las negaciones:
Se ve con un ejemplo de programación: la condición «no (tener 18 años y tener carnet)» equivale a «ser menor de 18 o no tener carnet». Comprobemos la segunda ley con una tabla de verdad: las columnas de y de tienen que coincidir en todas las filas.
Las columnas ¬(A+B) y ¬A·¬B son idénticas fila a fila (1, 0, 0, 0 de arriba abajo), así que las dos expresiones son equivalentes.
4. Cómo simplificar una expresión
Un método que funciona casi siempre tiene tres pasos:
- Si hay negaciones sobre paréntesis, aplica De Morgan para dejar la negación solo sobre variables.
- Busca factores comunes y sácalos con la ley distributiva.
- Aplica complemento, idempotencia, elemento nulo y absorción hasta que no puedas simplificar más.
5. Ejemplos resueltos
Ejemplo 1. Simplifica .
Sacamos factor común con la ley distributiva:
Aplicamos el complemento, , y la identidad:
Ejemplo 2. Simplifica . Aquí se usa la segunda forma de la distributiva:
Ejemplo 3. Simplifica . Primero De Morgan para eliminar la negación larga:
La expresión vale siempre 1: es una tautología, da igual cuánto valgan A y B.
Ejemplo 4. Simplifica . Se saca factor común y se aplica absorción:
6. De un enunciado a una expresión
Traducir un problema real a álgebra de Boole es la habilidad más útil. Ejemplo: «una alarma suena si la puerta está abierta (P) y el sistema está activado (S), o si el sensor detecta humo (H)». La expresión es:
Si ahora queremos saber cuándo no suena, negamos la expresión y aplicamos De Morgan dos veces:
Es decir: no suena cuando no hay humo y además falta la puerta abierta o el sistema activado.
7. Errores frecuentes
- ⚠️ Creer que 1 + 1 = 2. En álgebra de Boole el resultado es 1: solo hay dos valores posibles, el 0 y el 1.
- ⚠️ Negar cada variable sin cambiar el operador. no es : con De Morgan el AND se convierte en OR, y el OR en AND.
- ⚠️ Ignorar la prioridad de las operaciones. NOT se aplica primero, después AND y por último OR. Por eso no es lo mismo que .
- ⚠️ Simplificar «tachando» como en el álgebra normal. Cada simplificación debe apoyarse en una ley concreta. Por ejemplo, se justifica por la absorción.
- ⚠️ Confundir los dos complementos. y . Es fácil cambiarlos si no se piensa en el significado.
8. 📌 En 30 segundos
- Las variables solo valen 0 o 1; las operaciones son AND (), OR () y NOT (barra).
- En Boole, , , y .
- De Morgan: negar un AND da un OR de negaciones y negar un OR da un AND de negaciones.
- Para simplificar: aplica De Morgan, saca factor común y usa complemento, idempotencia y absorción.
- Con variables, la tabla de verdad tiene filas; sirve para comprobar cualquier simplificación.