Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

1_Algebra_logiki

.pdf
Скачиваний:
19
Добавлен:
30.05.2015
Размер:
2.36 Mб
Скачать

Полиномы

Полином Жегалкина

Теорема

Любую булеву функцию можно представить полиномом Жегалкина единственным образом.

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

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