Проверить многочлен Жегалкина.

[rar]

Дана булева функция:

$$\tilde f=10010001$$

Находим её СДНФ:

$$f(x_1,x_2,x_3)=\bar x_1\bar x_2\bar x_3\vee\bar x_1x_2x_3\vee x_1x_2x_3$$

Многочлен Жегалкина для этой функции получился такой:

$$x_3\oplus x_1x_3\oplus x_1x_2x_3$$

Правильно?

Дело в том, что на первом наборе (000) функция обращается в 1. А полученный мною многочлен Жегалкина на этом же наборе равен 0. В чем-то ошибка.

[luitzen]

Все одночлены, присутствующие в Вашем, присутствуют и в правильном. Плюс ещё столько же и ещё один .

[AD]

rar в сообщении #223146 писал(а):

Правильно?

Дело в том, что на первом наборе (000) функция обращается в 1. А полученный мною многочлен Жегалкина на этом же наборе равен 0. В чем-то ошибка.

Вы сами ответили на свой вопрос. А указать ошибку мы Вам не можем, потому что не знаем, что Вы делали.

Ну процедура построения полинома Жегалкина совершенно стандартна, и вряд ли там будет что-то кроме арифметических ошибок.

[rar]

Спасибо. Действительно была ошибка при нахождении многочлена Жегалкина. Исправил и все встало на свои места.

[AD]

Не за что