Calculadora de tablas de verdad

Una expresión como (p ∧ q) → ¬r tiene 8 combinaciones posibles de valores de verdad. Construir su tabla a mano implica evaluar cada fila, respetar el orden de precedencia y no cometer errores de copia. La calculadora de tablas de verdad elimina ese trabajo manual: introduces la expresión y obtienes la tabla completa en un segundo.

Qué es una tabla de verdad

Una tabla de verdad es una tabla que lista todas las combinaciones posibles de valores de verdad (V o F) de las variables proposicionales de una expresión lógica y muestra el resultado de esa expresión para cada combinación.

Se utiliza en lógica proposicional, en matemáticas discretas y en diseño de circuitos digitales. Su objetivo es determinar si una fórmula es tautología (siempre verdadera), contradicción (siempre falsa) o contingencia (verdadera en algunas filas y falsa en otras).

Elementos básicos

• Variable proposicional – letra que representa una afirmación que puede ser verdadera o falsa: p, q, r…
• Valor de verdad – V (verdadero) o F (falso). En informática se suele usar 1 y 0.
• Conectivo lógico – operador que combina variables: ∧, ∨, ¬, →, ↔, ⊕.

Operadores lógicos y su significado

Tabla de verdad de cada operador por separado

Negación (¬p)

Conjunción (p ∧ q)

Disyunción (p ∨ q)

Condicional (p → q)

Bicondicional (p ↔ q)

Disyunción exclusiva (p ⊕ q)

Cómo construir una tabla de verdad paso a paso

1. Identifica las variables proposicionales – cuenta cuántas letras distintas aparecen. Con n variables, la tabla tendrá 2ⁿ filas.
2. Enumera todas las combinaciones – alterna V y F empezando por la última variable. Para 3 variables (p, q, r): la columna de r alterna cada fila, q cada 2 filas, p cada 4.
3. Evalúa las subexpresiones interiores – si hay paréntesis, resuelve primero lo que está dentro.
4. Aplica la precedencia de operadores – de mayor a menor prioridad: ¬, ∧, ∨, →, ↔.
5. Rellena la columna final – el resultado de la expresión completa para cada fila.

Ejemplo resuelto: (p ∨ q) → ¬r

Con 3 variables hay 2³ = 8 filas:

La expresión resulta ser una contingencia: verdadera en 5 filas y falsa en 3.

¿Cuándo se usa una tabla de verdad?

En lógica proposicional

Para demostrar equivalencias lógicas. Dos expresiones son equivalentes si producen la misma columna de resultados. Por ejemplo, ¬(p ∧ q) y ¬p ∨ ¬q (leyes de De Morgan) generan columnas idénticas en las 4 filas.

En programación

Las expresiones booleanas que gobiernan condicionales (if, while) se analizan con tablas de verdad. Revisar cada combinación de condiciones evita errores lógicos en el código.

En electrónica digital

Cada fila de la tabla de verdad corresponde a una combinación de entradas de un circuito lógico. A partir de la tabla se diseñan circuitos con puertas AND, OR, NOT y compuestas (NAND, NOR, XOR). También se utilizan para construir mapas de Karnaugh, que simplifican las expresiones booleanas.

¿Cuántas filas tiene una tabla de verdad?

El número de filas depende exclusivamente del número de variables proposicionales:

A partir de 5 o 6 variables, la tabla se vuelve difícil de leer y se recomienda usar una calculadora automática o un mapa de Karnaugh para la simplificación.

Precedencia de operadores

Cuando una expresión no lleva paréntesis, se evalúa en este orden:

1. ¬ (negación) – primero
2. ∧ (conjunción)
3. ∨ (disyunción)
4. → (condicional)
5. ↔ (bicondicional) – último

Ejemplo: p → q ∧ ¬r se lee como p → (q ∧ (¬r)).

Para evitar errores, lo más seguro es usar paréntesis explícitos en cada subexpresión.

Tautología, contradicción y contingencia

• Tautología – la columna final es V en todas las filas. Ejemplo: p ∨ ¬p.
• Contradicción – la columna final es F en todas las filas. Ejemplo: p ∧ ¬p.
• Contingencia – la columna final tiene al menos una V y al menos una F. Es el caso más frecuente.

La calculadora de tablas de verdad indica automáticamente si la expresión es una tautología o una contradicción al generar la tabla.

Expresiones con más de dos variables

Las expresiones complejas combinan varios conectivos. Algunos ejemplos habituales en ejercicios de lógica:

• (p → q) ∧ (q → r) → (p → r) – silogismo hipotético, una tautología.
• (p ∨ q) ∧ (¬p ∨ r) → (q ∨ r) – resolución, base de los algoritmos de demostración automática.
• p ↔ (q ⊕ r) – bicondicional con XOR, contingencia.

Introduce cualquiera de estas expresiones en la calculadora para obtener su tabla completa sin calcular a mano cada fila.

La información de esta página tiene carácter educativo. Para aplicaciones en diseño de circuitos o verificación formal, consulta la documentación técnica específica.