RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив

Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 2014, том 156, книга 3, страницы 98–109 (Mi uzku1269)

О классах функций $k$-значной логики, принимающих не более трех значений

Д. К. Подолько

Кафедра дискретной математики, Московский государственный университет имени М. В. Ломоносова, г. Москва, Россия

Аннотация: В работе для функций $k$-значной логики при $k=2^m$, $m\geq2$, рассмотрен оператор $\beta$-замыкания, который определен на основе кодирования данных функций в двоичной системе счисления. Построено отображение семейства всех $\beta$-замкнутых классов в семейство замкнутых классов булевых функций и для каждого класса $\mathcal B$ булевых функций исследована мощность множества $\beta$-замкнутых классов, которые отображаются в класс $\mathcal B$ и содержат только функции, принимающие не более трех значений.

Ключевые слова: многозначная логика, замкнутые классы, оператор замыкания, бета-замыкание, усиление суперпозиции, двоичная суперпозиция.

УДК: 519.716

Поступила в редакцию: 28.07.2014



© МИАН, 2024