reduced-dnf (npm): Finding a reduced disjunctive normal form
Keywords: dnf|reduced|math