Лекція 22. Булеві функції 123

22.1. Логічні функції 123

22.2. Булеві функції 123

22.3. Логічні формули 125

Лекція 23. Завдання булевих функцій. Приведення формул 127

23.1. Способи завдання булевих функцій 127

23.1.1. Табличний спосіб 127

23.1.2. Аналітичний спосіб 127

23.1.3. Геометричний спосіб 129

23.1.4. Чисельний спосіб 130

23.2. Приведення формул булевої алгебри до досконалої
форми 130

Лекція 24. Булева алгебра. Спрощення. Подвійність 132

24.1. Булева алгебра 132

24.2. Спрощення запису формул 132

24.3. Подвійність формул булевої алгебри 135

24.4. Булева алгебра множин 136

Лекція 25. Алгебра Жегалкіна. Типи функцій. Логічні схеми 138

25.1. Алгебра Жегалкіна 138

25.2. Типи булевих функцій 139

25.3. Функціональна повнота 140

25.4. Логічні (перемикальні) схеми 141

25.5. Канонічна задача синтезу логічних схем 143

Лекція 26. Графічна та таблична мінімізація 145

26.1. Графічний метод мінімізації булевих функцій 145

26.2. Табличний метод мінімізації 146

Лекція 27. Аналітична мінімізація. Базові методи 150

27.1. Аналітичні методи мінімізації 150

27.1.1. Комплекс кубів 150

27.1.2. Постановка задачі 151

27.2. Метод Квайна 152

27.3. Алгебраїчний метод одержання мінімального покриття
(алгоритм Петрика) 154

Лекція 28. Аналітична мінімізація. Додаткові методи 156

28.1. Модифікований метод Квайна - МакКласкі 156

28.2. Мінімізація частково визначених функцій 158

Лекція 29. Матричні форми 161

29.1. Основні визначення 161

29.2. Інтервальне представлення в матричній формі 162

29.3. Спрощення ДНФ за матричною формою Закревського 164

Лекція 30. Алгоритм побудови максимальних інтервалів 167

30.1. Формулювання алгоритму побудови максимальних
інтервалів для точки 167

30.2. Алгоритм для ДНФ 170

30.3. Метод Блейка 171

Лекція 31. Мінімізація систем булевих функцій 175

31.1. Основні визначення 175

31.2. Використання системи булевих функцій для синтезу КС 176

31.3. Точний метод Барті-Полянського мінімізації систем
булевих функцій 177

31.4. Інтуїтивний метод спрощення системи ДНФ за
матричною формою 179

Лекція 32. Інтервальні форми та їхні перетворення 181

32.1. Інтервальне представлення в ЕОМ 181

32.1.1. Системи повністю визначених булевих функцій 181

32.1.2. Системи неповністю визначених булевих функцій 182

32.2. Основні операції над векторним інтервальним представленням 182

32.2.1. Дослідження ортогональності інтервалів 182

32.2.2. Перетин інтервалів 183

32.2.3. Симетрування інтервалів 183

32.2.4. Склеювання й поглинання інтервалів 184

32.2.5. Поглинання інтервалу об'єднанням інтервалу 184

32.2.6. Розширення інтервалу 184

32.2.7. Скорочення інтервалу 185

32.2.8. Віднімання інтервалу 186

32.2.9. Побудова мінімального покриваючого інтервалу для
заданого об'єднання інтервалів 188

Лекція 33. Використання інтервальних операцій 190

33.1. Використання операцій при перетвореннях інтервального
представлення 190

33.1.1. Покриття інтервалу об'єднанням інтервалів операцієй
віднімання 190

33.1.2. Розширення інтервалу в заданому об'єднанні інтервалів
до максимального 191

33.1.3. Перевірка інтервалу на ядерність 194

33.1.4. Перевірка надмірності інтервалу в об'єднанні інтервалів 196

33.2. Метричні властивості ДНФ 196

33.2.1. Зроблена ДНФ 197

33.2.2. Скорочена ДНФ 197

33.2.3. Найкоротша ДНФ 197

33.2.4. Зіставлення оцінок 197

Лекція 34. Булеві рівняння й нерівності 199

34.1. Булеві рівняння 199

34.2. Булеві нерівності 201

34.3. Спільні системи нерівностей і рівнянь 202

Лекція 35. Булеві різниця, похідні й диференціали 205

35.1. Властивості булевой різниці 205

35.2. Методи знаходження булевой різниці 206

35.2.1. Метод карт Карно 207

35.2.2. Метод карт Хсиао Скотта 208

35.3. Подвійна булева різниця 208

35.3. Булеві похідні й диференціали 210

Лекція 36. Логіка предикатів 214

36.1. Висловлення предикатів 214

36.2. Логіка предикатів 214

36.3. Правила застосування кванторів 216

Список літератури 219

Навчальне видання

Конспект лекцій по дисципліні «Основи дискретної математики» для студентів очної і заочної форм навчання фахів 6.0804 і 6.0915 інституту комп’ютерних систем.

Укл.:
Олександр Миколайович Мартинюк

Редактор
C.М. Шушпановська

Коректор
Н.К. Филіпович

Верстка і

обкладинка В.О. Дідорчук

-----------------------------------------------------------------------------------------------
Підписано к друку Формат 60х84/16. Папір газетний.
Друк офсетний. Ум.друк.арк.10.50. Обл.-вид.арк.17,44
Тираж 300 пр. Зам. №
-----------------------------------------------------------------------------------------------

Одеський національний політехнічний університет
65044, Одеса, пр. Шевченка, 1