Всем добрый вечер. Есть задача, которая состоит в следующем: найти двойственную функцию в k-значной логике, относительно некоторой подстановки. Честно говоря, никогда этого не делал. В интернете примеров не нашел. Всё что знаю, так это только определение двойственной функции:
Пусть

некоторая подстановка на множестве

,

обратная к ней подстановка. Функция k-значной логики

называется двойственной к функции

относительно подстановки

. Ошибиться нельзя. Хотелось бы посмотреть на пример нахождения такой функции или получить ссылку на материал, в котором рассматривается этот вопрос.