changed comments
added testCNF method which checks for Conjunctions within Disjunctions (which are not allowed)