- •Міністерство освіти і науки,
- •Упорядники: в.І. Хаханов,
- •Рецензент: є.І. Литвинова, д-р техн. Наук, проф. Каф. Апот хнуре
- •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 Позначення до розділу «булева алгебра»
- •Перелік посилань
- •Упорядники хаханов Володимир Іванович
9.2 Закони й тотожності булевої алгебри
Для булевої алгебри мають місце наступні закони (з точністю до позначення операцій такі ж, що й для алгебри множин).
1. Комутативність:
,. (9.6)
2. Асоціативність:
,. (9.7)
3. Дистрибутивність (розподільний закон):
,. (9.8)
4. Ідемпотентність (повторення, тавтологія):
,. (9.9)
5. Операції з константами (як константи виступають елементи 0 і 1):
,,,. (9.10)
6. Закон виключеного третього:
. (9.11)
7. Закон протиріччя:
. (9.12)
8. Інволюція (подвійне заперечення):
. (9.13)
9. Закон Де Моргана:
,. (9.14)
10. Елімінація (поглинання):
,. (9.15)
11. Склеювання:
,. (9.16)
12. Закони Порецького (Блейка-Порецького):
,. (9.17)
9.3 Доведення законів булевої алгебри
Справедливість законів може бути встановлена за допомогою таблиць істинності. Ідея доказу полягає в наступному. У загальній таблиці істинності послідовно виконуються обчислення для лівої, а потім для правої частин рівності. Отримані стовпці значень мають бути однаковими.
Приклад 9.2. Довести дистрибутивний закон за допомогою таблиці істинності.
Доведення. Ліва й права частини дистрибутивного закону містять три змінні. Слід скласти таблицю істинності, що включає 8 двійкових наборів (табл. 9.7).
Таблиця 9.7 – Доказ дистрибутивного закону
З таблиці істинності видно, що стовпці значень для лівої (LHS) і правої (RHS) частин рівностей збігаються.
Приклад 9.3. Використовуючи дистрибутивний закон, установити справедливість закону Блейка-Порецького аналітично.
Доведення. Щоб розкрити дужки в правій частині рівності, необхідно послідовно застосувати дистрибутивний закон, закон протиріччя та дії з константами:
,
що й було потрібно довести.
9.4 Контрольні запитання
1. Які змінні є булевими?
2. Як визначається булева функція?
3. Скільки двійкових наборів містить булева функція від n змінних?
4. Які існують основні логічні операції? Як вони позначаються?
5. Як задаються логічні функції за допомогою таблиць істинності?
6. На яких двійкових наборах кон’юнкція обертається на нуль?
7. На яких двійкових наборах диз’юнкція дорівнює одиниці?
8. Чому дорівнює сума за модулем два n змінних ?
9. Як установлюється пріоритет логічних операцій?
10. Як формулюються закони булевої алгебри?
11. У якому алфавіті визначається алгебра логіки?
12. Чому дорівнює: , , ?
13. Скільки рядків містить таблиця істинності функції f(a,b,c)?
14. Скільки рядків містить таблиця істинності функції f(a,b,c,d)?
15. За якою формулою визначається зв'язок суми за модулем два з інверсією, кон’юнкцією, диз’юнкцією?
16. За якою формулою встановлюється зв’язок еквівалентності з інверсією, кон’юнкцією, диз’юнкцією?
17. Які логічні операції є бінарними?
18. На якому двійковому наборі функція імплікація звертається в нуль?
19. Чому дорівнює вираз ?
20. Чому дорівнює вираз ?
21. За якою формулою встановлюється зв’язок імплікації з інверсією та диз’юнкцією?