Алгоритм:
1. Получить СДНФ.
2. Получить сокращенную ДНФ (СкДНФ), используя следующие равносильности:
— неполное склеивание;
— поглощение.
3. Построить импликантную матрицу, с помощью которой получить МДНФ.
Пример.
1. — ДНФ
— СДНФ
1 2 3 4 5 6
2. Применяя операции склеивания, получаем СкДНФ.
1-2: |
|
1-5: |
|
2-3: |
|
3-4: |
|
4-6: |
|
5-6: |
3. Импликантная матрица
+ |
+ |
|||||
+ |
+ |
|||||
+ |
+ |
|||||
+ |
+ |
|||||
+ |
+ |
|||||
+ |
+ |
Выбираем импликанты, которые поглощают все конституенты единицы.