Аннотация:
В статье доказывается αα-полнота конечных систем функций kk-значной логики при k=3,4k=3,4, содержащих все подстановки из симметрической группы SkSk подстановок множества Ek={0,1,…,k−1}Ek={0,1,…,k−1}, операцию сложения по модулю kk и еще kk фиксированных бинарных операций. Этот результат затем распространяется на некоторые другие системы функций, получающиеся из указанных заменой операции сложения на квазигрупповую операцию.
Статья поступила: 17.08.2004 Переработанный вариант поступил: 27.06.2005
Л. Н. Сысоева, “О реализации булевых функций обобщенными αα-формулами”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 156, № 3, Изд-во Казанского ун-та, Казань, 2014, 116–122
Л. Н. Сысоева, “О некоторых свойствах обобщенных αα-формул”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2013, № 4, 51–55; L. N. Sysoeva, “Certain properties of generalized αα-formulas”, Moscow University Mathematics Bulletin, 68:4 (2013), 211–214
Д. В. Трущин, “О сложности реализации функций из одного класса трехзначной логики формулами специального вида”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2012, № 4, 20–26; D. V. Truschin, “Complexity of realization of functions from a class of three-valued logic by formulas of special type”, Moscow University Mathematics Bulletin, 67:4 (2012), 158–163
Д. В. Трущин, “О сложности реализации функций многозначной логики формулами специального вида”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2012, № 6, 42–46; D. V. Truschin, “Complexity of realization by formulas of special form for functions of multivalued logic”, Moscow University Mathematics Bulletin, 68:1 (2013), 57–60
Трущин Д.В., “О глубине αα-пополнения систем булевых функций”, Вестн. Моск. ун-та. Сер. 1: Матем. Мех., 2009, № 2, 72–75
D. V. Trushchin, “Depth of α-completions of systems of Boolean functions”, Moscow Univ. Math. Bull., 64:2 (2009), 87