Versions Compared

Key

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

Explanation

This rule checks whether boolean logic in an expression can be simplified. If so, the simplified expression is reported as issue.

...

We estimate that resolving this issue will on average take 5 minutes.

Possible improvement

See if the suggestion you get for simplification is equally understandable (or better) for a business engineer, and if so replace the expression with the suggested expression.

Example 1

This example expression is quite simple, and probably easy for any business engineer to simplify. It is just to illustrate the concept, and you can imagine that it also works for bigger boolean expressions that are harder for humans to comprehend.

...

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

Example 2

The BMA now also detects tautologies and contradictions, e.g.:

...