Диз’юнктивні та Кон’юнктивні Нормальні Форми

Ці картки містять основні терміни та визначення, пов'язані з диз’юнктивними та кон’юнктивними нормальними формами логічних функцій.

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

Логічна функція, що подається диз’юнкцією елементарних добутків (кон’юнкцій).

Кон’юнктивна нормальна форма (КНФ)

Логічна функція, що подається кон’юнкцією елементарних диз’юнкцій (сум).

Елементарний добуток

Логічний добуток кількох змінних, взятих із запереченням або без нього.

Мінімізація логічних функцій

Процес спрощення логічних функцій для зменшення числа літерал.

Конституєнта одиниці

Логічна функція n змінних, що набуває значення 1 лише на одному наборі змінних.

Досконала ДНФ (ДДНФ)

Диз’юнкція конституєнт одиниці, яка дорівнює одиниці на тих наборах, що й задана функція.

Проста імпліканта

Елементарні добутки, які входять до даної функції в ДДНФ, але ніяка їхня власна частина самостійно не входить.

Скорочена ДНФ (СДНФ)

ДНФ, що містить лише прості імпліканти без зайвих членів.

Імпліканта

Функція φ, яка дорівнює нулю на тих наборах, на яких дорівнює нулю функція ψ.

Картка Карно

Графічний метод подання логічних функцій, що допомагає в мінімізації логічних функцій.

Імпліцентою функції

Функція, що дорівнює одиниці на тих наборах, на яких дорівнює одиниці інша функція.

Теорема Квайна

Метод мінімізації логічних функцій, оснований на операціях неповного склеювання та поглинання.