Create ConvertCNF