We need corected get CNF FORM!