Теорема о представлении любой булевой функции в виде СКНФ

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Пример:

x1 x2 f
0
1
1

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru


Доказательство : рассмотрим произвольный набор значений переменных Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Либо Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , либо Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

1) Левая часть равенства равна 1. Покажем, что и правая часть равна единице. Рассмотрим произвольный множитель правой части Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Значение этого множителя на наборе Теорема о представлении любой булевой функции в виде СКНФ - student2.ru равно Теорема о представлении любой булевой функции в виде СКНФ - student2.ru т.к. существует i такое, что Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , что верно в силу того, что a - набор, на котором значение f (a) = 1, а s - набор, на котором значение f(s)= 0, то есть a и s - два различных набора, а поэтому есть компонента, в которой они отличаются.

Поэтому Теорема о представлении любой булевой функции в виде СКНФ - student2.ru ; т.к. Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

2) Пусть Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Покажем, что и правая часть равна 0. Для этого достаточно показать, что существует множитель, который равен 0 на наборе a. Действительно, рассмотрим множитель соответствующий набору правой части Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , который совпадает с набором Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

В силу того, что Теорема о представлении любой булевой функции в виде СКНФ - student2.ru есть ноль функции, набор Теорема о представлении любой булевой функции в виде СКНФ - student2.ru существует. Тогда значение рассматриваемого множителя на наборе a равно Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

(т. к. Теорема о представлении любой булевой функции в виде СКНФ - student2.ru для всех i : Теорема о представлении любой булевой функции в виде СКНФ - student2.ru ). А так как существует множитель, равный 0, то и значение всей СКНФ = 0.

Теорема о разложении булевой функции по первым k переменным .

Для любой булевой функции f(x1…xn) тождественно выполнено :

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Доказательство. Рассмотрим произвольный набор Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Значение левой части есть Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

В правой части множитель, в котором Теорема о представлении любой булевой функции в виде СКНФ - student2.ru будет равен 1 в силу того, что Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , тогда Теорема о представлении любой булевой функции в виде СКНФ - student2.ru в силу того, что Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , а раз некоторое слагаемое равно 1 , вся элементарная дизъюнкция равна 1. Тогда остается один множитель Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , который равен

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Тогда все произведение есть Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Что и требовалось доказать.

ЗамечаниеИспользуя понятие двойственности, можно показать справедливость предыдущих утверждений о КНФ непосредственным сведением к утверждениям о ДНФ. В разделе о суперпозиции функций будет приведено данное доказательство.

Определение : Полиномом Жегалкина называется сумма по модулю 2 (+) некоторого количества слагаемых, где каждое слагаемое есть элементарная конъюнкция переменных без отрицания.

Пример:

1+x1x2+x3+x1x4x5

Полином Жегалкина, не содержащий ни одного слагаемого, равен 0.

Далее будем рассматривать так называемые приведенные полиномы Жегалкина, т.е. полиномы, в которых все слагаемые различные конъюнкции.

Например 1+x1x2+x3+x1x4x5 (нет двух одинаковых слагаемых).

Если некоторые слагаемые повторяются, то используя правило x+x=0, нетрудно привести любой полином к приведенному виду.

Например x1x2+x3+x1x2+x1x4x5+x3=x1x4x5

Если слагаемое повторяется нечетное количество раз, то оставляем его в единственном экземпляре.

1.4 Утверждение о представлении двоичной функции в виде полинома Жегалкина .

Для любой булевой функции существует представление в виде полинома Жегалкина и это представление единственно.

Доказательство:

Пример 1:

x1 x2 x3  
1

Первая часть теоремы следует из теоремы о представлении булевой функции в виде СДНФ. А именно рассмотрим для булевой функции ее СДНФ. Далее операцию Теорема о представлении любой булевой функции в виде СКНФ - student2.ru выразим через операцию Теорема о представлении любой булевой функции в виде СКНФ - student2.ru по правилу Де Моргана Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

После чего операцию Теорема о представлении любой булевой функции в виде СКНФ - student2.ru выразим через операцию Теорема о представлении любой булевой функции в виде СКНФ - student2.ru и приведем полученную формулу к нормальному виду полинома Жегалкина раскрыв скобки в полученном выражении, используя дистрибутивность конъюнкции по отношению к сумме по модулю два. Для функции из примера1 СДНФ имеет вид :

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Покажем, что полученный полином единственен с точностью до перестановки слагаемых и множителей в слагаемых полинома.

Допустим противное : Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , которая имеет два различных полинома Жегалкина:

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Из этих равенств следует,что

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

прибавим к обеим частям равенства Теорема о представлении любой булевой функции в виде СКНФ - student2.ru :

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

В силу того, что Теорема о представлении любой булевой функции в виде СКНФ - student2.ru и Теорема о представлении любой булевой функции в виде СКНФ - student2.ru различные полиномы Жегалкина, либо в Теорема о представлении любой булевой функции в виде СКНФ - student2.ru есть слагаемое, которого нет в Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , либо наоборот. Поэтому приведенный полином Теорема о представлении любой булевой функции в виде СКНФ - student2.ru отличен по форме от нуля Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , т.е. в этом полиноме присутствуют слагаемые, не тождественно равные нулю, и полином тождественно равен константе ноль : Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

Далее рассмотрим слагаемое полинома Теорема о представлении любой булевой функции в виде СКНФ - student2.ru , содержащее наименьшее число переменных. Теперь рассмотрим набор значений переменных, в котором переменные данного слагаемого равны 1, а все остальные переменные равны 0. Тогда, нетрудно видеть, что значение Теорема о представлении любой булевой функции в виде СКНФ - student2.ru на таком наборе равно 1 (в полиноме будет ровно 1 только одно слагаемое с наименьшим числом переменных, остальные обязательно содержат нулевой множитель, поэтому равны 0), в то время как Теорема о представлении любой булевой функции в виде СКНФ - student2.ru на всех наборах. Противоречие.

Упражнение: найдите полином Жегалкина следующих функций :

1) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru 4) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

2) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru 5) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

3) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru 6) Теорема о представлении любой булевой функции в виде СКНФ - student2.ru

Упражнение

Покажите справедливость формулы для любой двоичной функции f справедливо разложение

Теорема о представлении любой булевой функции в виде СКНФ - student2.ru л

Т.е в формуле представления функции в виде СДНФ можно заменить логическое суммирование на суммирование по модуля 2.

Определение

Пусть Теорема о представлении любой булевой функции в виде СКНФ - student2.ru – конечное множество. Отношением на данном множестве будем называть любое подмножество его декартового произведения Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

Рассмотрим декартово произведение Теорема о представлении любой булевой функции в виде СКНФ - student2.ru на себя: Теорема о представлении любой булевой функции в виде СКНФ - student2.ru . Т.е. это множество всевозможных слов из двух букв в алфавите Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

Определение

Отношением эквивалентности Теорема о представлении любой булевой функции в виде СКНФ - student2.ru называется подмножество декартового произведения, которое удовлетворяет следующих трем свойствам:

1. Рефлексивность. Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

2. Симметричность. Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

3. Транзитивность. Теорема о представлении любой булевой функции в виде СКНФ - student2.ru .

Наши рекомендации