Статья в сборнике "Математические вопросы кибернетики" №7, Москва, 1998
Авторы:Марченков С.С.
Инварианты S-замкнутых классов трехзначной логики
Аннотация:
На множестве P3 функций трехзначной логики рассматривается оператор S-замыкания, который состоит из операций суперпозиции и перехода к сопряженным функциям (относительно любых перестановок на множестве E3). Для каждого из 48 S-замкнутых классов в P3, содержащего селекторные функции, построена конечная система предикатов, которая определяет данный класс.
Ключевые слова:
S-замкнутый класс, предикатное определение замкнутых классов
