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