Пусть f (x 1,..., x n) L.
Возьмем полином Жегалкина R для f. Так как f - это нелинейная функция, то в полиноме R содержится слагаемое, включающее произведение некоторых двух переменных. Без ограничения общности можно считать, что такое произведение содержит вхождения переменных x 1и x 2.
(Если все произведения двух и большего числа переменных не содержат одновременно эти переменные, то необходимо произвести соответствующее переименование переменных в f, используя подстановки переменных вместо переменных функции.)
Сгруппируем слагаемые в R и, вынося переменные x 1 и x 2 за скобки, представим его в виде
(1).
Здесь полином R 1 содержит хотя бы одно ненулевое слагаемое и поэтому представляет булевскую функцию, отличную от тождественного нуля.
Пусть . Подставим вместо переменных x 3,..., x n конкретные значения . Тогда имеет место равенство:
= (2)
Здесь и .
Заменим x 1 на x 1 + b и х2 на x2 +a. При этом, если a или b, равно нулю, то соответствующая переменная не заменяется. В противном случае соответствующая переменная заменяется на отрицание этой переменной.
|
|
В результате такой замены выражение (2) преобразуется к виду
. (3)
Если , то функция x 1& x 2уже получена.
В противном случае применим отрицание к функции вида (3) и также получим x 1& x 2.