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