17 Закревский А. Д. 2007 2018-11-13 Информатика Рассматривается задача последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость по заданному разбиению. При решении этой задачи используется аппарат булевых и троичных векторов и матриц с эффективными комбинаторными операциями над ними. https://www.academjournals.by/publication/18943 https://www.academjournals.by/files/18891