S-Классификация функций трёхзначной логики
S-Классификация функций трёхзначной логики
Авторы: Марченков С.С.
Издательство: Физматлит
ISBN 5-9221-0152-8; 2001 г.
Кол-во страниц: 80
Предварительный просмотр:
О книге:
S-классификация. Базирующаяся на операциях суперпозиций и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трезначной логики. Дается описание всех 48 S-замкнутых классов трех начной логики. В каждом из классов строится конечный базис по суперпозиции. Приводится предикатное определение всех S-замкнутых классов с помощью конечного числа предикатов некоторого стандартного вида.