Expand description
Logic to remove boolean negations from an expression
This module defines the new type NonNegatedBooleanExpression which is a
restricted variant of boolean expressions, as it does not allow for boolean
negations, that is the ! operator is not allowed.
Every BooleanExpression can be converted into a
NonNegatedBooleanExpression, as the negations can be removed by pushing
them into the formula, potentially negating inner comparison expressions.
Enumsยง
- NonNegated
Boolean Expression - Boolean expressions that do not contain a
Not