Минимизация сложных высказываний методом Квайна

Алгоритм:

1.       Получить СДНФ.

2.       Получить сокращенную ДНФ (СкДНФ), используя следующие равносильности:

 — неполное склеивание;

 — поглощение.

3.       Построить импликантную матрицу, с помощью которой получить МДНФ.

Пример.

1.  — ДНФ

 — СДНФ

                                                            1       2        3        4       5          6

2. Применяя операции склеивания, получаем СкДНФ.

1-2:

1-5:

2-3:

3-4:

4-6:

5-6:

3. Импликантная матрица

+

+

+

+

+

+

+

+

+

+

+

+

Выбираем импликанты, которые поглощают все конституенты единицы.

 

Логика - доступно для всех