Crux.Expression.RewriteRule.IdempotentLaw (crux v0.1.3)

Copy Markdown View Source

Rewrite rule that applies idempotent laws to simplify expressions.

See: https://en.wikipedia.org/wiki/Idempotence

Applies the transformations:

  • A AND A = A
  • A OR A = A

The idempotent laws state that applying the same operation twice has the same effect as applying it once.