pub fn absorb_and_eliminate_or(
left: Expression,
right: Expression,
) -> ExpressionExpand description
Apply Boolean absorption and elimination rules to an OR expression
Absorption: A OR (A AND B) -> A A OR (NOT A AND B) -> A OR B
Elimination: (A AND B) OR (A AND NOT B) -> A