Доведення законів булевої алгебри

Справедливість законів може бути встановлена за допомогою таблиць істинності. Ідея доказу полягає в наступному. У загальній таблиці істинності послідовно виконуються обчислення для лівої, а потім для правої частин рівності. Отримані стовпці значень мають бути однаковими.

Приклад 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. За якою формулою встановлюється зв’язок імплікації з інверсією та диз’юнкцією?

10 Диз’юнктивні та кон’юнктивні нормальні форми (ДНФ і КНФ). Досконалі ДНФ і КНФ (ДДНФ і ДКНФ)

ДНФ КНФ, ДДНФ і ДКНФ є різними формами зображення булевих функцій і відіграють особливу роль в алгебрі логіки та її додатків.

У загальному вигляді двійковий набір можна подати як послідовність , де кожний компонент є нуль або одиниця, тобто .