Учебно-методическое объединение по образованию в области информационной безопасности, г. Москва, Россия
Аннотация:
Изучены условия однозначности разложения булевой функции в простую бесповторную декомпозицию при линейной замене переменных. Вводится понятие подпространства существенных переменных. Найдены условия, при выполнении которых каждое из двух подпространств существенных переменных функций-компонент в простой декомпозиции функции с тривиальной группой инерции в группе сдвигов однозначно определяет другое. Рассмотрен также случай итеративной декомпозиции.