Метод построения полиномов для функций $k$-значной логики

Рассматриваются функции $k$-значной логики. Устанавливаются необходимые и достаточные условия представимости функций полиномами по модулю $k$ для любого составного $k$. Приводится канонический вид полинома и алгоритм его построения. Оценивается сложность алгоритма проверки полиномиальности функции и построения реализующего ее полинома.