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.
Features
- propositional logic parser
- dnf conversion
- cnf conversion
Categories
Scientific/EngineeringLicense
GNU General Public License version 3.0 (GPLv3)Follow DNFCNFconverter
Other Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of DNFCNFconverter!