КНФ Русско-английский перевод КНФ лог. conjuctive normal form Большой Русско-Английский словарь. New big Russian-English dictionary. 2012