Приклад.

Приведемо ДНФ до ДДНФ за допомогою закону доповнення:

.

Знайдені набори 111, 110, 101 відповідають десятинним числам 7, 6 та 2.

.

Приведемо КНФ до ДКНФ:

Знайдені набори 000, 001, 100 відповідають десятинним числам 0,1 і 5.

Властивості досконалих нормальних форм:

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

2. Якщо логічна функція при даному наборі змінних приймає одиничне значення, то при цьому ж наборі тільки одна елементарна кон’юнкція її ДДНФ приймає значення одиниці.

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

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