Tabla de decisión frente a tabla de verdad: cuándo usar cada una

Una tabla de verdad enumera todas las combinaciones de las entradas de una regla con la salida en cada fila. Una tabla de decisión agrupa esas filas en reglas de negocio con condiciones y acciones. Para una regla booleana llevan la misma información; difieren en quién las lee y en cuántas filas sobreviven.

La regla de descuento de abajo, (student OR senior) AND NOT expired, tiene tres entradas y por tanto ocho filas de tabla de verdad, de las que tres dan el descuento: una persona mayor con carné válido, un estudiante con carné válido, y alguien que es las dos cosas. Las comprobaciones exactas de la página confirman que la regla no es ni siempre verdadera ni siempre falsa, y dan el testigo student = FALSO, senior = VERDADERO, expired = FALSO como una fila en la que se cumple.

Una tabla de decisión para la misma regla, en el estilo que quienes prueban software aprenden para la certificación, colapsa las filas que comparten resultado y razón. «Caducado, cualquier condición: sin descuento» cubre cuatro filas de la tabla de verdad con una regla de negocio, y «carné válido, estudiante o mayor: descuento» cubre tres con otra. El resultado es más corto y legible por quienes son dueños de la regla, al precio de ocultar las combinaciones individuales, que es exactamente donde viven los deslices de las páginas de errores comunes.

La regla práctica es escribir la tabla de decisión para la conversación y generar la tabla de verdad para la comprobación. El motor construye la tabla completa a partir de la regla, la página de comparativa sobre este par muestra las dos formas para una misma función, y el ejemplo resuelto al estilo ISTQB convierte una tabla de decisión en casos de prueba fila por fila.

Ejemplo

discount := (student OR senior) AND NOT expired · salida

Comprobaciones exactas

¿Siempre verdadera (tautología)? No Contraejemplo: student = F, senior = F, expired = F · Exhaustively checked and solver cross-checked · 1 filas

¿Siempre falsa (contradicción)? No Contraejemplo: student = F, senior = V, expired = F · Exhaustively checked and solver cross-checked · 3 filas

¿Puede ser verdadera? Sí Asignación de ejemplo: student = F, senior = V, expired = F · Exhaustively checked and solver cross-checked · 3 filas

Tabla de verdad (8 filas)

Tabla de decisión frente a tabla de verdad: cuándo usar cada una
#	student	senior	expired	discount
0	FALSO	FALSO	FALSO	FALSO
1	FALSO	FALSO	VERDADERO	FALSO
2	FALSO	VERDADERO	FALSO	VERDADERO
3	FALSO	VERDADERO	VERDADERO	FALSO
4	VERDADERO	FALSO	FALSO	VERDADERO
5	VERDADERO	FALSO	VERDADERO	FALSO
6	VERDADERO	VERDADERO	FALSO	VERDADERO
7	VERDADERO	VERDADERO	VERDADERO	FALSO

Lectura en lenguaje claro

Principiantediscount es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre student y senior es verdadero (pueden serlo ambos)
2. expired es falso
En todos los demás casos, discount es falso.
Sobre los operadores:
- AND (Y) solo es verdadero cuando todas sus partes son verdaderas.
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.

Intermediodiscount es verdadero exactamente cuando se cumplen las dos condiciones siguientes:
1. al menos uno entre student y senior es verdadero (pueden serlo ambos)
2. expired es falso
En todos los demás casos, discount es falso.

Avanzadodiscount es verdadero exactamente cuando se cumplen las dos condiciones siguientes [conjunción ∧]:
1. al menos uno entre student y senior es verdadero (pueden serlo ambos) [disyunción inclusiva ∨]
2. expired es falso [negación ¬]
En todos los demás casos, discount es falso.
Notación formal: (student ∨ senior) ∧ ¬expired

Diagrama lógico

El error habitual

Colapsar filas de una tabla de decisión razonando en lugar de comprobando. «Caducado, cualquier condición: sin descuento» es correcto para esta regla solo porque NOT expired es un AND de nivel superior; muévelo dentro de un paréntesis y las filas colapsadas ya no comparten resultado.

Preguntas

¿Cuántas filas necesita una tabla de decisión?

Como mucho una por combinación de condiciones, que es la tabla de verdad, y normalmente muchas menos después de colapsar. El límite inferior es el número de resultados distintos con razones distintas, que los grupos del mapa de Karnaugh también cuentan.

¿El motor puede producir una tabla de decisión?

Produce la tabla de verdad, con exportaciones a CSV y Markdown, y los grupos del mapa de Karnaugh muestran qué filas pueden colapsarse. La agrupación en reglas de negocio, con la redacción de condiciones y acciones, la escribes tú.

Relacionado

Véase también

Pruebas y reglas

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.