Skip to main content

absorb_and_eliminate_and

Function absorb_and_eliminate_and 

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