М етод минимизирующих карт.

Пусть задана формула своей СДНФ:

XYZXYZXYZ.

Составим таблицу следующим образом:

1. отведем три столбца для значений переменных, столбцы для значений формулы;

2. в первых трех столбцах приведем все возможные наборы переменных;

3. в столбцах для конъюнкций будем ставить десятичные эквиваленты двоичных чисел, соответствующих наборам значений переменных; например, в столбце для конъюнкции XY при X=0 и Y=0 ставим 0; при X=0 и Y=1 – 1; при X=1 и Y=0 – 2; при X=1 и Y=1 – 3 и т. д.;

   X	Y	Z	XY	XZ	YZ	XYZ	Значение формулы
   0	0	0	0	0	0	0	0
   0	0	1	0	1	1	1	0
   0	1	0	1	0	2	2	1
   0	1	1	1	1	3	3	0
   1	0	0	2	2	0	4	1
   1	0	1	2	3	1	5	0
   1	1	0	3	2	2	6	1
   1	1	1	3	3	3	7	0

4. вычеркиваем строки, где значение формулы равно 0;

5. в оставшихся строках вычеркиваем числа, которые вычеркнуты в том же столбце в предыдущей операции;

6. из каждой невычеркнутой строки выбираем наименьшие по числу компонентов конъюнкции. В таблице они обведены кружочками.

Получаем

YZXZXZYZXZYZ(XY)Z.

Соответствующая схема: