파생을 위해 다음과 같은 비즈니스 요구사항이 있다고 가정합시다.
규칙: 지정된 날짜에 개인이 다음과 같은 경우
미성년자의 편부모로 간주됩니다.
이 간단한 요구사항을 통해 개인이 지정된 날짜에 미성년자의 편부모로 간주되는지에 대한 단순 진리표를 구성할 수 있습니다.
그림 1. 미성년자의 편부모 규칙 진리표![위 예제에 대한 진리표.](Images/TruthTable1.JPG)
실제로 상황이 변경되는 예에 대한 설명을 하자면 다음과 같습니다. 2001년 1월 1일에 Mary와 Joe가 결혼합니다. Joe에게는 1998년 11월 30일 이혼으로 마무리된 이전 결혼에서 얻은 아들 James가 있습니다. James는 1990년 6월 1일에 태어났습니다. 2004년 4월 30일 Joe가 안타깝게도 사망했습니다(따라서 Mary의 결혼 생활은 종료되었으며 미망인이 됨).
위의 진리표를 사용하여 각 개인이 다음과 같은 여러 날짜에 미성년자의 편부모로 간주되는지를 판별할 수 있습니다.
- 1997년 10월 1일(다소 무작위로 날짜 선택) 당시 Mary는 미혼 상태이므로 미성년자의 편부모가 아니며 부양해야 할 피부양자가 없습니다.
- 1997년 10월 2일에 Mary의 상황이 그 전날에 비해 변경되지 않았으므로 여전히 미성년자의 편부모가 아닙니다.
- 1998년 11월 30일에 Joe의 아들은 16세 미만이었지만 Joe가 여전히 기혼 상태에 있었으므로 미성년자의 편부모가 아닙니다.
- 1998년 12월 1일에 Joe의 아들은 여전히 16세 미만이었지만 Joe가 더 이상 기혼 상태가 아니므로 미성년자의 편부모가 됩니다.
- 2001년 1월 1일에 Mary는 여전히 미성년자의 편부모가 아닙니다. 그녀에게는 이제 16세 미만의 피부양자가 있으며 기혼 상태이지만 이전과는 약간 다른 이유로 인해 여전히 편부모가 아닙니다.
- 2001년 1월 1일에 Joe는 더 이상 미성년자의 편무모가 아닙니다. 그에게는 여전히 16세 미만의 피부양자가 있지만 이제 그는 기혼 상태입니다.
- 2004년 5월 1일에 Mary의 결혼 생활은 Joe의 사망으로 인해 종료되었지만 James는 여전히 그녀의 피부양자이며 16세 미만이므로 그녀는 미성년자의 편부모가 됩니다.
- 2006년 6월 1일에 James가 16살이 되었으므로 Mary는 미성년자의 편부모 자격이 중지됩니다.
- 2009년 3월 1일(다시 한 번 다소 무작위한 날짜)에 James는 미혼이지만 피부양자가 없으므로 미성년자의 편부모가 아닙니다.
각 개인이 미성년자의 편부모가 되는 정황을 구축하기 위해 다양한 날짜에 대해 진리표를 평가해야 합니다. 어느 정도까지는 "관련"될 수 있다고 추측되는 날짜를 시도하거나 다소 무작위의 날짜를 시도해야 합니다. 예를 들어, Mary의 결혼 날짜가 관련있다고 추측할 수 있지만 그녀가 Joe와 결혼했다고 해서 그녀의 미성년자의 편부모 상태에 영향을 주지 않았음이 판명되었습니다. 그러나 Joe가 Mary와 결혼함으로써 Joe의 미성년자의 편부모 상태는 변경됩니다. James가 태어나기 전의 날짜에 Joe가 미성년자의 편부모인지는 테스트할 생각을 하지 못했습니다.