Supongamos que tenemos el requisito empresarial siguiente para una derivación:
regla: En cualquier fecha determinada, se considera que una persona es
un
progenitor solo de un menor de edad si, en esa fecha, la persona:
- no está casada y
- tiene un dependiente que tiene menos de 16 años de edad.
A partir de este simple requisito, es posible construir una simple tabla de decisión lógica
para determinar si se considera que una persona es un progenitor solo de un menor de edad,
en una fecha determinada:
Figura 1. Regla de tabla de decisión lógica para progenitor solo de un menor de edad![Tabla de verdad del ejemplo anterior.](Images/TruthTable1.JPG)
Vamos a presentar un ejemplo de cambio real de circunstancias. El 1 de enero de 2001, María
y Juan se casan. Juan tiene un hijo, Jaime, de un matrimonio anterior que terminó en divorcio
el 30 de noviembre de 1998. Jaime nació el 1 de junio de 1990. El 30 de abril de 2004,
lamentablemente Juan muere (y, por lo tanto, el matrimonio de María acaba en viudedad).
Podemos utilizar la tabla de decisión lógica anterior para determinar si cada una de las personas
se considera como progenitor solo de un menor de edad en diversas fechas:
- El 1 de octubre de 1997 (para seleccionar una fecha al azar), María no es progenitor solo
de un menor de edad porque en esa fecha no está casada, pero no tiene ningún dependiente;
- El 2 de octubre de 1997, María aún no es progenitor solo de un menor de edad, porque
sus circunstancias no han cambiado desde el día anterior;
- El 30 de noviembre de 1998 Juan no es progenitor solo de un menor de edad , porque en esa fecha
su hijo tenía menos de 16 años pero Juan aún estaba casado;
- El 1 de diciembre de 1998 Juan se convierte en progenitor solo de un menor de edad,
porque en esa fecha su hijo aún tenía menos de 16 años pero Juan ya no estaba casado;
- En 1 de enero de 2001, María todavía no era progenitor solo de un menor de edad; aunque
ella ahora tiene un dependiente menor de 16 años, está casada, de modo que por razones ligeramente
diferentes a lo anterior, aún no es progenitor solo;
- El 1 de enero de 2001 Juan ya no es progenitor solo de un menor de edad; aunque aún tiene un
dependientes menor de 16 años, está ahora se ha casado de nuevo;
- El 1 de mayo de 2004, María se convierte en progenitor solo de un menor de edad, porque su
matrimonio ha finalizado debido a la muerte de Juan, pero Jaime todavía es su dependiente y es menor
de 16 años;
- El 1 de junio de 2006, María deja de ser progenitor solo de un menor de edad, porque Jaime cumple
16 años
- El 1 de marzo de 2009 (de nuevo al azar) Jaime no es progenitor solo de un menor de edad
porque aunque no está casado, no tiene dependientes.
Tenga en cuenta que tenemos que evaluar la tabla de decisión lógica para varias fechas a fin de
crear una imagen que represente cuándo cada persona es progenitor solo de un menor de
edad o no lo es. En cierta medida, tenemos que probar fechas que sospechamos que pueden ser
"interesantes" o probar fechas al azar. Por ejemplo, sospechamos que la fecha de matrimonio
de María puede ser interesante, pero resulta que su matrimonio con Juan no afecta
su estado de progenitor solo de un menor de edad. Sin embargo, el estado de progenitor solo
de un menor de edad de Juan sí cambia cuando se casa con María. No hemos pensado en
probar si Juan era progenitor solo de un menor de dad en fechas anteriores al nacimiento
de Jaime.