Аналитический метод решения уравнений в k-значной логике

摘要

Рассматривается уравнение f(x{sub}1,..., x{sub}m, y{sub}1,.., y{sub}n) = 0, где x{sub}1 ..., x{sub}m - параметры, y{sub}1...,y{sub}n- неизвестные, f- произвольная функция k-значной логики. Предлагается метод получения аналитических формул зависимости неизвестных от параметров, не использующий таблиц. Метод применяется для решения полиномиальных уравнений в кольце вычетов Z{sub}k при простом k.