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

Алгоритм:

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

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

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

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

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

Пример.

1. - ДНФ

- СДНФ

1 2 3 4 5 6

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

1-2:
1-5:
2-3:
3-4:
4-6:
5-6:

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

	+	+
	+				+
		+	+
			+	+
				+		+
					+	+

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