Generador de Tabla de Verdad

¿Qué es una tabla de verdad?

Una tabla de verdad es una forma sistemática de listar todos los valores de verdad posibles de una expresión lógica. Para cada combinación de valores de variables de entrada (Verdadero o Falso), la tabla muestra el resultado de salida de la expresión. Las tablas de verdad son fundamentales en:

• Diseño de lógica digital — diseño de circuitos con puertas AND, OR, NOT
• Ciencias de la computación — evaluación de expresiones condicionales y álgebra booleana
• Filosofía y matemáticas — pruebas formales en lógica proposicional
• Ingeniería de software — prueba de todas las ramas de la lógica condicional

Cómo usar este generador de tablas de verdad

Ingrese una expresión booleana utilizando variables (A-H) y operadores lógicos. La herramienta detectará automáticamente sus variables y generará la tabla de verdad completa que muestra todas las combinaciones posibles de entrada/salida.

• Use letras mayúsculas individuales (A, B, C, ..., H) como variables — se admiten hasta 8 variables
• Use paréntesis ( ) para controlar la precedencia de los operadores
• Haga clic en los botones de operador o escriba los operadores directamente
• Active "Mostrar subexpresiones" para ver los pasos de cálculo intermedios

Precedencia de operadores (de mayor a menor)

Cuando no se utilizan paréntesis, los operadores se evalúan en este orden:

• NOT (!, ~, ¬) — se evalúa primero (mayor precedencia)
• AND (&&, &, ∧) — se evalúa en segundo lugar
• NAND — se evalúa en tercer lugar
• XOR, XNOR (^, ⊕, ⊙) — se evalúa en cuarto lugar
• OR (||, |, ∨) — se evalúa en quinto lugar
• NOR — se evalúa en sexto lugar
• IMPLIES (→, =>) — se evalúa en séptimo lugar
• BICONDITIONAL / IFF (↔, <=>) — se evalúa al final (menor precedencia)

Sintaxis de operadores admitidos

Comprendiendo minitérminos y maxitérminos

Los minitérminos son las filas donde la salida es 1 (Verdadero). La Suma de Minitérminos (SOP) expresa la función como una OR de términos AND. Los maxitérminos son las filas donde la salida es 0 (Falso). El Producto de Maxitérminos (POS) expresa la función como una AND de términos OR. Ambas formas son esenciales en la simplificación de lógica digital y en el análisis de mapas de Karnaugh.