Computes the satisfiability (SAT) of a disjunctive-normal-form (DNF)
-
Updated
Oct 4, 2024 - JavaScript
Computes the satisfiability (SAT) of a disjunctive-normal-form (DNF)
A truth table generator with CNF and DNF expressions.
Add a description, image, and links to the dnf topic page so that developers can more easily learn about it.
To associate your repository with the dnf topic, visit your repo's landing page and select "manage topics."