I этап :

II этап :

I этап: и, и переименуем все их переменные в:и:

X	f0	f1
0	1	1,0
1	1,0	0

Теперь имеем четыре возможных случая в зависимости от значений функций ив 1 и в 0 соответственно.

1)

2)

3)

4)

Простейшими окажутся 1) и 4).

Рассмотрим 1) и 4) случаи.

1 случай :

X	f0	f1
0	1	1
1	1	0

т.е .

4 случай :

X	f0	f1
0	1	0
1	0	0

т.е .

Остались 2) и 3)

2 случай :

X	f0	f1
0	1	0
1	1	0

т.е .

Построим вывод :

.

M , следовательно по определению существует пара наборов (нижний строго больше верхнего), а значение функции наоборот :

Разобьем множество переменных на два множестваи.

- переменные, которые не изменяются в двух данных наборах, а - все остальные переменные:

И теперь все переменные множества переименнуем вx , а во все переменные множестваподставим соответствующие константы :

.

Тогда полученная функция одного аргумента в нуле будет равна значению первоначальной функции на верхнем наборе, т.е. единице, а в единице равна значению первоначальной функции на нижнем наборе, т.е. нулю. Это и есть..

Например, пусть наборы были:

X1	x2	X3	x4	x5	fM
0	1	0	1	0	1
1	1	0	1	1	0

3 Случай :

X	f0	f1
0	1	1
1	0	0

т.е .

Построим вывод :

Пусть и пара противоположных наборов, на которых значение функции одно и то же, и равно, для определенности нулю:.

Разобьем множество всех переменных на две группы. В первую отнесем все переменные, которые равны нулю в первом наборе, во вторую, которые равны единице в первом наборе:

Теперь в переменные подставимx, а в подставим:.

Нетрудно видеть, что полученная функция есть константа 0, т.к. данная функция в нуле равна значению первоначальной функции на первом наборе, т.е. нулю, а в единице равна значению первоначальной функции на втором наборе, т.е. нулю. Константу 1 получим подстановкой 0 в функцию .

Например, пусть пара противоположных наборов, на которых равна нулю, имеют вид :

X1	x2	X3	x4	x5	f
0	1	1	0	1	0
1	0	0	1	0	0

Тогда .

Iый этап завершен.