Многочлен Жегалкина. Таблица истинности. Эквивалентность формул

Загрузить архив:
Файл: ref-31058.zip (44kb [zip], Скачиваний: 134) скачать
Untitled

Построить таблицы соответствующих функций и выяснить, эквивалентны ли формулы <0x01 graphic
и 0x01 graphic
.>

а) <0x01 graphic
>

<0x01 graphic
>

Составим таблицу истинности для функции U:

x

y

z

<0x01 graphic
>

отрицание

x

<0x01 graphic
>

отрицание у

<0x01 graphic
0x01 graphic
>

дизъюк ция

<0x01 graphic
0x01 graphic
>

конъюнк ция

<0x01 graphic
>

имплика ция

<0x01 graphic
>

импликация

(<0x01 graphic
0x01 graphic
)0x01 graphic
0x01 graphic
>

импликация

0

0

0

1

1

1

0

1

1

1

0

0

1

1

1

1

1

1

1

1

0

1

0

1

0

1

0

1

1

1

0

1

1

1

0

1

1

1

1

1

1

0

0

0

1

1

0

0

1

1

1

0

1

0

1

1

1

0

1

1

1

1

0

0

0

0

0

1

0

1

1

1

1

0

0

0

0

1

0

1

Мы получили формулу U(11111111).

Составим таблицу истинности для функции V:

x

y

z

<0x01 graphic
>

импликация

<0x01 graphic
>

отрицание

у

<0x01 graphic
>

отрицание

x

<0x01 graphic
>

импликация

<0x01 graphic
импликация>

0

0

0

1

1

1

1

1

0

0

1

1

1

1

1

1

0

1

0

1

0

1

1

1

0

1

1

1

0

1

1

1

1

0

0

0

1

0

0

1

1

0

1

0

1

0

0

1

1

1

0

1

0

0

1

1

1

1

1

1

0

0

1

1

Мы получили формулу V(11111111)

Сравнивая таблицы функций U и V, видим, что U = V.

Значит, формулы U и V эквивалентны.

б) <0x01 graphic
>

<0x01 graphic
>

Составим таблицу истинности для функции U:

x

y

z

<0x01 graphic
>

отрицание

x

<0x01 graphic
>

отрицание

у

<0x01 graphic
0x01 graphic
>

конъюнкция

<0x01 graphic
>

отрица

ние z

<0x01 graphic
0x01 graphic
>

конъюнк

ция

<0x01 graphic
>

имплика

ция

<0x01 graphic
>

импликация

<0x01 graphic
>

импликация

0

0

0

1

1

1

1

1

0

1

0

0

0

1

1

1

1

0

0

0

1

0

0

1

0

1

0

0

1

1

1

0

1

0

1

1

1

0

0

0

0

1

0

1

1

0

0

0

1

0

1

0

1

0

1

1

0

1

0

1

0

0

0

1

0

1

1

1

0

0

0

0

1

0

1

0

1

1

1

1

0

0

0

0

0

1

0

1

<0x01 graphic
>

импликация

1

1

0

0

1

1

1

1

Мы получили формулу U(11001111).

Составим таблицу истинности для функции V:

x

y

z

<0x01 graphic
>

отрицание z

<0x01 graphic
>

импликация

<0x01 graphic
0x01 graphic
>

конъюнкция

<0x01 graphic
>

отрицание конъюнкции

0

0

0

1

1

0

1

0

0

1

0

1

0

1

0

1

0

1

1

0

1

0

1

1

0

0

0

1

1

0

0

1

1

1

0

1

0

1

0

1

1

0

1

1

0

1

1

1

0

1

1

1

0

0

0

1

Мы получили формулу V(11110001)

Сравнивая таблицы функций U и V, видим, что U V.

Значит, формулы U и V неэквивалентны.

в) <0x01 graphic
>

<0x01 graphic
>

Составим таблицу истинности для функции U:

x

y

z

<0x01 graphic
>

отрицание z

<0x01 graphic
>

эквивалентность

<0x01 graphic
>

импликация

<0x01 graphic
импликация>

<0x01 graphic
>

отрицание импликации

<0x01 graphic
>

Сумма по модулю 2

<0x01 graphic
>

дизъюнкция

0

0

0

1

1

1

1

0

1

1

0

0

1

0

1

1

1

0

0

0

0

1

0

1

0

1

1

0

1

1

0

1

1

0

0

1

1

0

0

0

1

0

0

1

0

1

1

0

0

0

1

0

1

0

0

0

1

0

1

1

1

1

0

1

1

1

1

0

0

0

1

1

1

0

1

0

0

1

1

1

Мы получили формулу U(10100101).

Составим таблицу истинности для функции V:

x

y

z

<0x01 graphic
>

импликация

<0x01 graphic
0x01 graphic
>

эквивалентность

0

0

0

1

0

0

0

1

0

1

0

1

0

1

0

0

1

1

1

0

1

0

0

1

1

1

0

1

0

0

1

1

0

1

1

1

1

1

1

1

Мы получили формулу V(01001011)

Сравнивая таблицы функций U и V, видим, что U V.

Значит, формулы U и V неэквивалентны.

Методом неопределенных коэффициентов построить полином Жегалкина для следующих функций.

а) <0x01 graphic
>

Сначала составим таблицу истинности для функции<0x01 graphic
>

x

y

z

<0x01 graphic
>

отрицание

x

<0x01 graphic
>

отрицание

у

<0x01 graphic
0x01 graphic
>

конъюнкция

<0x01 graphic
>

дизъюнкция

0

0

0

1

1

1

1

0

0

1

1

1

1

1

0

1

0

1

0

0

0

0

1

1

1

0

0

1

1

0

0

0

1

0

0

1

0

1

0

1

0

1

1

1

0

0

0

0

0

1

1

1

0

0

0

1

Полином Жегалкина для нее представляется в виде:

<0x01 graphic
>

Последовательно подставляя значения переменных из таблицы, получаем:

<0x01 graphic
>

<0x01 graphic
>

Следовательно функция <0x01 graphic
представляется полиномом Жегалкина как 0x01 graphic
.>

б) <0x01 graphic
>

Сначала составим таблицу истинности для функции <0x01 graphic
.>

x

y

z

<0x01 graphic
>

конъюнкция

<0x01 graphic
0x01 graphic
>

импликация

0

0

0

0

1

0

0

1

0

1

0

1

0

0

1

0

1

1

0

1

1

0

0

0

1

1

0

1

1

0

1

1

0

0

1

1

1

1

1

1

Полином Жегалкина для нее представляется в виде:

<0x01 graphic
>

Последовательно подставляя значения переменных из таблицы, получаем:

<0x01 graphic
>

<0x01 graphic
>

Следовательно функция <0x01 graphic
представляется полиномом Жегалкина как 0x01 graphic
.>

5