Используя метод Квайна – Мак-Класки необходимо найти МНДФ функции

Составим таблицу истинности, по которой запишем все минтермы.
x1
x2
x3
x4
f
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 1
0 1 1 1 0
1 0 0 0 1
1 0 0 1 1
1 0 1 0 1
1 0 1 1 0
1 1 0 0 1
1 1 0 1 1
1 1 1 0 0
1 1 1 1 0
Запишем i-группы двоичных номеров . Признаком образования i - й группы является i единиц в двоичном номере единичной строки.
0-группа: -
1- группа: 0001, 1000
2- группа: 0011, 0110, 1001, 1010, 1100
3-группа: 1101
4- группа: -
Сравним и склеим группы с номерами i и i+1, в результате чего получим:
1- группа: 00_1, 10_0
2- группа: 0110, 1_01, 110_
Дальнейшее склеивание невозможно.
Составим таблицу и найдем покрытие:
Простые импликанты Исходные минтермы
0001 1000 0011 0110 1001 1010 1100 1101
00_1 *
*
10_0
*
*
1_01
*
*
110_
* *
Так как теперь в каждой строке по одной метке *, то все минтермы 3 ранга существенные.
Минимальная ДНФ:
fx1;x2;x3;x4=x1x2x3x4∨x1x2x4∨x1x2x4∨x1x3x4∨x1x2x3.