Page 18 - 4503

1.1.5 Довершена диз’юнктивна нормальна форм

Отриманий аналітичний вираз (1.7) функції Y називають
довершена диз’юнктивна нормальна форма (ДДНФ). Ця
ДДНФ складається із елементарних кон’юнкцій поєднаних
знаками диз’юнкцій. Кон’юнкцію називають елементарною,
якщо до неї не належать по декілька однакових букв.
Кількість елементарних кон’юнкцій в ДДНФ обов’язково
співпадає з кількістю одиничних значень функції у таблиці
істинності. У склад кожної елементарної кон’юнкції ДДНФ
обов’язково входять усі аргументи функції, кожен з яких
може бути представлений у прямій чи інверсній формі.
Описана процедура отримання ДДНФ є процедурою переходу
від табличної форми завдання функції до її аналітичної форми
[1].

1.1.5.1 Процедура переходу між аналітичною та
табличною формою функції

Для зворотного переходу — від аналітичної форми до
табличної — достатньо підставити в аналітичну форму по
черзі всі комбінації значень аргументів і обчислені значення
функції записати в вигляді таблиці. У випадку ДДНФ ця
процедура є достатньо простою, оскільки кожна із належних
їй кон’юнкцій є представником одного рядка таблиці, в якому
значення функції дорівнює 1. Рядок таблиці однозначно
визначається за співвідношенням інверсних і прямих
аргументів: c — означає 001, ab — означає 100 і т.д.

1.1.6 Властивість повноти набору функцій

18