CC BY
6
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
Серия «Математика»
2019. Т. 27. С. 3-14
УДК 519.716 MSG 8А99,03В50
DOI https://doi.Org/10.26516/1997-7670.2019.27.3
О классах булевых функций, порожденных максимальными частичными ультраклонами *
С. А. Бадмаев
Бурятский государственный университет, Улан-Удэ, Российская Федерация
Аннотация. Рассматриваются множества мультифункций. Под мультифункцией на конечном множестве А понимается функция, определенная на множестве А и принимающая в качестве значений его подмножества. Очевидно, что суперпозиция в обычном смысле при работе с мультифункциями не подходит. Поэтому для них необходимо новое определение суперпозиции. Обычно рассматривается два способа определения суперпозиции: в основе первого лежит объединение подмножеств множества А, и в этом случае замкнутые множества, содержащие все проекции, называются мультиклонами, а в основе второго — пересечение подмножеств множества А, и замкнутые множества, содержащие все проекции, называются частичными ультраклонами. Множество мультифункций на А, с одной стороны, содержит в себе все функции |А|-значной логики, а с другой является подмножеством функций 2'"4'-значной логики с суперпозицией, сохраняющей эти подмножества.
Для функций А:-значной логики интересной является задача их классификации. Одним из известных вариантов классификации функций А:-значной логики является тот, при котором функции в замкнутом подмножестве В замкнутого множества М могут быть разбиты согласно их принадлежности предполным в М классам. В данной работе в роли подмножества В выступает множество всех булевых функций, а в качестве множества М — множество всех мультифункций на двухэлементном множестве, и при этом предполными классами являются максимальные частичные ультраклоны.
Ключевые слова: мультифункция, суперпозиция, клон, ультраклон, максимальный клон.
* Работа выполнена при финансовой поддержке РФФИ, грант 18-31-00020.
С. А. БАДМАЕВ 1. Основные понятия и определения
Пусть Е = {0,1} и F = {0, {0}, {1}, {0,1}}. Определим следующие множества функций:
Pin = {/I/--Еп F},P* = U Pin,
п
Р2,п = {/|/ € Р2% и |/(á)| = 1 для всех а € Еп},Р2 = (JР2>га;
п
Р2,п = {f\f:En^ 2е* \ {0}}, Р2" = U Р
п
Pin = {/I/ G Pin и №)1 < 1 ДЛЯ всех а € = U^V
п
Функции из Р2 называют булевыми функциями, из Р| - мульти-функциями на Е.
Для того, чтобы суперпозиция
/(/l(xl> • • • ) xm)i ■ ■ ■ i fn{X\, . . . , Хт)),
где /, /i,..., /га € Р|, определяла мультифункцию ^(жь..., жт), следуя [1;8], определим значения мультифункции / на наборах из подмножеств множества А следующим образом: если (ai,..., ат) € Ет, то
Р| f((31,..., /5га), если пересечение не пусто; УК ь • • • ) m) \ у f(f3i,...,f3n), в противном случае.
На наборах, содержащих 0, мультифункция принимает значение 0.
Это определение позволяет вычислить значение /(жi,... ,хп) на любом наборе (ai,..., ап) € Fn.
Отметим, что в настоящей работе мы будем придерживаться терминологии, принятой в [8], что позволит нам здесь не вводить дополнительных определений.
Из [2] известно, что в клоне всех мультифункций на Е максимальными частичными ультраклонами являются следующие 12 множеств:
1) Ki — множество, состоящее из всех мультифункций /, принимающих на нулевом наборе либо значение 0, либо значение *;
2) _fí2 — множество, состоящее из всех мультифункций /, принимающих на единичном наборе либо значение 1, либо значение *;
3) — множество, состоящее из всех мультифункций /, для которых выполняется одно из двух условий:
- /(б) = * или /(1) = *;
- /(б) = 0 и/(1) = 1.
4) К/1 — множество, состоящее из всех мультифункций / таких, что на любом двоичном наборе à выполняется одно из трех условий:
- /(«) = /(à) = -;
— /(й) = /(й) =
- К&)=7Щ, где/(а) €{0,1}.
5) — множество, состоящее из всех мультифункций / таких, что на любом двоичном наборе й выполняется одно из двух условий:
- /(й) = * или /(й) = *;
- №=ТШ, где/(а) €{0,1}.
6) К6 = Р2" и {*};
7) К7 = Р*-,
8) — множество всех мультифункций /, одновременно удовлетворяющих трем условиям:
- если /(а), /(/3), /(7) € {0,1}, то
где й = (ai,... ,а„),/3 = (/?ь ...,/?„), 7 = (71,..., 7«) - двоичные наборы такие, что (одА7г) € {(ООО), (001), (010), (111)} для любого г € {1,... ,гг};
— если существует двоичный набор й такой, что /(й) = —, то для любого двоичного набора ¡3 верно ¡ф) ф 1;
— пусть двоичные наборы а = (а..., ап),/3 = (/?i,..., f3n) такие, что oti < Pi для всех г € {1,..., п}, тогда, если /(й) = *, то /(/?) = *.
9) Kg — множество всех мультифункций /, одновременно удовлетворяющих трем условиям:
— если /(й), /(/3), /(7) € {0,1}, то
где й = (ai,...,an),j3 = (/?ь ...,/?„), 7 = (71,..., 7„) - двоичные наборы такие, что {афг7») € {(000), (011), (101), (111)} для любого г € {1,... ,п};
- если существует двоичный набор й такой, что /(й) = —, то для любого двоичного набора ¡3 верно ¡ф) ф 0;
- пусть двоичные наборы й = (а..., ап)Ф = (/?ъ • • •, Рп) такие, что oti < Pi для всех г € {1,..., п}, тогда, если /(/?) = *, то /(й) = *.
10) К10 — множество всех мультифункций /, сохраняющих предикат:
/о 0001111- а\ 0 0 1 1 1 1 0 0 -/?
-Rio —
где (а, Р, 7,5)* - всевозможные
0 10 110 10-7 \0 1101001-5/
столбцы, в которых а, € {0,1, —, *} одновременно удовлетворяют
двум условиям:
— в любом столбце (а/3среди а, /3,7, 5 как минимум два принимают значение *;
— в любом столбце (а/3^5)г, если среди а, /3,^,5 встречается 0 или 1, то все они неравны —.
11) Кц — множество всех мультифункций /, сохраняющих предикат:
/0 00110 0--01-****** *\
Яп =00101 0 - 0 - ** * 01-** * * ;
\0 1001-0 0-******01-*/
12) К12 - множество всех мультифункций /, сохраняющих предикат:
(001111 1— — 01— ****** *\ 01011 1 — 1 — * * * 0 1 — * * * * . 01101—1 1— ******01 — *у
Обозначим через а0 и а1 уточнения набора а, в которых все значения — заменили соответственно на 0 и на 1.
Далее для каждой мультифункции / однозначно определим вектор принадлежности т(/) = (т\,... ,т\2) классам К\ — К\2, в котором для всех г € {1,... , 12}
_ Г 0, если / € Щ]
Тг~\ 1, если / £ Кг.
Отношение принадлежности множествам К\ — К\2 является отношением эквивалентности и порождает разбиение Р£ на классы эквивалентности. У функций из одного класса векторы принадлежности множествам К\ — совпадают.
В данной работе определим число классов эквивалентности, которые состоят только из булевых функций. Так как каждая булева функция принадлежит классам К в и Кт, то максимальное число таких классов 210 = 1024.
Отметим, что классы эквивалентности и типы базисов для различных множеств функций /г-значной логики изучались, например в работах [3-7; 9-12].
2. Вспомогательные утверждения
В этом параграфе будем считать, что ¡'(х\,... ,хп) €
Лемма 1. Справедливы утверждения:
1) функция / принадлежит множеству К\ Р| К2 тогда и только тогда, когда / принадлежит классу К3]
2) функция / принадлежит классу К4 тогда и только тогда, когда / принадлежит классу
3) функция / принадлежит классу К% тогда и только тогда, когда / принадлежит классу Кц;
4) функция / принадлежит классу Кд тогда и только тогда, когда / принадлежит классу К\2.
Доказательство. Пункты 1) и 2) непосредственно следуют из определений классов К\ —
3) Пусть / € Кц. Предположим, что / ф К$. Допустим, что найдутся наборы а1 = (а\,..., агп), где г € {1,2,3}, такие, что столбец совпадает с одним из столбцов (ООО)4, (001)*, (010)*, (111)*
(Л (Л (&-(Л
для любого з и / й2 = 0 . Но тогда / /3 = — , где набор
V«3/ \о; \*у \о)
Р = (/?1,..., рп) такой, что Рк = — для тех к, для которых (а\а\сх^к)г =
(010)*, и Рк = а\ для остальных к. Так как (1 — О)4 ф. Кц, то получим противоречие, что / € Кц.
Пусть теперь / € Предположим, что / ф Кц. Допустим, существуют наборы аг = (а\,..., агп), где г € {1,2,3}, такие, что (а]а:2а:3)4 € Кц для любого но значение функции / на этих наборах представляет набор, который не принадлежит Кц. Обозначим через М матрицу, состоящую из столбцов (а:]а:2а:3)4, где ] € {1,... ,п}. Так как перестановка строк в Кц не меняет его, то /(М) совпадает с одним из наборов
(011)*, (- - О)4, (- - (-11)*, (01-)*. Пусть в М столбцы (100) имеют только номера «1,..., в к, а столбцы (—00) — номера г\,... ,Г[, где к + 1 < п. Рассмотрим доказательство только для первых двух случаев, для оставшихся аналогично.
а) Пусть /(М) = (011)*. Имеем /(а1,0) = 0 и Дй2'0) = Да3'0) = 1. Действительно, если, например, Дй1'0) = 1, то /(й1) ф 0. Заметим, что /(/?) = 0, где Р — набор такой, что = 0 для всех г € {81,..., вк} и
/ } \ (Л
Рг = а^ для остальных г. Иначе / й1'0 = 0 , что противоречит
V ь) V)
(13 \ (°\
/ € К%. Тогда / й2'0 = 1 . Противоречие / € К%.
\1)
б) Пусть ДМ) = (--О)4. Имеем Дй3'1) = 0, иначе /(й3) ф 0.
Заметим также, что /(й1'1) = /(й2'1) = 1. Действительно, если бы, например, /(й1'1) = 0, то поскольку обязательно найдется уточнение
(Л
7 набора й1, на котором значение / равно 1, получим, что / й1'1 =
\ 7 /
'Л . .
0 , противоречие / € К%. Рассмотрим наборы Р, 7 и 5 такие, что =
V1/
О, 7г = 1, 5г = 1 для всех г е {«ь ..., вк, гь ..., п} и = ,7г = ,
5г = а^ для остальных %. Заметим, что /(7) = 0, иначе / 7 =
V«2'1/
'Л I (Л
О , что противоречит / € Если /(/?) = 1, то / й2'1 = 1 ,
(&1,1\ (Л
что противоречит / ё Если /(¿) = 0, то / 7 = 1 , что
V*) Ч
(ь \ м
противоречит / € -К"8. Если /(/?) = 0 и /(¿) = 1, то / й2'1 = 1 ,
V ~б ) \У
что также противоречит / €
4) Доказательство аналогично предыдущему пункту. □
Лемма 2. Если функция / принадлежит множеству Р| Кд, то / является либо проекцией, либо константой.
Доказательство. Покажем, что немонотонные и нелинейные функции не могут принадлежать 1^8 П-^9 > а несохраняющие 0, несохраняющие 1 и несамодвойственные функции, принадлежащие 9, являются
константами.
а) Предположим, что / не сохраняет 0, т.е. /(0) = 1. Тогда либо / является константой 1, либо существует набор й такой, что /(й) = 0. Во
С°\ ( Л
втором случае получим, что / й = (01, что противоречит / €
\б/ V1/
б) Предположим, что / не сохраняет 1, т. е. /(1) = 0. Тогда либо / является константой 0, либо существует набор й такой, что /(й) = 1. Во
Г1)
втором случае получим, что / й = 1 , что противоречит / € Кд.
\1/ Ч
в) Предположим, что / — несамодвойственная функция, тогда существует набор й такой, что /(й) = /(й) = Л € {0,1}. Для определенности считаем, что Л = 0. Допустим, существует набор /3 такой, что /(/?) = 1.
/о\ М М
Тогда /(1) = 1, иначе / /3 = 1 . Но тогда / й = (01, что
VI/ \о/ V/ V/
противоречит / € Кд. Если такого набора не существует, то / является константой 0. Аналогично, если Л = 1, то / является константой 1.
г) Предположим, что / — немонотонная функция, т. е. существуют наборы а и /3 такие, что оц < & для всех г € {1 ,...,п} и /(й) = 1,
д) Предположим, что / — нелинейная функция, тогда в ее полиноме Жегалкина есть слагаемое степени больше 1. Если их несколько, то выберем слагаемое наименьшей степени. Не умаляя общности можно считать, что оно имеет вид Х\Х2 ... Хк, к > 1. Запишем / в виде xix2 ...хк + ах 1 + ЬР(х2, ...,хк) + Q(x i, ...,хп) + с, где Р(х2, ...,хк) = Ь2Х2 + ЬзХз + • • • + bkXk, Q{x 1,..., хп) - сумма слагаемых степени больше к. Далее вычислим столбец Ai значений / на наборах (ООО)4, (001)*, (010)* и столбец Х2 значений / на наборах (ООО)4, (ОН)4, (101)*. Наборы будем подставлять по следующей схеме: либо в х\ подставляем (001)*, в х2,..., Хк - (010)*, в остальные - (000)*, либо в х\ подставляем (ОН)4, в х2,..., Хк - (Ю1)4, в остальные - (000)*.
Возможны случаи.
а) а = b = с = 0. Тогда Х2 = (001)*. Противоречие / € Кд.
б) а = b = 0, с = 1. Тогда Х2 = (НО)4. Противоречие / € Кд.
в) а = с = 0, b = 1. Тогда Х2 = (100)*. Противоречие / € Кд.
д) а = 0, b = с = 1. Тогда Ai = (101)*. Противоречие / € Kg.
е) а = 1, b = с = 0. Тогда Х2 = (010)*. Противоречие / € Кд.
ж) а = с = 1, b = 0. Тогда Ai = (НО)4. Противоречие / € Kg.
з) а = b = 1, с = 0. Тогда Ai = (Oll)4. Противоречие / € Kg.
и) а = b = с = 1. Тогда Ai = (100)*. Противоречие / € Kg.
Как известно, единственными булевыми функциями, которые одновременно сохраняют 0 и 1, самодвойственны, монотонны и линейны, являются проекции. □
Лемма 3. Справедливы утверждения:
1) функция / принадлежит множеству К4 Р| Kg тогда и только тогда, когда является проекцией;
2) функция / принадлежит множеству К4 Р| Кд тогда и только тогда, когда является проекцией.
Доказательство. 1) Очевидно, что проекции принадлежат пересечению К4 и Kg. Докажем, что в этом пересечении нет функций отличных от проекций. Для этого предположим, что / € К4 Р| Kg и покажем, что / € Кд. Допустим противное, пусть найдутся наборы а = (ai,...,an), ß = (/?i,... ,ßn), 7 = (71,..., 7п) такие, что (од^) €
f(ß) = 0. Тогда / , что противоречит / € Kg.
{(000), (011), (101), (111)} для всех ¿е{1,...,п}и
Так как / € К4, то
причем, € {(111), (001), (010), (ООО)}. Противоречие / € К8.
Так как константы не принадлежат К4, то по лемме 2 получим, что / является проекцией.
2) Доказательство аналогично предыдущему пункту. □
Лемма 4. Если функция / принадлежит множеству К\^К2 и не принадлежит классу К4, то / не принадлежит классу Кю.
Доказательство. Пусть / € К\ Р| К2 и / ф. К4. Так как / € К\ [}К2, то /(0) = 0 и /(1) = 1. Так как / ф. К4, то существует набор й такой,
/б\ /о\
что /(а) = Дй) = Л € {0,1}. Тогда /
а а
V;
А Л
VI/
£ Дю. □
Лемма 5. функция / принадлежит либо множеству К\ \ К2,
либо множеству К2 \ К\, то / не принадлежит классу К4.
Доказательство. Утверждение выполняется в силу того, что на нулевом и единичном наборах, которые являются противоположными, значения функции совпадают. □
Лемма 6. Если функция / принадлежит либо множеству К\ \ К2, либо множеству К2 \ К\, то / либо принадлежит множеству Р| Кд, либо не принадлежит множеству У Кд.
Доказательство. Докажем для случая, когда / € К1 \ К2. Для случая, когда / € К2 \ К\ доказательство аналогично. Имеем /(0) = /(1) = 0. Если / - константа 0, то / € К$[^\Кд. Предположим, что существует
(Л ГЛ
набор й такой, что Дй) = 1. Тогда /1 = 0 и/ й = 1
V*/ \у VI/ Ц
Поэтому / ф. И / ф. Кд. □
Лемма 7. Пусть функция / принадлежит множеству То-
гда справедливы утверждения:
1) если / € К\ \ К2, то / является константой 0;
2) если / € К2 \ К\, то / является константой 1.
Доказательство. Следует из лемм 2 и 6. □
Лемма 8. Если функция / не принадлежит множеству К2, то / одновременно не принадлежит классам и Кд.
Доказательство. Имеем /(0) = 1 и /(1) = 0. Тогда / 1 / (б| = М. Поэтому ¡£К8 и ЛКд. □
Лемма 9. Если функция / не принадлежит множеству К\ У К2 и не принадлежит классу К^, то / не принадлежит классу Кю.
Доказательство. Так как / € К\ У К2, то /(0) = 1 и /(1) = 0. А из того, что / ф. К4, следует существование набора а такого, что ¡'(а) =
Дй) = Ае {0,1}. Тогда /
/1\
й А
а А
£ К
ю-
□
3. Основной результат
Теорема 1. Множество всех булевых функций порождает 15 классов эквивалентности относительно принадлежности максимальным частичным ультраклонам.
Доказательство. Свойства булевых функций, описанные в леммах 1— 9, позволяют понизить верхнюю оценку числа классов эквивалентности до 15.
В результате компьютерных вычислений над функциями от трех переменных были найдены 15 различных векторов принадлежности классам К\ — К12- В таблице ниже приведены векторы принадлежности и соответствующие им функции.
4. Заключение
Результат, полученный в данной работе, можно рассматривать как основу для дальнейших исследований разбиения множества мульти-функций на двухэлементном множестве на классы эквивалентности относительно принадлежности максимальным частичным ультраклонам. Получив полное разбиение, можно перейти к решению задачи оценивания мощности всех возможных базисов и подсчету количества различных типов базисов одинаковой мощности.
№ т{!) /(жЬЖ2,Жз)
1 (000000000000) (00001111)
2 (000000011011) (01101001)
3 (000000011111) (00010111)
4 (000110001101) (00000001)
5 (000110010110) (00111111)
6 (000110011111) (00000111)
7 (011110000000) (00000000)
8 (011110011011) (00111100)
9 (011110011111) (00000010)
10 (101110000000) (11111111)
11 (101110011011) (10011001)
12 (101110011111) (10000001)
13 (111000011011) (10010110)
14 (111000011111) (10001110)
15 (111110011111) (10000000)
□
Список литературы
1. Бадмаев С. А., Шаранхаев И. К. О максимальных клонах частичных ультрафункций на двухэлементном множестве // Изв. Иркут. гос. ун-та. Сер. Математика. 2016. Т. 16. С. 3-18.
2. Бадмаев С. А. Критерий полноты множества мультифункдий в полном частичном ультраклоне ранга 2 // Сиб. электрон, мат. изв. 2018. Т. 15. С. 450-474. https://doi.org/10.17377/semi.2018.15.040
3. Замарадкая С. В., Пантелеев В. И. О максимальных клонах ультрафункдий ранга 2 // Изв. Иркут. гос. ун-та. Сер. Математика. 2016. Т. 15. С. 26-37.
4. Замарадкая С. В., Пантелеев В. И. Классификация и типы базисов ультрафункдий ранга 2 // Изв. Иркут. гос. ун-та. Сер. Математика. 2016. Т. 16. С. 58-70.
5. Зинченко А. С., Пантелеев В. И. О классах гиперфункций ранга 2, порожденных максимальными мультиклонами // Изв. Иркут. гос. ун-та. Сер. Математика. 2017. Т. 21. С. 61-76. https://doi.org/10.26516/1997-7670.2017.21.61
6. Казимиров А. С., Пантелеев В. И., Токарева Л. В. Классификация и перечисление базисов клона всех гиперфункций ранга 2 // Изв. Иркут. гос. ун-та. Сер. Математика. 2014. Т. 7. С. 61-78.
7. Казимиров А. С., Пантелеев В. И. О классах булевых функций, порожденных максимальными мультиклонами // Вестн. Бурят, гос. ун-та. Мат. и инф. 2015. № 9. С. 16-22.
8. Пантелеев В. И. О двух максимальных мультиклонах и частичных ультраклонах // Изв. Иркут. гос. ун-та. Сер. Математика. 2012. Т. 5. № 4. С. 46-53.
9. Яблонский С. В. О суперпозициях функций алгебры логики // Мат. сб. 1952. Т. 30. № 2(72). С. 329-348.
10. Miyakawa М., Stojmenovic I., Lau D., Rosenberg I. Classification and basis enumerations in many-valued logics // Proc. 17th International Symposium on Multi-Valued logic. Boston, 1987. P. 151-160.
11. Classification and basis enumerations of the algebras for partial functions / M. Miyakawa, I. Stojmenovic, D. Lau, I. Rosenberg // Proc. 19th International Symposium on Multi-Valued logic. Rostock, 1989. P. 8-13. https://doi.org/10.1109/ISMVL.1989.37752
12. Miyakawa M., Stojmenovic I., Rosenberg I. Classification of three-valued logical functions preserving 0 // Discrete Applied Mathematics. 1990. Vol. 28. P. 231-249. https://doi.org/10.1016/0166-218X(90)90005-W
Сергей Александрович Бадмаев, ассистент, Институт математики и информатики, Бурятский государственный университет, Российская Федерация, 670000,Улан-Удэ, ул. Смолина, 24а тел.: (3012)219757 (e-mail: [email protected])
Поступила в редакцию 01.02.19
On the Classes of Boolean Functions Generated by Maximal Partial Ultraclones
S. A. Badmaev
Buryat State University, Ulan-Ude, Russian Federation
Abstract. The sets of multifunctions are considered. A multifunction on a finite set A is a function defined on the set A and taking its subsets as values. Obviously, superposition in the usual sense does not work when working with multifunctions. Therefore, we need a new definition of superposition. Two ways of defining superposition are usually considered: the first is based on the union of subsets of the set A, and in this case the closed sets containing all the projections are called multiclones, and the second is the intersection of the subsets of A, and the closed sets containing all projections are called partial ultraclones. The set of multifunctions on A on the one hand contains all the functions of | A\-valued logic and on the other, is a subset of functions of 2'-valued logic with superposition that preserves these subsets.
For functions of k-valued logic, the problem of their classification is interesting. One of the known variants of the classification of functions of fc-valued logic is one in which functions in a closed subset B of a closed set M can be divided according to their belonging to the classes that are complete in M. In this paper, the subset of B is the set of all Boolean functions, and the set of M is the set of all multifunctions on the two-element set, and the partial maximal ultraclones are pre-complete classes.
Keywords: multifunction, superposition, clone, ultraclone, maximal clone.
References
1. Badmaev S.A., Sharankhaev I.K. On Maximal Clones of Partial Ultrafunctions on a Two-element Set. The Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 16, pp. 3-18. (in Russian)
2. Badmaev S.A. A Completeness Criterion of Set of Multifunctions in Full Partial Ultraclone of Rank 2. Siberian Electronic Mathematical Reports, 2017, vol. 15, pp. 450-474. (in Russian) https://doi.org/10.17377/semi.2018.15.040
3. Zamaratskaya S.V., Panteleev V.I. On Maximal Clones of Ultrafunctions of Rank 2. The Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 15, pp. 26-37. (in Russian)
4. Zamaratskaya S.V., Panteleev V.I. Classification and Types of Bases of All Ultrafunctions on Two-Element Set. The Bulletin of Irkutsk State University. Series Mathematics, 2016, vol. 16, pp. 58-70. (in Russian)
5. Zinchenko A.S., Panteleev V.I. On Classes of Hyperfunctions of Rank 2 Generated by Maximal Multiclones. The Bulletin of Irkutsk State University. Series Mathematics, 2017, vol. 21, pp. 61-76. (in Russian) https://doi.org/10.26516/1997-7670.2017.21.61
6. Kazimirov A.S., Panteleyev V.I., Tokareva L.V. Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set. The Bulletin of Irkutsk State University. Series Mathematics, 2014, vol. 7, pp. 61-78. (in Russian)
7. Kazimirov A.S., Panteleyev V.I. On the Classes of Boolean Functions Generated by Maximal Multiclones. The Bulletin of Buryat State University. Mathematics and Informatics, 2015, vol. 9, pp. 16-22. (in Russian)
8. Panteleyev V.I. On Two Maximal Multiclones and Partial Ultraclones. The Bulletin of Irkutsk State University. Series Mathematics, 2012, vol. 5, no. 4, pp. 46-53. (in Russian)
9. Yablonskij S.V. On the Superpositions of Logic Functions. Mat. Sbornik, 1952, vol. 30, no. 2(72), pp. 329-348. (in Russian)
10. Miyakawa M., Stojmenovic I., Lau D., Rosenberg I. Classification and basis enumerations in many-valued logics. Proc. 17th International Symposium on Multi-Valued logic. Boston, 1987, pp. 151-160.
11. Miyakawa M., Stojmenovic I., Lau D., Rosenberg I. Classification and basis enumerations of the algebras for partial functions. Proc. 19th International Symposium on Multi-Valued logic. Rostock, 1989, pp. 8-13. https://doi.org/10.1109/ISMVL.1989.37752
12. Miyakawa M., Stojmenovic I., Rosenberg I. Classification of three-valued logical functions preserving 0. Discrete Applied Mathematics, 1990, vol. 28, pp. 231-249. https://doi.org/10.1016/0166-218X(90)90005-W
Sergey Badmaev, assistant, Buryat State University, 24a, Smolin st., Ulan-Ude, 670000, Russian Federation, tel.: (3012)219757 (e-mail: [email protected])
Received 01.02.19
