Отримано диз'юнктивну нормальну форму, шляхом з’єднання всіх мінтермів за допомогою операцій АБО.
Визначення: висловлювання має диз’юнктивну нормальну форму (скорочено DNF), якщо це диз'юнкція сполучників, завдяки чому ці сполучники пов’язують елементарні твердження (тобто A, B, C …) або їх заперечення. c) Утворіть диз’юнктивну нормальну форму A → B і A ↔ B.
Тут введенням є ШПФ, тому нормальною формою є ~p ∧ ~q ∧ r. Існує лише три реальних виходи; тому є лише три нормальні форми. Ми з’єднуємо їх за допомогою диз’юнктивного «або», що призводить до «диз’юнктивної нормальної форми»: (p ∧ q ∧ r) V (p ∧ ~q ∧ ~r) V (~p ∧ ~q ∧ r) .
Сполучна нормальна форма (КНФ) є посиланням від Диз'юнкції (АБО з'єднання), тоді як диз'юнктивна нормальна форма (DNF) посилання від Сполучники (І зв’язки). Це означає в КНФ кілька умовних слів пов’язані І, в якому DNF однак через АБО.
Диз'юнкція мінтермів називається диз'юнктивною нормальною формою (скорочено ДНФ).. Кон'юнкція максимальних членів називається кон'юнктивною нормальною формою (скорочено CNF). Приклади: (x1 ∧ x2) ∨ (¬x1 ∧ x3) ∨ x2 є DNF, але не KNF. Формули x1 ∨ x2 і ¬x1 ∧ x4 ∧ ¬x6 є як ДНФ, так і КНФ.
У булевій логіці диз'юнктивна нормальна форма (DNF) канонічна нормальна форма логічної формули, що складається з диз'юнкції кон'юнкцій . Його також можна описати як АБО І, суму продуктів або – у філософській логіці – концепцію кластера. Як звичайна форма, вона корисна в автоматизованому доведенні теорем.
Яка різниця між CNF і DNF? Диз'юнкція сполучників. Їх застосування в логіці та обчисленнях доповнюють одне одного . CNF використовуються для перевірки помилок за допомогою автоматизованої технології доведення теорем, тоді як DNF корисні для спрощення логічних виразів .