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