Skip to main content

absorb_and_eliminate_or

Function absorb_and_eliminate_or 

Source
pub fn absorb_and_eliminate_or(
    left: Expression,
    right: Expression,
) -> Expression
Expand 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