Cnf presentations