Аннотация:Предложен алгоритм, который по вектору значений функции k-значной логики, где k=p^n и p - простое число, определяет, задается ли функция полиномом из кольца полиномов по модулю k и в случае положительного ответа находит ее канонический полином. Алгоритм имеет линейную сложность относительно длины вектора значений функций. Алгоритм обобщается на случай произвольного составного числа k, и его сложность остается линейной.