incorporated the DNF to CNF functionality from Ruediger. Now prints out the CNF when you pause the execution