intermediate state of cnf
first version of cnf
cnf improved
border case '(or) in nnf2ncf