added cnf conversion operation