Основы теории булевых функций

Предисловие
Указатель обозначений
Глава I. Элементарные свойства булевых функций
§ 1. Табличное задание булевых функций
§2. Некоторые элементарные булевы функции
§3. Существенные и фиктивные переменные
§4. Формулы и реализация булевых функций
формулами
§5. Эквивалентность формул
§6. Замыкание. Замкнутые классы
§7. Разложение булевой функции по переменным
§8. Двойственность. Принцип двойственности
§9. Полиномы Жегалкина
Глава II. Замкнутые классы и критерий полноты
§ 1. Класс самодвойственных функций
§2. Класс линейных функций
§3. Класс монотонных функций
§4. Критерий полноты
§5. Замкнутые классы, содержащие константы
Глава III. Решетка замкнутых классов булевых
функций
§ 1. Замкнутые классы, лежащие в классах U, D, К,
L
§2. Замкнутые классы, лежащие в классах S, 0°°,
/°°
§3. Замкнутые классы, лежащие в классах Т\ и То
§4. Основной результат
Глава IV. Предикатное описание замкнутых
классов
§ 1. Булевы предикаты и операции над
предикатами
§ 2. Отношение сохранения предиката функцией
§ 3. Соответствие Галуа
§ 4. Замкнутые классы, определяемые конечным
числом предикатов
§5. Предикатное задание замкнутых классов
Глава V. Операторы параметрического и
позитивного замыкания
§ 1. Параметрическое замыкание
§2. Централизаторы и бицентрализаторы
§ 3. Позитивное замыкание
Глава VI. Частичные булевы функции
Глава VII. Реализация булевых функций схемами из
функциональных элементов
§1. Системы булевых уравнений и схемы из
функциональных элементов
§ 2. Предварительные оценки функции Шеннона
§ 3. Метод Шеннона
§4. Асимптотически наилучший метод О. Б.
Лупанова
Список литературы
Предметный указатель