fixed conversion to cnf in logic