Минимизация логических функций методом Куайна – МакКласки (Quine McCluskey).

 Минимизируем функцию четырёх переменных F (a, b, c, d), заданную таблицей истинности.

1. Сгруппируем минтермы по количеству единиц в них:

2. Произведём первое объединение строк каждых предыдущих и последующих групп:

	3. Объединим строки с совпадающими позициями "крестиков":

4. Из двух строк с одинаковыми значениями переменных оставляем только одну (любую):

5. Обратим внимание на то, что первый минтерм избыточен, так как 0-я и 4-я строки уже вошли в комбинацию со 2-ой и 6-ой (второй минтерм), а 1-я и 5-я - с 9-ой и 13-ой соответственно (третий минтерм). Пятый минтерм также избыточен, так как 4-я; 5-я; 12-я и 13-я строки уже сгруппированы с 6-ой и 0-ой (четвёртый и второй минтермы); с 13-ой (третий минтерм); с 14-ой (четвёртый минтерм) и с 5-ой (третий минтерм) соответственно. Поэтому удаляем первую и пятую строки из таблицы и записываем минимальную

Окончательно: F(a, b, c, d)= a'd'+ c'd+ bd'.