$\begingroup$

Step by step generator for CNF in propositional logic?

I am looking for software like Symbolab except for propositional logic.

When given a formula in propositional logic the software should output steps for converting the formula into Conjunctive Normal Form (CNF).

---

below is the output of this imaginary program when given the formula:

$$(a \lor b)\implies (\lnot a \implies b) $$

The software can be in any language.

$\endgroup$ 5 Sorted by: Reset to default

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy