Russian каноническая конъюнктивная нормальная форма: translation to other languages