- •Міністерство освіти і науки,
- •Упорядники: в.І. Хаханов,
- •Рецензент: є.І. Литвинова, д-р техн. Наук, проф. Каф. Апот хнуре
- •1 Основні поняття теорії множин
- •1.1 Відношення приналежності та включення
- •1.2 Способи задання множин
- •1.3 Алгебра множин Кантора
- •1.4 Закони й тотожності алгебри множин
- •1.5 Контрольні запитання
- •2 Відповідності. Функції. Відображення
- •2.1 Поняття впорядкованої пари й вектора
- •2.2 Декартів (прямий) добуток множин
- •2.4 Функції. Відображення
- •2.5 Контрольні запитання
- •3 Відношення. Алгебра відношень
- •3.1 Поняття відношення
- •3.2 Операції над відношеннями
- •3.3 Алгебра відношень
- •3.4 Контрольні запитання
- •4 Бінарні відношення
- •4.1 Способи завдання бінарних відношень
- •4.2 Властивості бінарних відношень
- •4.3 Бінарне відношення еквівалентності
- •4.4 Контрольні запитання
- •5 Бінарне відношення порядку
- •5.1 Упорядковані множини. Бінарне відношення порядку
- •5.2 Типи порядку (лінійний, частковий, передпорядок)
- •5.3 Контрольні запитання
- •6 Структури. Алгебраїчні системи. Ізоморфізм
- •6.1 Структура
- •6.2 Дедекиндові (модулярні) структури
- •6.3 Дистрибутивні структури
- •6.4 Ізоморфізм множин
- •6.5 Контрольні запитання
- •7 Висновки до розділу «Теорія множин»
- •8 Позначення до розділу «Теорія множин»
- •9 Основні поняття булевої алгебри
- •9.1 Логічні операції й логічні функції
- •9.2 Закони й тотожності булевої алгебри
- •9.3 Доведення законів булевої алгебри
- •9.4 Контрольні запитання
- •10 Диз’юнктивні та кон’юнктивні нормальні форми (днф і кнф). Досконалі днф і кнф (дднф і дкнф)
- •10.1 Днф і кнф
- •10.2 Дднф і дкнф
- •10.3 Складність зображення булевих функцій
- •10.4 Теорема Шенона про розкладання булевих функцій
- •10.5 Контрольні запитання
- •11 Елементи логічних схем. Булеві функції від двох змінних
- •11.1 Фізичний зміст логічних функцій і, або, ні та їх схемотехнічне зображення
- •11.2 Таблиця аналітичного й схемотехнічного зображення булевих функцій від двох змінних
- •11.3 Властивості й аналітичні подання елементарних булевих функцій від двох змінних
- •11.4 Приклади розв’язання практичних завдань
- •11.5 Контрольні запитання й завдання
- •12 Способи зображення булевих функцій
- •12.1 Табличний спосіб зображення булевих функцій
- •12.2 Числовий спосіб зображення булевих функцій
- •12.3 Аналітична форма запису булевих функцій
- •12.4 Геометрична інтерпретація булевих функцій
- •12.5 Кубічна форма зображення булевих функцій
- •12.6 Схемотехнічне зображення
- •12.7 Контрольні запитання й завдання
- •13 Системи функцій алгебри логіки. Функціональна повнота
- •13.1 Класи булевих функцій
- •13.2 Повнота функцій алгебри логіки
- •13.3 Контрольні запитання
- •14 Булеві похідні
- •14.1 Булеві похідні першого порядку
- •14.2 Фізичний зміст булевої похідної першого порядку
- •14.3 Змішана похідна -го порядку
- •14.4 Булеві похідні k-го порядку
- •14.5 Контрольні запитання
- •15 Мінімізація булевих функцій. Методи квайна і квайна-мак-класки
- •Булеві функції застосувуються при реалізації логічних схем. Різні вирази однієї й тієї ж функції представляють різні схеми.
- •15.1 Основні положення методу квайна
- •15.2 Мінімізація булевих функцій за методом Квайна-Мак-Класки
- •15.3 Контрольні запитання
- •16 Мінімізація булевих функцій: метод невизначених коефіцієнтів
- •16.1 Основні припущення
- •16.2 Алгоритм знаходження невизначених коефіцієнтів
- •16.3 Контрольні запитання
- •17 Мінімізація булевих функцій: метод карт карно
- •17.1 Основні положення
- •17.2 Спрощений стандарт карт Карно
- •17.3 Мінімізація за картами Карно
- •17.4 Контрольні запитання
- •18 Висновки до розділу «булева алгебра»
- •19 Позначення до розділу «булева алгебра»
- •Перелік посилань
- •Упорядники хаханов Володимир Іванович
15.3 Контрольні запитання
1. Що являє собою процес мінімізації булевих функцій?
2. За рахунок чого досягається мінімальна форма функції?
3. Які існують методи мінімізації булевих функцій?
4. Що таке імпліканта (первинна імпліканта)?
5. Які основні етапи методу Квайна?
6. Що таке істотна імпліканта?
7. Як визначаються істотні імпліканти?
8. У чому недолік методу Квайна?
9. Які основні етапи методу Квайна-Мак-Класки?
10. У чому переваги методу Квайна-Мак-Класки?
11. Як виконується вибір мінімального покриття рядків стовпцями в методах Квайна та Квайна-Мак-Класки?
16 Мінімізація булевих функцій: метод невизначених коефіцієнтів
Для мінімізації булевих функцій від невеликої кількості змінних застосовується метод невизначених коефіцієнтів у базисі І-АБО-НІ.
16.1 Основні припущення
Метод використовує наступні основні факти.
Відомо, що будь-яку булеву функцію можна зобразити в диз’юнктивній нормальній формі. Для функції від трьох змінних загальний вигляд ДНФ можна записати так:
(16.1)
Невизначені коефіцієнти розташовані при змінних або їх кон’юнкціях, причому нижні індекси співпадають з індексами змінних, верхній – 0 або 1 залежно від того, чи мають первинні терми інверсії чи ні (0 – змінна під знаком інверсії, 1 – без інверсії). Самі невизначені коефіцієнти також приймають значення 0 або 1 і з метою мінімізації функції підбираються так, щоб отримана ДНФ після цього мала мінімальну кількість букв.
При визначенні ДНФ ураховують властивість: диз’юнкція деякого числа змінних дорівнює нулю, якщо всі вхідні в неї змінні дорівнюють нулю; дорівнює одиниці, якщо хоча б одна змінна дорівнює одиниці:
(16.2)
Оскільки функція від трьох змінних визначена на стандартних 8-двійкових наборах, праву частину формули (16.1) можна перетворити на кожному наборі змінних, у результаті чого виходить система рівнянь:
(16.3)
Якщо функція приймає нульові значення на відповідному наборі змінних , то, згідно з (16.2), всі коефіцієнти, що входять у дане рівняння, дорівнюють нулю. Тоді в інших рівняннях системи (16.3), де , варто також покласти рівними нулю ці коефіцієнти.
Систему (16.3) зручно зобразити у вигляді таблиці (табл. 16.1).
Нижні індекси коефіцієнтів кожного стовпця визначають номер змінних, верхні – відповідають стовпцю значень ціх змінних. В останньому стовпці таблиці вказуються значення функції на відповідному наборі змінних, які визначаються за умовою задачі. Передбачається також, що всі коефіцієнти в довільному рядку пов’язані символами диз'юнкції.
Таблиця 16.1 – Подання системи рівнянь (16.3) за допомогою таблиці
№ |
| ||||||||||
0 |
0 |
0 |
0 | ||||||||
1 |
0 |
0 |
1 | ||||||||
2 |
0 |
1 |
0 | ||||||||
3 |
0 |
1 |
1 | ||||||||
4 |
1 |
0 |
0 | ||||||||
5 |
1 |
0 |
1 | ||||||||
6 |
1 |
1 |
0 | ||||||||
7 |
1 |
1 |
1 |