Як отримати СДНФ?

СДНФ можна отримати або за допомогою таблиць істинності або за допомогою рівносильних перетворень. Для кожної функції СДНФ та СКНФ визначено єдиним чином з точністю до перестановки. Правило! Правило: змінні, що рівні нулю, записуються з інверсією.

СДНФ { Досконала Диз'юнктивна Нормальна Форма } – це така ДНФ, яка задовольняє умовам: у ній немає однакових простих кон'юнкцій кожна проста кон'юнкція повна

Досконала кон'юнктивна нормальна форма (СКНФ) – це КНФ, яка задовольняє трьома умовами: не містить однакових елементарних диз'юнкцій; жодна з диз'юнкцій не містить однакових змінних; кожна елементарна диз'юнкція містить кожну змінну з тих, що входять до цієї КНФ.

Таким чином, головним завданням при мінімізації СДНФ і СКНФ є пошук термів, придатних до склеювання з подальшим поглинанням, що для великих форм може виявитися досить складним завданням. Карти Карно надають наочний спосіб пошуку таких термів.