informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-607Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮЗакревскийА. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20071311201801(13)1621Copyright © Закревский А.Д., 20182018Закревский А.Д.Закревский А.Д.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/607

Рассматривается задача последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость по заданному разбиению. При решении этой задачи используется аппарат булевых и троичных векторов и матриц с эффективными комбинаторными операциями над ними.

ReferencesPerkowski, M.A. A survey of literature on function decomposition, Version IV / M.A. Perkowski, Grigiel. – Portland State University, 1995.Perkowski, M.A. A survey of literature on function decomposition, Version IV / M.A. Perkowski, Grigiel. – Portland State University, 1995.Поваров, Г.Н. О функциональной разделимости булевых функций / Г.Н. Поваров // Доклады АН СССР. – Т. 94, № 5. – 1954.Поваров, Г.Н. О функциональной разделимости булевых функций / Г.Н. Поваров // Доклады АН СССР. – Т. 94, № 5. – 1954.Ashenhurst, R.L. The decomposition of switching functions / R.L. Ashenhurst // Proc. International Symposium on the Theory of Switching: Part 1. – Cambridge: Harward University Press, 1959. – P. 75–116.Ashenhurst, R.L. The decomposition of switching functions / R.L. Ashenhurst // Proc. International Symposium on the Theory of Switching: Part 1. – Cambridge: Harward University Press, 1959. – P. 75–116.Curtis, H.A. Design of switching circuits / H.A. Curtis. – Van Nostrand, Princeton, N. J., 1962.Curtis, H.A. Design of switching circuits / H.A. Curtis. – Van Nostrand, Princeton, N. J., 1962.Закревский, А.Д. Алгоритм разделения булевой функции / А.Д. Закревский // Тр. Сибирского физико-технического института. – 1964. – Т. 44. – С. 5-16.Закревский, А.Д. Алгоритм разделения булевой функции / А.Д. Закревский // Тр. Сибирского физико-технического института. – 1964. – Т. 44. – С. 5-16.Закревский, А.Д. Векторный алгоритм анализа булевой функции на декомпозируе-мость по заданному разбиению / А.Д. Закревский // Доклады НАН Беларуси. – 2006. – Т. 50, № 5. – С. 28–29.Закревский, А.Д. Векторный алгоритм анализа булевой функции на декомпозируе-мость по заданному разбиению / А.Д. Закревский // Доклады НАН Беларуси. – 2006. – Т. 50, № 5. – С. 28–29.Харари, Ф. Теория графов / Ф. Харари. – М.: Мир, 1973.Харари, Ф. Теория графов / Ф. Харари. – М.: Мир, 1973.

The authors declare that there are no conflicts of interest present.