akash-sharma-1 / dnf-generator Goto Github PK
View Code? Open in Web Editor NEWA python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
License: MIT License