РУАЭСТ (RUAEST)
Рассматривается задача о реализации функций многозначной логики формулами специального вида. Для каждого простого k, k ≠2, установлены верхние оценки сложности вида kn для произвольной функции k-значной логики.