Calculadora de Álgebra Booleana: Tablas de Verdad, Leyes de De Morgan y Simplificación Lógica
Cada declaración "if" que escribes, cada consulta de base de datos que filtras y cada resultado de motor de búsqueda que ves funciona con lógica Booleana — un sistema matemático donde cada variable es estrictamente verdadera o falsa (1 o 0). George Boole publicó este álgebra en 1854 en "Las Leyes del Pensamiento", y permaneció discretamente en los departamentos de matemáticas durante casi un siglo antes de que Claude Shannon se diera cuenta de que podía describir circuitos de conmutación eléctrica, sentando las bases de cada computadora digital jamás construida. Hoy, el álgebra Booleana sustenta todo, desde las cláusulas WHERE de SQL hasta las consultas de motores de búsqueda y el diseño de microprocesadores con miles de millones de compuertas lógicas. Nuestra calculadora gratuita de álgebra Booleana te permite ingresar cualquier expresión Booleana (hasta 8 variables), ver instantáneamente su tabla de verdad, simplificarla usando reglas algebraicas y las leyes de De Morgan, y ver el diagrama de compuertas lógicas equivalente — todo ejecutándose en tu navegador.
Calculadora de lógica booleana
Gratis · Sin registro
Guía paso a paso
Ingresa Tu Expresión Booleana
Escribe tu expresión usando notación estándar: & o ∧ para AND, | o ∨ para OR, ! o ¬ para NOT, ^ o ⊕ para XOR. Puedes usar paréntesis para agrupar y nombres de variables como A, B, C, hasta H. Ejemplo: (A & B) | (!A & C) representa "o A y B son ambos verdaderos, o A es falso y C es verdadero." La calculadora valida la sintaxis en tiempo real y te muestra una versión autoformateada de tu expresión con símbolos matemáticos apropiados.
Visualiza la Tabla de Verdad
La tabla de verdad muestra cada combinación posible de valores de entrada (2ⁿ filas para n variables) y la salida resultante. Cada fila muestra si la expresión se evalúa como verdadera o falsa dada esa entrada específica. Para 3 variables (A, B, C), verás 8 filas; para 4 variables, 16 filas. La tabla de verdad está codificada por colores — verde para salidas verdaderas, gris para falsas — para que puedas identificar patrones al instante. Esta es la forma más rápida de entender lo que realmente significa una expresión Booleana.
Aplica Simplificación y Ve el Circuito
Haz clic en "Simplificar" y la calculadora aplica identidades de álgebra Booleana para reducir tu expresión a su forma más simple. El panel paso a paso muestra qué regla se aplicó en cada etapa: ley idempotente (A&A=A), ley del complemento (A&!A=0), ley de absorción (A|(A&B)=A), y las leyes de De Morgan. La expresión simplificada se muestra junto a un diagrama de compuertas lógicas usando símbolos estándar ANSI/IEEE — AND (respaldo plano), OR (respaldo curvo), NOT (triángulo con burbuja), XOR (OR con línea extra).
Consejos y mejores prácticas
Las leyes de De Morgan son las dos identidades Booleanas más poderosas: !(A & B) = !A | !B, y !(A | B) = !A & !B. Te permiten convertir ANDs a ORs y viceversa mientras empujas la negación hacia adentro. En términos prácticos: "no (lloviendo Y frío)" equivale a "no lloviendo O no frío." Estas leyes son esenciales para simplificar cláusulas WHERE complejas de SQL y consultas de motores de búsqueda.
El operador XOR (OR exclusivo) devuelve verdadero cuando exactamente una entrada es verdadera — es el operador "uno o el otro, pero no ambos." XOR con una constante 1 es lo mismo que NOT: A ⊕ 1 = !A. XOR también es su propio inverso: (A ⊕ B) ⊕ B = A. Esta propiedad de auto-inversión hace que XOR sea la base de muchos esquemas de cifrado y algoritmos básicos de suma de verificación.
NAND y NOR se llaman "compuertas universales" porque puedes construir AND, OR y NOT usando solo compuertas NAND (o solo compuertas NOR). Cada circuito digital existente puede, en teoría, reducirse a una red de compuertas NAND. De hecho, la memoria flash NAND (usada en SSDs y memorias USB) recibe su nombre de esta misma compuerta.
Al escribir condiciones Booleanas en código, el orden de las condiciones importa para la evaluación por cortocircuito. En `if (chequeoBarato() && chequeoCaro())`, si chequeoBarato() devuelve false, chequeoCaro() nunca se ejecuta. Pon tu condición que falla más rápido primero — es una optimización simple que se acumula en bucles intensivos.
Las tablas de verdad crecen exponencialmente: n variables significan 2ⁿ filas. Con 8 variables, son 256 filas — todavía manejable. Con 32 variables, necesitarías más de 4 mil millones de filas. Por eso la verificación formal de grandes circuitos digitales usa solucionadores SAT y Diagramas de Decisión Binarios en lugar de tablas de verdad por fuerza bruta.
La lógica de tres valores de SQL (TRUE, FALSE, NULL) extiende el álgebra Booleana clásica. En SQL: NULL AND FALSE = FALSE (cortocircuito), pero NULL AND TRUE = NULL (desconocido), y NULL OR TRUE = TRUE (cortocircuito). Al escribir consultas de base de datos con columnas anulables, siempre ten en cuenta la propagación de NULL — es una de las fuentes más comunes de errores sutiles en consultas.
Los mapas de Karnaugh (K-maps) son una alternativa visual a la simplificación algebraica para hasta 4 variables. Organiza la tabla de verdad en una cuadrícula donde celdas adyacentes difieren en exactamente una variable; rodea grupos de 1s en tamaños de 1, 2, 4 u 8; cada grupo corresponde a un término producto simplificado. Nuestra calculadora muestra el K-map para expresiones con 2-4 variables junto con la simplificación algebraica.
Preguntas frecuentes
El álgebra Booleana es la gramática oculta de la computación — desde las compuertas lógicas en tu CPU hasta la cláusula WHERE en tu SQL y los operadores de búsqueda en Google. Nuestra calculadora hace visible este álgebra, simplificando expresiones, generando tablas de verdad y dibujando los circuitos que tu lógica describe. Pruébala ahora y ve lo que realmente significan tus condiciones.
Prueba esta herramienta gratis →open_in_new