1_Algebra_logiki
.pdfПолиномы
Полином Жегалкина
Теорема
Любую булеву функцию можно представить полиномом Жегалкина единственным образом.
Доказательство
1. Существование.
Åñëè f(x1; : : : ; xn) = 0 ) задающий ее полином константа 0. Пусть f(x1; : : : ; xn) 6= 0
|
|
|
W n |
1 |
n |
||
f(x1; : : : ; xn) = |
f( 1 |
x1 |
xn |
= |
|||
( 1 |
;:::; n) |
||||||
f( 1 Ln |
|
;:::; )=1 |
|
|
|
||
(x1 |
1 1):::( xn n |
1 ) 1 1 |
|||||
( ;:::; n) |
|||||||
1;:::; )=1 |
|
|
|
|
|
|
) для каждой булевой функции f(x1; : : : ; xn) найдется задающий ее полином.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
23 / 50 |
Полиномы
Полином Жегалкина
Доказательство
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Каждая переменная может входить или не входить в произведение.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Каждая переменная может входить или не входить в произведение.
Åñëè |
â |
произведение |
|
íå |
входит |
íè |
îäíà |
переменная, |
òî |
åìó |
соответствует константа 1
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Всего всевозможныех произведения булевых переменных (x1 xn) 2n
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Всего всевозможныех произведения булевых переменных (x1 xn) 2n
Каджому полиному соответствует подмножество из произведений
)
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Всего всевозможныех произведения булевых переменных (x1 xn) 2n
Каджому полиному соответствует подмножество из произведений
)
Всевозможных полиномов 22n
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Всего всевозможныех произведения булевых переменных (x1 xn) 2n
Каджому полиному соответствует подмножество из произведений
)
|
2n |
|
Всевозможных полиномов 2 |
|
|
2n |
|
|
каждая функция может быть представлена полиномом |
||
2 число булевых функций от n переменных |
|
Николаева Екатерина Александровна (ТГУ) |
Алгебра логики |
24 / 50 |
Полиномы
Полином Жегалкина
Доказательство
2. Единственность.
Всего всевозможныех произведения булевых переменных (x1 xn) 2n
Каджому полиному соответствует подмножество из произведений
)
|
|
2n |
|
|
Всевозможных полиномов 2 |
|
) |
||
2n |
|
|
||
каждая функция может быть представлена полиномом |
||||
2 число булевых функций от n переменных |
|
|||
каждая булева функция представима полиномом Жегалкина |
||||
единственным образом |
|
|
|
|
|
|
|
|
|
Николаева Екатерина Александровна (ТГУ) |
|
Алгебра логики |
|
24 / 50 |