Tabla de decisión: definición, ejemplo y equivalente en inglés

Una tabla de decisión enumera las condiciones de las que depende una regla, las combinaciones de sus valores que importan y el resultado de cada combinación. Es una tabla de verdad recortada a los casos que interesan al negocio.

Una tabla de decisión tiene una sección de condiciones, una fila por condición, y una sección de acciones, una fila por resultado; cada columna es una regla, que da un valor a cada condición y la acción resultante. Las combinaciones que llevan a la misma acción suelen fusionarse con un guion que significa «cualquier valor», y las combinaciones imposibles se omiten. Los estándares de pruebas la tratan como técnica de especificación: cada columna se convierte en al menos un caso de prueba. Una tabla completa con todas las combinaciones es simplemente una tabla de verdad con otra disposición.

El artefacto de esta página es la regla de descuento (student OR senior) AND NOT expired, tres condiciones, así que la tabla completa tiene 8 columnas. La salida es verdadera en las filas 2, 4 y 6, donde la tarjeta no está caducada y la persona es estudiante, mayor, o ambas cosas. La comprobación de satisfacible se cumple con el testigo student = FALSE, senior = TRUE, expired = FALSE, una columna que concede el descuento; la de tautología se viola con el contraejemplo student = FALSE, senior = FALSE, expired = FALSE, donde nadie cumple.

Las tablas de decisión son la herramienta habitual de analistas de requisitos y probadores, y el formato en que se revisan las reglas de negocio con quien no programa, porque cada columna se lee como un escenario. Su debilidad es la omisión: una tabla fusionada puede dejar caer una combinación sin que se note, y la tabla de verdad de esta página es la comprobación de que nada se perdió. El término se confunde con la tabla de verdad (completa por construcción) y con el árbol de decisión, que ordena las condiciones.

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: definición, ejemplo y equivalente en inglés
#	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

El error habitual

Fusionar columnas por intuición. Dos columnas solo pueden fusionarse si la acción es la misma para los dos valores de la condición que se elimina; fusionar una columna de estudiante con una de no estudiante con resultados distintos cambia la regla. La página de comparación entre tablas de verdad y de decisión muestra una fusión segura.

Preguntas

¿Cuántos casos de prueba da una tabla de decisión?

Al menos uno por columna. Con tres condiciones y sin fusionar son 8; la tabla de esta página se fusiona a menos porque las cuatro columnas con «expired» comparten un resultado. La página de pruebas sobre tablas de decisión recorre la reducción.

Relacionado

Véase también

Glosario

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.