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

Copy Markdown View Source

Rewrite rule that applies De Morgan's laws to expressions.

See: https://en.wikipedia.org/wiki/De_Morgan%27s_laws

Applies the transformations:

  • NOT (A AND B) = (NOT A) OR (NOT B)
  • NOT (A OR B) = (NOT A) AND (NOT B)