3. Составляется таблица 3 минимального покрытия. Если минтерм содержит простой импликант, то на пересечении соответствующих им строк и столбцов ставится метка.

Простые импликанты	Исходные минтермы
	x2	x1	x2 x3	x1 x3	x1x2 x3
x2	*		*
x1		*		*
x1x2 x3					*

В каждом столбце есть только одна метка, поэтому все  первичные импликанты являются существенными импликатами. Все они переходят в аналитический вид функции.

Ответ. f (x_{1 ,} x₂ ,x₃)= x₂  x_1,x₂ x₃ x₁ – минимальная дизъюнктивная нормальная форма.

Задача 7. Используя метод Квайна – Мак — Класки найти МДНФ функции f(x_1,x₂,x₃х₄), принимающей значение 1 на наборах:  0,1,2,3,4,5,6,7,8,9,11,15.

x1	x2	x3	x4	f
0	0	0	0	1
0	0	0	1	1
0	0	1	0	1
0	0	1	1	1
0	1	0	0	1
0	1	0	1	1
0	1	1	0	1
0	1	1	1	1
1	0	0	0	1
1	0	0	1	1
1	0	1	0	0
1	0	1	1	1
1 .	1	0	0	0
1	1	0	1	0
1	1	1	0	0
1	1	1	1	1

Решение.

1.Составим таблицу истинности:

2. Запишем i-группы двоичных номеров. Признаком образования i - й группы является i единиц в двоичном номере единичной строки.

0- группа: 0000

1- группа: 0001, 0010, 0100.1000

2- группа: 0011, 0101, 0110,1001

3-группа: 0111,1011

4- группа: 1111

3. Сравним и склеим группы с номерами i и i+1, в результате чего получим :

0- группа: 000-, 00-0, 0-00, -000

1-группа: 00-1, 0-01, -001, 001-, 0-10, 010-,01-0, 100-

2- группа: 0-11, -011, 01 -1, 011 -, 10-1

3-группа:-111,1-11

4. Сравним и склеим (при этом прочерки должны быть на одинаковых позициях):

0- группа: 00-, 0-0-, -00-

1- группа: 0-1, -0-1, 0-1-, 01- -

2- группа: --11

5 Сравним и склеим:

0- группа: 0---

6. Составим таблицу и найдем покрытие:

Простые импликанты	Исходные минтермы
	0000	0001	0010	0011	0100	0101	0110	0111	1000	1001	1011	1111
0---	*	*	*	*	*	*	*	*
-00-									*	*
-0-1										*	*
--11											*	*