 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Лемма о несамодвойственной функции. Подстановкой функций и в несамодвойственную функцию можно получить одну из констант
|
|
Подстановкой функций 
и 
в несамодвойственную функцию можно получить одну из констант.
Доказательство. Пусть 
– несамодвойственная функция. Тогда существует набор 
, для которого 
. Построим функцию 
, заменив единицы в 
на 
, а нули – на . Так как 
, то 
. Заметим, что 
.
Тогда 
, т.е. 
. Следовательно, функция есть одна из констант.
2.4.4 Разложение булевой функции по переменным
Обозначим xs = 
Посмотрим, чему равно xs при разных значениях x и s.
| x\s | ||
Из таблицы следует: xs =1 тогда и только тогда, когда x = s.
Дата публикования: 2014-10-20; Прочитано: 585 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
