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

Составим таблицу истинности, по которой запишем все минтермы.
x1
x2
x3
x4
f
Мин
термы Термы
3 ранга
0 0 0 0 0
0 0 0 1 0
0 0 1 0 1 *x1x2x3x4* x1x2x3
0 0 1 1 1 x1x2x3x4*
0 1 0 0 1 x1x2x3x4** x1x2x3
0 1 0 1 1 **x1x2x3x4** 0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 1 *x1x2x3x4
x2x3x4
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1 **x1x2x3x4
x2x3x4
1 1 1 0 0
1 1 1 1 0
Итак, получили четыре импликаты: x1x2x3, x1x2x3, x2x3x4, x2x3x4.
Составим таблицу минимального покрытия . Если минтерм содержит простой импликант, то на пересечении соответствующих  им строк и столбцов ставится метка *.
Простые импликанты Исходные минтермы
x1x2x3x4
x1x2x3x4
x1x2x3x4
x1x2x3x4
x1x2x3x4
x1x2x3x4
x1x2x3
* *
x1x2x3
* *
x2x3x4
*
*
x2x3x4
*
*
Если в ней есть два столбца, в которых имеются метки в одинаковых строках, то один из них вычеркивается