simplified cnf generation