Wrote a Java program to convert any given logic formula into CNF. Effectively tested conflicts in the produced CNF. Used the Java processing library to build GUI to show all the results using tree diagram.
rzhu9 / conjunctive-normal-form-convertor Goto Github PK
View Code? Open in Web Editor NEWWrote a Java program to convert any given logic formula into CNF • Effectively tested conflicts in the produced CNF • Used the Java processing library to build GUI to show all the results using tree diagram