DisMathTPU
.pdf
|
|
|
161 |
8. Дизъюнктивная нормальная форма |
41 |
||
8.1. Элементарная конъюнкция и ДНФ |
41 |
||
8.2. Преобразование ДНФ в совершенную ДНФ |
43 |
||
8.3. Элементарная конъюнкция и интервал |
43 |
||
8.4. ДНФ и достаточное множество интервалов |
45 |
||
8.4.1. Построение матрицы Грея по ДНФ |
45 |
||
8.4.2. Построение ДНФ по матрице Грея |
46 |
||
8.5. Построение ДНФ по формуле |
46 |
||
8.6. |
|
Упражнения |
47 |
9. Сокращенная, кратчайшая, минимальная и безызбыточная ДНФ |
48 |
||
9.1. Импликанты функции и сокращенная ДНФ |
48 |
||
9.2. Минимальная и кратчайшая ДНФ |
50 |
||
9.3. |
|
Безызбыточная ДНФ |
53 |
9.4. Кратчайшие ДНФ элементарных функций |
55 |
||
9.5. |
|
Упражнения |
56 |
10. Контрольная работа 2 |
57 |
||
11. Минимизация булевых функций |
61 |
||
11.1. Получение сокращенной ДНФ первый этап минимизации |
63 |
||
11.1.1. Теорема Квайна и алгоритм Квайна-МакКласки |
65 |
||
11.1.2. Теорема Блейка и алгоритм Блейка-Порецкого |
67 |
||
11.1.3. Упражнения |
72 |
||
11.2. |
Построение таблицы Квайна и поиск ее покрытий |
|
|
|
|
второй этап минимизации |
73 |
11.2.1. Таблица Квайна |
73 |
||
11.2.2. Покрытия таблицы Квайна и ДНФ |
74 |
||
11.2.3 Поиск всех безызбыточных покрытий |
77 |
||
11.2.4. Поиск минимальных и кратчайших покрытий |
80 |
||
11.2.5. Упражнения |
83 |
||
11.3. |
|
Приближенная кратчайшая ДНФ |
83 |
11.3.1. Алгоритм Закревского |
84 |
||
11.3.2 |
Упражнения |
86 |
|
11.4. |
|
Контрольная работа 3 |
87 |
12. Неполностью определенные (частичные) булевы функции |
93 |
||
12.1. |
Неполностью определенная булева функция и способы ее |
|
|
|
|
задания |
93 |
12.2. Минимизация неполностью определенных булевых функций |
94 |
||
12.2.1. Поиск кратчайшей ДНФ неполностью определенной |
|
||
|
|
булевой функции |
96 |
12.2.2. Поиск приближенной кратчайшей ДНФ неполностью |
|
||
|
|
определенной булевой функции |
98 |
12.3. |
|
Упражнения |
108 |
162
13. |
Система булевых функций |
109 |
|
|
13.1. Определение системы булевых функций |
109 |
|
|
13.2. Кратчайшая и безызбыточная системы ДНФ |
111 |
|
|
13.3. Минимизация систем булевых функций |
114 |
|
|
13.4. |
Упражнения |
121 |
14. |
Контрольная работа 4 |
121 |
|
15. |
Важнейшие замкнутые классы булевых функций |
126 |
|
|
15.1. Класс булевых функций, сохраняющих константу 0 |
127 |
|
|
15.2. Класс булевых функций, сохраняющих константу 1 |
128 |
|
|
15.3. Класс линейных булевых функций |
129 |
|
|
15.3.1. Полином Жегалкина |
129 |
|
|
15.3.2. Алгоритмы построения полинома Жегалкина |
132 |
|
|
15.3.3. Линейные булевы функции |
137 |
|
|
15.4. Класс самодвойственных булевых функций |
139 |
|
|
15.5. Класс монотонных булевых функций |
142 |
|
|
15.6. Таблица непринадлежности элементарных булевых |
|
|
|
|
функций замкнутым классам |
147 |
|
15.7. |
Упражнения |
147 |
16. |
Функциональная полнота системы булевых функций |
148 |
|
|
16.1. Необходимые и достаточные условия функциональной |
|
|
|
|
полноты |
149 |
|
16.2. |
Упражнения |
152 |
17. |
Контрольная работа 5 |
154 |
|
|
Литература |
159 |
|