dudas páginas 53 y 54 tablas decisión simplificación cu00113a

[Mario R. Rancel]

Duda:

En la página 52 del texto dice: "....Para ello sumaremos casos de dos en dos, agrupando aquellos cuyo cumplimiento de condiciones coincida en todos menos en un parámetro.....". En la página 53 dice: ..."En el análisis del apartado f vemos que se trata de cuatro condiciones, de las cuales la primera y la tercera están fijadas en SI. Así pues nos quedamos con las dos condiciones variantes que suponen estos cuatro casos:".  No se entiende ¿que no coincida un parámetro o que no coincidan varios?. Además, no se entiende lo que sigue a continuación en la página 53 y 54 donde se explica el proceso: ¿quién son el resultado A, el B, caso 4, ..etc?

Sobre simplificación de tablas de decisión en general, interesante leer: https://www.aprenderaprogramar.com/foros/index.php?topic=97.0

Indico unas ideas para estas preguntas en concreto:

-   Si no coincide un parámetro y el resto coinciden, se puede intentar realizar una simplificación. Esto significa agrupar casos.
-   Si coinciden algunos parámetros y otros no, tendremos un número de casos igual a dos veces el número de parámetros no coincidentes. Por ejemplo, si tenemos 6 parámetros y 3 coinciden y 3 no coinciden, el número de casos variantes será 3x2 = 6 casos. Si tenemos 6 parámetros y 4 coinciden y 2 no coinciden, el número de casos variantes será 2x2 = 4 casos.

En el caso f se trata de estudiar si se puede introducir una indiferencia, es decir, si se pueden agrupar casos. Pero el punto de partida es no definido con exactitud: la primera columna puede contener un sí o un no. A partir de ahí, se trata de analizar que pasaría en ambos casos.

Los ejemplos suponen que los casos que se tratan de simplificar llevan al mismo resultado. Por eso se sabe que las tres primeras columnas llevan al resultado A. Sin embargo, el caso 4 es un caso no contemplado dentro de los casos que se tratan de simplificar por lo que su resultado no se conoce y se marca como ?

El resultado del caso 4 no se conoce, lo que se hace a continuación es especular con qué ocurriría en función de cuál fuera el resultado del caso 4. En primer lugar se especula con la posibilidad de que el resultado del caso 4 fuera A. En segundo lugar se especula con que el resultado del caso 4 fuera otro resultado denominado B. En tercer lugar se especula con la posibilidad de que el caso 4 fuera inviable.