Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

The BMA detects that this expression can be simplified (by applying the absorption law), and gives this suggestion:

Image RemovedImage Added

...and yes, a decision table would be even better in this case.

...

Therefore the alternative suggested by the BMA is not plain FALSE but this:

Image RemovedImage Added

For tautologies, you'll instead find "Applicant.Age = Applicant.Age" instead.