xngin icon indicating copy to clipboard operation
xngin copied to clipboard

Published 20 hours ago • verified publisher icon jiangzhe

Simplify DNF expressions

Open jiangzhe opened this issue 2 years ago • 0 comments

Similar to CNF expressions, we have to handle:

  1. Constant folding.
  2. Remove redundant operands.
  3. Combine comparisons.

jiangzhe avatar Mar 02 '22 05:03 jiangzhe