@article{Закревский А. Д.2018-11-13, author = { Закревский А. Д.}, title = {ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ}, year = {2007}, publisher = {NP «NEICON»}, abstract = {Рассматривается задача последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость по заданному разбиению. При решении этой задачи используется аппарат булевых и троичных векторов и матриц с эффективными комбинаторными операциями над ними.}, URL = {https://www.academjournals.by/publication/18943}, eprint = {https://www.academjournals.by/files/18891}, journal = {Информатика}, }