Винокуров С.Ф., Перязев Н.А. (ред.) Избранные вопросы теории булевых функций

А. С. Балюк, С. Ф. Винокуров, А. И. Гайдуков и др. — М.: Физматлит, 2001. — 192 с.Рассматриваются разделы теории булевых функций, интенсивно развивающиеся в настоящее время: представление бинарными термами, бесповторными термами и полиномиальными формами.Введение в теорию булевых функций
Определение и формы представления функций
Декомпозиция функций
Разложения функций по переменным
Бесповторные булевы функции
Бесповторные разложения
Бесповторные функции в элементарном базисном множестве
Бесповторные функции в бинарном базисном множестве
Алгоритм нахождения бесповторных представлений
Количество бесповторных функций
Полиномиальные представления булевых функций
Свойства операторов и операторных пучков
Два критерия существования базисных пучков
Специальные классы базисных пучков
Разложения функций по операторным пучкам
Операторные разложения по образам нечетных функций
Бинарные термы в разложениях
Разложения по невырожденным системам функций
Общий вид операторных полиномиальных форм
Классы операторных форм
Сложность операторных форм
Методы нахождения представлений частичных булевых функций
Метод разделительной декомпозиции
Алгоритм линейной минимизации функций
Анализ и тестирование алгоритма ЛМБФ
Методы нахождения полиномиальных представлений.