Лекція №2 - Форми подання функцій алгебри логіки

1. Досконала диз’юнктивна нормальна форма

2. Досконала кон’юнктивна нормальна форма

3. Способи переходу від нормальної до досконалої форми логічної функції

4. Функціонально повні системи булевих функцій

5. Вправи для самостійної роботи. Використання середовища Microsoft Excel

Існує багато способів задання логічних функцій. Раніше був розглянутий табличний спосіб, при якому кожному набору значень змінних в таблиці істинності указується значення логічної функції.

Цей спосіб наочний і може бути застосований для запису функцій від будь-якої кількості змінних. Проте при аналізі властивостей функцій алгебри логіки (ФАЛ) такий запис не є компактним. Простіше виглядає аналітичний запис у вигляді формул.

Таким чином, одна і та ж функція може бути подана різними формулами. В зв’язку з цим виникає задача знаходження такої форми запису функцій, при якій кожній функції відповідає одна і лише одна формула, а формулі відповідає одна і лише одна функція.

Такі форми запису називають канонічними.

Канонічні форми запису називаються також досконалими диз’юнктивними нормальними формами (ДДНФ) або досконалими кон’юнктивними нормальними формами (ДКНФ).