added logic2cnf