Наведемо приклад знаходження досконалої кон’юнктивної нормальної форми (ДКНФ) для формули.

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

Етап 1. Для формули складається таблиця істинності.

Етап 2. У таблиці істинності виділяються ті набори , для яких значення формули не є істинним (тобто є хибним, дорівнює 0).

Етап 3. Для кожного виділеного набору складається елементарна диз'юнкція виду .

Етап 4. Формується кон’юнкція елементарних диз'юнкцій.

 

 

 

У підсумку, буде отримано наступний результат:

 

.

 

Також можна отримати розв'язок завдання прикладу аналітичним методом.

ДКНФ називають ДКНФ булевої функції f=f(x₁…x_n), якщо:

– ДКНФ тотожно дорівнює данiй булевiй функції (приймає ті самі значення на тих самих наборах значень змінних);

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

 

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

Разом iз тим, важливу роль вiдiграє наступна властивість щодо існування й єдиності ДКНФ заданої булевої функції: для будь-якої булевої функцiї f(x₁,…,x_n), існує тільки одна ДКНФ, яка тотожно дорівнює їй.

Констітуентами нуля називають елементарні диз'юнкції, що містять в прямому або інверсному вигляді всі змінні заданої множини М.

 

Для множини М={x₁, …, x_n} довільну констітуенту нуля можна представити у вигляді ₁ Ú ₂ Ú… Ú _n, де _і дорівнює х_і або , і=1, 2,..., n.

Визначною властивістю констітуент нуля є те, що для будь-якої констітуенти нуля R= ₁ Ú ₂ Ú_… Ú _n існує один і тільки один відповідний даній констітуенті набір b=(b₁,…,b_n) значень змінних x₁, …, x_n, на якому дана констітуента приймає значення 0.

 

Розглянемо приклад констітуент нуля (для M={x₁, x₂, x₃}) ₁Úx₂Ú _3, x₁Ú ₂Ú _3, якi приймають значення 0 на наступних наборах:

‒ ₁Úx₂Ú ₃ – на наборі (1,0,1);

‒ x₁Ú ₂Ú ₃ – на наборі (0,1,1).

Досконалою КНФ (ДКНФ) називають КНФ, у якої всі елементарні диз’юнкції, із яких вона складається, є констітуентами нуля.

 

Наприклад, для M={x₁, x₂, x₃}:

- досконалою КНФ буде вираз (x₁Ú ₂Ú ₃)( ₁Úx₂ Ú ₃)( ₁Ú ₂Úx₃);

- вираз (x_{1 2})(x_{2 3})( ₁Ú ₂Úx₃) є тiльки КНФ, а не ДКНФ.

 

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

Крок 1.Обираємо з таблиці ті набори значень двійкових змінних, на яких дана булева функцiя приймає значення 0.

Крок 2. Записуємо відповідні вказаним наборам констітуенти 0.

Крок 3. Об’єднуємо отримані констітуенти 0 знаками кон’юнкції.

 

Наведемо пояснювальний приклад.

Нехай булеву функцiю задано наступною таблицею істинності:

 

Х	Y	Z	F(х, y, z)

 

 

Знайдемо ДКНФ, яка дорiвнює заданiй булевiй функцiї:

f(x,y,z)=(x y z)(x y )( y )

Існує алгоритм знаходження для визначеної булевої функцiї, що задана аналітично, тотожно рiвної ДКНФ

Алгоритм, який дозволяє для будь-якого виразу булевої алгебри знайти ДКНФ, яка тотожно дорiвнює йому, наведено нижче.

Етап 1. Приводимо довільний вираз булевої алгебри до КНФ.

Етап 2. Доки не всі елементарні диз’юнкції, що входять до КНФ, є констітуентами нуля, здiйснюємо наведенi нижче дії.

Крок 2_1. Обираємо елементарну диз’юнкцію q, яка входить до КНФ, та яка не містить в собі деякої зi змінних х_i (i= 1,…,n), від яких залежить булева функцiя.

Крок 2_2. У КНФ замінюємо диз’юнкцію q виразом, який дорівнює їй у силу наступних тотожностей: g = gÚx _i = (gÚx_i)(gÚ _i)

 

Наведемо пояснювальний приклад, в якому потрібно привести до ДКНФ вираз f(x, y, z) = (x Ú z):

f(x, y, z) = (x Ú z) = ()(x Ú z) = ( Ú )(x Ú z) =

= ( Ú y )(x Ú z)(x Ú y Ú z) =

= ( Ú y)( Ú )(x Ú Ú z)( Ú Ú z)(x Ú y Ú z)(x v v z).