Статья в сборнике "Математические вопросы кибернетики" №18, Москва, 2013
Авторы:Михайлец Е.В.
О ранге неявных представлений функций k-значной логики над классом монотонных функций
Аннотация:
В работе рассматриваются неявные представления функций k-значной логики: функция задается как единственное решение системы уравнений над некоторым замкнутым классом функций. Рангом функции называется наименьшее число уравнений, достаточных для ее представления. Максимум ранга функций от n переменных называется ранговой функцией. Для функций, неявно представимых над классом функций k-значной логики, монотонных относительно линейного порядка, получено точное выражение ранговой функции
Ключевые слова:
k-значная логика, неявное представление, монотонные функции, линейный порядок, ранговая функция
