Метод Квайна-Мак-Класки.

Представляет собой улучшенную версию предыдущего метода.

Рассмотрим данный метод на примере преобразования функции

На первом шаге заменим отрицания нулями, обычные переменные единицами:

На втором шаге перегруппируем логические функции. Номер группы будет соответствовать количеству единиц в терме (табл. 1):

Таблица 1.

Номер группы
	0011, 0101
	0111, 1110

На третьем шаге склеиваются соседние строки таблицы 1, в которых различается ровно 1 элемент. Отличные элементы обозначим '*'. Склеившиеся номера обозначаем цветом. Перестроим таблицу. Результат показан в таблице 2.

Таблица 2.

Номер группы
	00*1, 0*01
	0*11, 01*1
	*111, 111*

Производим аналогичное склеивание в таблице 2. Сравнивать термы можно только в том случае, если у них ”*” находятся в одинаковых позициях. Результат показан в таблице 3.

Таблица 3.

Номер группы
	0**1

Неотмеченные после склеивания номера являются простыми импликантами:

*111, 111*, 0**1.

Далее строим импликантную матрицу для получения минимальной логической функции:

Простые импликанты	Члены СДНФ
	x	x	x	x
				x		x
					x	x

По таблице определяем совокупность простых импликант: 0**1 и 111*, и соответствующую им минимальную ДНФ:

Таким образом,

Дата добавления: 2015-07-16