SAT Simplification

A CNF cleanup tool

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Remove tautologies. For example, anything with A -A in it will always evaluate to true. Regardless of what else is in the clause.

Mail: (not shown)

Please type this: