|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Шабунин А. Л. Об $\alpha $-суперпозиции функций $k$-значной логики //
Том 48 (2007), Номер 2,
стр. 441457
Отмечена связь между операциями $\alpha$-пополнения и замыкания систем функций $k$-значной логики. Для $k=3,4$ построены $\alpha$-базисы, состоящие из двух бинарных операций. Доказано, что полная система $T$ функций четырехзначной логики, содержащей все подстановки множества $E_4=\{0,1,2,3\}$ и операцию сложения по модулю 4, не является $\alpha$-полной, но ее $\alpha$-пополнение $[T]_\alpha$ будет уже $\alpha$-полной системой.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|