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

Copy Markdown View Source

Rewrite rule that applies boolean identity laws to simplify expressions.

See: https://en.wikipedia.org/wiki/Boolean_algebra#Monotone_laws

Applies the transformations:

  • A AND true = A, true AND A = A
  • A OR false = A, false OR A = A