О свойствах предполных классов в P[3]
Доказываются 28 свойств, связывающих предполные классы трехзначной логики.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
А. С. Нагорный
О СВОЙСТВАХ ПРЕДПОЛНЫХ КЛАССОВ В 3P 1
Аннотация. <...> The article proves 27 qualities binding precomplete classes of ternary
logic. <...> Элементы множества kP будем
называть функциями k -значной логики, или k -значными функциями. <...> Замкнутый (относительно суперпозиции) класс H функций k -значной
логики назовем предполным в kP , если H kP , но для любой функции
fP k H замыкание множества {}
Hf совпадает с kP . <...> Затем для любого
предполных
в kP классов конечно [5], а И. Розенберг <...> Математика
B – класс Слупецкого (все трехзначные функции, имеющие либо не
более одной существенной переменной, либо принимающие не более двух
значений);
S – класс функций, самодвойственных относительно перестановки <...> Будем говорить, что функция g является подфункцией
функции f , если g можно получить подстановкой в функцию f вместо некоторых
ее переменных констант из 3E . <...> K Тогда любая подфункция функции f также
принадлежит классу . <...> Тогда из принадлежности классу K всех одноместных подфункций
функции f следует принадлежность классу K и самой функции .f
Занумеруем предполные классы в 3P числами от 1 до 18 в том порядке,
в котором они перечислены выше. <...> Тогда, используя факт 2, получим
Справедливость вложений (3) и (4) устанавливается аналогично (используются
одноместные подфункции). <...> Нагорный Александр Степанович
младший научный сотрудник, кафедра
математической кибернетики,
Московский государственный
университет имени М. В. Ломоносова
E-mail: anagorny@list.ru
УДК 519.7
Нагорный, А. <...> О свойствах предполных классов в 3P / А. С. Нагорный // Известия
высших учебных заведений. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: