Álgebra booleana — leyes, teoremas y simplificación

El álgebra booleana es el sistema que se usa para combinar y simplificar expresiones de verdadero/falso. Si estás intentando reducir una expresión lógica como $AB + A\overline{B}$, las herramientas principales son leyes como la de complemento, la distributiva, la de absorción y los teoremas de De Morgan.

En una notación común, $x + y$ significa OR, $xy$ significa AND y $\overline{x}$ significa NOT $x$. Algunos libros escriben NOT como $x'$, pero las reglas de fondo son las mismas.

Qué significa el álgebra booleana

El álgebra ordinaria trabaja con números. El álgebra booleana trabaja con proposiciones o variables binarias que solo pueden tomar dos valores: verdadero/falso o $1/0$.

Eso cambia las reglas. En álgebra booleana,

$$x + x = x \quad \text{and} \quad xx = x$$

Ambas identidades dicen lo mismo: repetir una condición no crea un resultado nuevo. Si un interruptor ya está encendido, decir "encendido OR encendido" no cambia nada.

Leyes del álgebra booleana que realmente se usan

Estas son las leyes que aparecen con más frecuencia al simplificar una expresión booleana.

Leyes de identidad

$$x + 0 = x, \qquad x \cdot 1 = x$$

Sumar falso no cambia nada, y hacer AND con verdadero no cambia nada.

Leyes nulas

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

Si una operación OR ya contiene verdadero, todo el resultado es verdadero. Si una operación AND contiene falso, todo el resultado es falso.

Leyes idempotentes

$$x + x = x, \qquad x \cdot x = x$$

Repetir la misma variable no cambia la expresión.

Leyes de complemento

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

Una variable y su opuesto cubren todos los casos en OR, pero nunca se superponen en AND.

Leyes conmutativas y asociativas

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

Estas te permiten reordenar o reagrupar términos sin cambiar el resultado.

Leyes distributivas

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

La segunda forma suele parecer menos familiar, pero es una identidad booleana estándar y aparece al factorizar.

Leyes de absorción

$$x + xy = x, \qquad x(x + y) = x$$

Estas son especialmente útiles cuando una expresión parece más larga de lo que realmente es.

Teoremas de De Morgan

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

Estos te dicen cómo una negación se desplaza a través de OR y AND. Cuando NOT atraviesa paréntesis, OR y AND intercambian sus papeles.

Ejemplo resuelto: simplificar $AB + A\overline{B}$

Empieza con

$$F = AB + A\overline{B}$$

Saca factor común $A$:

$$F = A(B + \overline{B})$$

Ahora usa la ley de complemento:

$$F = A \cdot 1$$

Luego usa la ley de identidad:

$$F = A$$

Así que $AB + A\overline{B} = A$. Intuitivamente, si $A = 1$, entonces o bien $B = 1$ o bien $\overline{B} = 1$, así que uno de los términos debe ser verdadero. Si $A = 0$, ambos términos son falsos. Toda la expresión depende solo de $A$.

Errores comunes en álgebra booleana

Un error común es importar hábitos del álgebra ordinaria al álgebra booleana. Por ejemplo, $x + x = 2x$ no es una regla booleana. Aquí, el resultado correcto es $x$.

Otro error es aplicar una ley sin comprobar la notación. En muchos textos, $+$ significa OR, no suma aritmética, y escribir variables una junto a otra significa AND.

Los estudiantes también usan mal los teoremas de De Morgan al negar cada variable pero olvidar intercambiar OR y AND. Ambas partes importan.

Dónde se usa el álgebra booleana

El álgebra booleana es fundamental en la lógica digital, donde las variables representan estados de encendido/apagado o verdadero/falso. Se usa para simplificar diseños de circuitos, escribir condiciones lógicas más limpias en software y razonar sobre filtros de búsqueda o consultas de bases de datos.

Si las variables no son binarias o las operaciones son aritmética ordinaria, las leyes booleanas no se aplican directamente. El contexto de dos valores es la condición que hace que el sistema funcione.

Prueba una simplificación similar

Intenta simplificar $(A + B)(A + \overline{B})$. Si usas las leyes anteriores con cuidado, se reduce más de lo que parece al principio. Si quieres ir un paso más allá, construye una tabla de verdad y comprueba que la forma simplificada coincide en cada fila.