Description Usage Arguments Value
Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form
1 | format_dnf(dnf)
|
dnf |
list of clauses |
string containing a Boolean formula in disjunctive normal form
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.