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
You Might Also Like
Our visitor management system streamlines registration, check-in, and authorization processes, while our facility management tools streamline room booking, resource allocation, and asset management. We prioritize security with our advanced risk mitigation measures, including health and safety protocols, emergency messaging, and robust analytics for thorough auditing.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of DNFCNFconverter!