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.

the state of C has no effect. The entire A B C clause can be safely eliminated.

Name:
Mail: (not shown)

Please type this: