Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form

Description

Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form

Usage

1

Arguments

dnf

list of clauses

Value

string containing a Boolean formula in disjunctive normal form


Questions? Problems? Suggestions? or email at ian@mutexlabs.com.

Please suggest features or report bugs with the GitHub issue tracker.

All documentation is copyright its authors; we didn't write any of that.