c++ tools to convert any boolean formula to CNF or DNF, and make basic simplification. Please keep in mind that i'm still a student, and i'm open for any advice, criticism or question.
- propositional logic parser
- dnf conversion
- cnf conversion
Be the first to post a review of DNFCNFconverter!