Скористаємося правилами перетворення довільної формули алгебри логіки до ДДНФ.
Опускаємо заперечення на змінні, використовуючи закон де Моргана:
.
Побудуємо диз’юнктивну нормальну форму, використовуючи дистрибутивний закон, закони ідемпотентності й протиріччя:
.
Булева функція залежить від трьох змінних, тому в елементарні кон’юнкції необхідно ввести відсутні змінні, використовуючи закон виключеного третього:
.
Використовуючи дистрибутивний закон, розкриємо дужки і зведемо подібні для одержання ДДНФ:
.
Одержана досконала диз’юнктивна нормальна форма заданої булевої функції:
.
Завдання 7.Скласти алгоритм переходу від таблиці істинності булевої функції до ДКНФ.