Expresión booleana (lógica y programación)

Componentes principales

Los elementos típicos de una expresión booleana incluyen:

• variables o predicados (por ejemplo, X > 3 o isEmpty(list)),
• operadores lógicos como AND, OR y NOT (a menudo escritos &&, ||, !),
• las constantes verdadero y falso, y
• paréntesis para agrupar subexpresiones.

Las expresiones compuestas combinan estas partes; por ejemplo, (X > 3) && (Y <= 10) produce verdadero solo cuando se cumplen ambas subcondiciones.

Comportamiento y evaluación

Las reglas de evaluación determinan cómo una expresión se reduce a un valor de verdad. Muchos lenguajes implementan evaluación de cortocircuito: en A || B, B no se evalúa si A ya es verdadero; en A && B, B no se evalúa si A es falso. Algunos operadores (como los bit a bit & y |) y los predicados personalizados pueden evaluar todos los operandos y provocar efectos secundarios. Las expresiones booleanas pueden transformarse mediante leyes algebraicas —conmutatividad, asociatividad y distributividad—, y las reglas de De Morgan se usan con frecuencia para simplificar o invertir expresiones.

Historia y teoría

El marco matemático de las expresiones booleanas se remonta al álgebra booleana, desarrollada en el siglo XIX como una forma de formalizar el razonamiento lógico. Con el tiempo, estas ideas se convirtieron en una base fundamental para el diseño de circuitos digitales y para la semántica del cálculo condicional en los lenguajes de programación.

Usos y ejemplos

Las expresiones booleanas aparecen en condicionales (if, while), aserciones, consultas de filtrado y motores de búsqueda, y como compuertas lógicas en hardware. Algunos ejemplos comunes son X > Y, !(flag) y (A && (B || !C)). Una tabla de verdad sencilla para A AND B puede escribirse como una lista: A=true, B=true → verdadero; A=true, B=false → falso; A=false, B=true → falso; A=false, B=false → falso.

Diferencias destacadas

Conviene distinguir entre una expresión booleana (una fórmula evaluable) y un tipo de dato booleano (el tipo de almacenamiento que representa verdadero/falso). Otra diferencia es la que existe entre los operadores lógicos (que trabajan sobre valores de verdad) y los operadores bit a bit (que actúan sobre representaciones binarias). Las formas normales —conjuntiva (CNF) y disyuntiva (DNF)— son maneras estándar de reescribir expresiones para su análisis o para el razonamiento automatizado.

Comprender las expresiones booleanas es esencial para escribir un flujo de control correcto, optimizar consultas y diseñar sistemas de hardware y software fiables.