Методы минимизации булевых функций

Дипломная работа была оценена на "отлично"
Данная работа насыщена различными примерами, таблицами и формулами. Больше практики.
К Диплому прилагается яркая презентация (20 слайдов).
В математике существует достаточное число различных типов функций.
Самыми простыми функциями по своей структуре являются булевы функции –
функции, которые определены на множестве, состоящем из двух элементов.
Булевы функции занимают первое место, первую ступень в иерархии функций.
Ниже располагаются только лишь константы.
В работе рассматриваются различные методы минимизации булевых функций и каждый метод разбирается подробно с практическими примерами.

Введение…………………………………………………………………………..3
Глава 1. Основные понятия и определения……………………………………..5

1.1. Булевы функции от одного аргумента……………………………………...5
1.2. Булевы функции от двух аргументов……………………………………….6
1.3 Булевы функции от n аргументов…………………………………………...9
1.4. Нормальные формы булевых функций……………………………………12
Глава 2. Реализация булевых функций, минимизация…...…………………...14
2.1. Основные понятия и определения…………………………………………14
2.2. Схемы из функциональных элементов…………………………………….18
2.3. Выполнимость КНФ………………………………………………………...23
2.4. Методы минимизации булевых функций………………………………....27
Глава 3. Решение задач…………………..……………………………………...48
Заключение……………………………………………………………………….58
Список литературы……………………………………………………………....59

1. Владимиров Д.А., Булевы алгебры. М.: Наука, 1969.
2. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике: Учеб. Пособиеюю.- 3-е изд., перераб.- М.: ФИЗМАЛИТ, 2006.
3. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студентов высших учебных заведений /Владимир Иванович Игошин. – М.: Издательский центр “Академия”, 2004.
4. Лупанов О.Б. Лекции по математической логике. М.: Изд-во МГУ,1970.
5. Марченков С.С. Булевы функции. – М.: ФИЗМАТЛИТ, 2002.
6. Новиков П.С. Элементы математической логики и теории множеств. Саратов.: Изд-во Саратовского университета, 1968.
7. Редькин Н.П. Дискретная математика. Учебное пособие. – М.: Изд-во ЦПИ при механико-математическом факультете МГУ, 2005.
8. Редькин Н.П. Надежность и диагностика схем. М: Изд-во МГУ, 1992.