RT - article
SR - Electronic
T1 - ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ  -  ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ
JF - Информатика
SP - 2018-11-13
A1 - Закревский А. Д., 
YR - 2007
UL - https://www.academjournals.by/publication/18943
AB - Рассматривается задача последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость по заданному разбиению. При решении этой задачи используется аппарат булевых и троичных векторов и матриц с эффективными комбинаторными операциями над ними.