Generador de Tablas de Verdad

• Generación instantánea de tablas de verdad: introduce cualquier expresión booleana y genera una tabla de verdad completa al instante. El generador analiza tu expresión en el navegador y produce las 2ⁿ combinaciones de entrada con las salidas correctas: sin cargas, sin ida y vuelta al servidor.
• Generador de tablas de verdad online seguro: el generador se ejecuta íntegramente en tu navegador. Tus expresiones booleanas, fórmulas lógicas y deberes nunca se envían a ningún servidor: sin recogida de datos, sin rastreo, totalmente privado.
• Generador de tablas de verdad sin instalación: usa el generador directamente en cualquier navegador moderno, sin descargas, aplicaciones ni complementos. Admite AND, OR, NOT, XOR, NAND, NOR, XNOR, implicación (→) y bicondicional (↔) con hasta 8 variables.
• 100% gratis con soporte de varias expresiones: el generador de tablas de verdad es totalmente gratuito, sin registro, sin límites de uso y sin anuncios. Introduce varias expresiones separadas por comas para compararlas en paralelo en una sola tabla, perfecto para verificar equivalencias lógicas y las leyes de De Morgan.

• Trabajos de informática: los estudiantes usan el generador para completar tareas de matemática discreta y lógica digital. Introduce cualquier expresión booleana de tu libro de texto y verifica al instante tu tabla calculada a mano con la salida del generador.
• Verificación de equivalencias lógicas: usa el generador para demostrar o refutar equivalencias lógicas introduciendo ambas expresiones como entradas separadas por comas. Si las columnas de salida coinciden en todas las filas, las expresiones son lógicamente equivalentes: perfecto para verificar las leyes de De Morgan y las propiedades distributivas.
• Diseño de circuitos digitales: los ingenieros de hardware usan el generador para definir el comportamiento esperado de circuitos lógicos combinacionales antes de su implementación. Genera tablas de verdad para semisumadores, sumadores completos, multiplexores y combinaciones de puertas personalizadas.
• Detección de tautologías y contradicciones: el generador detecta automáticamente tautologías (siempre verdaderas) y contradicciones (siempre falsas) y muestra una insignia clara. Es útil para verificar axiomas lógicos, comprobar pasos de demostraciones e identificar condiciones redundantes en el código.
• Programación y lógica condicional: los desarrolladores usan el generador para razonar sobre condiciones booleanas complejas en el código. Asigna las variables de tu sentencia if a A, B, C e introduce la condición para ver todas las combinaciones de entrada posibles y sus resultados antes de escribir el código.
• Enseñanza y demostraciones en clase: los docentes usan el generador para demostrar conceptos de álgebra de Boole en tiempo real. Los ejemplos rápidos predefinidos cubren AND, OR, NOT, XOR, NAND, NOR, las leyes de De Morgan y el semisumador, listos para usar sin configuración.

Una tabla de verdad es una tabla matemática usada en lógica para determinar la salida de una expresión booleana para cada combinación posible de valores de entrada. Para n variables, una tabla de verdad tiene 2ⁿ filas, una por cada combinación única de entradas VERDADERO y FALSO. Las tablas de verdad son fundamentales para el álgebra de Boole , el diseño de circuitos digitales, la lógica proposicional y la informática. Se usan para verificar equivalencias lógicas, demostrar tautologías, identificar contradicciones y definir el comportamiento de las puertas lógicas. Nuestro generador de tablas de verdad analiza cualquier expresión booleana escrita en notación estándar y produce la tabla de verdad completa al instante en tu navegador: sin servidor, sin cuenta, sin esperas.

1. Introduce tu expresión booleana: escribe una o varias expresiones booleanas en el campo de entrada, separadas por comas. Usa nombres de variable de la A a la Z y cualquier operador admitido. El generador extrae automáticamente todas las variables únicas y las ordena alfabéticamente como encabezados de columna.
2. Análisis instantáneo en el navegador: haz clic en «Generar tabla de verdad» y el generador tokeniza y analiza tu expresión con un analizador de descenso recursivo íntegramente en tu navegador. No se envía ningún dato de la expresión a ningún servidor: tus fórmulas lógicas permanecen completamente privadas en tu dispositivo.
3. Revisa la tabla completa: el generador muestra las 2ⁿ filas con columnas de entrada (en gris) y columnas de salida (resaltadas). Los valores VERDADERO aparecen en verde y los FALSO en rojo. Alterna entre la visualización T/F y 1/0. Las múltiples expresiones aparecen como columnas de salida en paralelo para facilitar la comparación.

• AND (∧): escribe AND , && o & — da VERDADERO solo cuando ambas entradas son VERDADERO.
• OR (∨): escribe OR , || o | — da VERDADERO cuando al menos una entrada es VERDADERO.
• NOT (¬): escribe NOT , ! o ~ — niega la entrada. Se puede encadenar: NOT NOT A .
• XOR / NAND / NOR / XNOR / → / ↔: escribe XOR , NAND , NOR , XNOR , -> (implicación) o <-> (bicondicional). Los paréntesis son totalmente compatibles para agrupar.

El generador de tablas de verdad evalúa los operadores en el siguiente orden de precedencia (de mayor a menor): NOT (mayor) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (menor). Usa paréntesis para anular la precedencia; por ejemplo, NOT (A AND B) es distinto de NOT A AND B . En caso de duda, usa siempre paréntesis para dejar clara tu intención.