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