ДНФ виходить з таблиці істинності за наступним алгоритмом або правилом: 1) в таблиці вибираються ті рядки змінних котрим функція виході =1 . 2) для кожного рядка змінних записується логічний твір; причому змінні =0 записуються з інверсією. 3) отриманий твір логічно підсумовується.
Побудова ДНФ 1) Позбутися всіх логічних операцій, які у формулі, замінивши їх основними: кон'юнкцією, диз'юнкцією, запереченням. Це можна зробити, використовуючи рівносильні формули: 3) Позбутися знаків подвійного заперечення.
Порядок дій тут такий.
- Взяти подвійне заперечення всього висловлювання;
- Використовуючи одне заперечення та закони де Моргана, перекласти вихідний вираз під другим запереченням у КНФ (друге заперечення зберегти);
- Перекласти отриману КНФ під загальним запереченням ДНФ – Розкрити дужки та спростити.