Теорема о представлении любой булевой функции в виде СКНФ
Пример:
Доказательство : рассмотрим произвольный набор значений переменных
1) Левая часть равенства равна 1. Покажем, что и правая часть равна единице. Рассмотрим произвольный множитель правой части Поэтому 2) Пусть В силу того, что (т. к.
Теорема о разложении булевой функции по первым k переменным . Для любой булевой функции f(x1…xn) тождественно выполнено : Доказательство. Рассмотрим произвольный набор В правой части множитель, в котором
Тогда все произведение есть ЗамечаниеИспользуя понятие двойственности, можно показать справедливость предыдущих утверждений о КНФ непосредственным сведением к утверждениям о ДНФ. В разделе о суперпозиции функций будет приведено данное доказательство. Определение : Полиномом Жегалкина называется сумма по модулю 2 (+) некоторого количества слагаемых, где каждое слагаемое есть элементарная конъюнкция переменных без отрицания. Пример: 1+x1x2+x3+x1x4x5 Полином Жегалкина, не содержащий ни одного слагаемого, равен 0. Далее будем рассматривать так называемые приведенные полиномы Жегалкина, т.е. полиномы, в которых все слагаемые различные конъюнкции. Например 1+x1x2+x3+x1x4x5 (нет двух одинаковых слагаемых). Если некоторые слагаемые повторяются, то используя правило x+x=0, нетрудно привести любой полином к приведенному виду. Например x1x2+x3+x1x2+x1x4x5+x3=x1x4x5 Если слагаемое повторяется нечетное количество раз, то оставляем его в единственном экземпляре. 1.4 Утверждение о представлении двоичной функции в виде полинома Жегалкина . Для любой булевой функции существует представление в виде полинома Жегалкина и это представление единственно. Доказательство: Пример 1:
Первая часть теоремы следует из теоремы о представлении булевой функции в виде СДНФ. А именно рассмотрим для булевой функции ее СДНФ. Далее операцию
После чего операцию
Покажем, что полученный полином единственен с точностью до перестановки слагаемых и множителей в слагаемых полинома. Допустим противное :
Из этих равенств следует,что
прибавим к обеим частям равенства
В силу того, что Далее рассмотрим слагаемое полинома
Упражнение: найдите полином Жегалкина следующих функций : 1) 2) 3) Упражнение Покажите справедливость формулы для любой двоичной функции f справедливо разложение
Т.е в формуле представления функции в виде СДНФ можно заменить логическое суммирование на суммирование по модуля 2. Определение Пусть Рассмотрим декартово произведение Определение Отношением эквивалентности 1. Рефлексивность. 2. Симметричность. 3. Транзитивность.
Популярное: Генезис конфликтологии как науки в древней Греции: Для уяснения предыстории конфликтологии существенное значение имеет обращение к античной... Почему человек чувствует себя несчастным?: Для начала определим, что такое несчастье. Несчастьем мы будем считать психологическое состояние... Как вы ведете себя при стрессе?: Вы можете самостоятельно управлять стрессом! Каждый из нас имеет право и возможность уменьшить его воздействие на нас... ![]() ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (1263)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |