| Function
consistency |
|
|
|
|
|
|
|
|
|
|
|
| • | Many
functions are defined in terms of cases |
|||||||||
| – | If C1
is true then F returns V1 |
|||||||||
| – | If C2
is true then F returns V2 |
|||||||||
| – | If C3
is true then F returns V3 |
|||||||||
| • | A
function is inconsistent if two different |
|||||||||
| conditions
Ci and Cj can be true simultaneously |
||||||||||
| • | So,
check the formula (for three cases) |
|||||||||
| – | AG
NOT |
|||||||||
| ((C1
AND C2) OR (C1 AND C3) OR (C2 AND C3)) |
||||||||||
