Многочлен Жегалкина. Таблица истинности. Эквивалентность формул
Построить таблицы
соответствующих функций и выяснить, эквивалентны ли формулы и .
а)
Составим таблицу истинности для функции U:
x
|
y
|
z
|
отрицание
x
|
отрицание
у
|
дизъюк
ция
|
конъюнк
ция
|
имплика
ция
|
импликация
|
()
импликация
|
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
|
импликация
|
отрицание
у
|
отрицание
x
|
импликация
|
импликация
|
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 эквивалентны.
б)
Составим таблицу истинности для функции U:
x
|
y
|
z
|
отрицание
x
|
отрицание
у
|
конъюнкция
|
отрица
ние z
|
конъюнк
ция
|
имплика
ция
|
импликация
|
импликация
|
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
|
импликация
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|
Мы получили формулу U(11001111).
Составим таблицу истинности для функции V:
x
|
y
|
z
|
отрицание z
|
импликация
|
конъюнкция
|
отрицание конъюнкции
|
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
|
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 неэквивалентны.
в)
Составим таблицу истинности для функции U:
x
|
y
|
z
|
отрицание
z
|
эквивалентность
|
импликация
|
импликация
|
отрицание
импликации
|
Сумма
по модулю 2
|
дизъюнкция
|
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
|
импликация
|
эквивалентность
|
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 неэквивалентны.
Методом
неопределенных коэффициентов построить полином Жегалкина для следующих функций.
а)
Сначала составим таблицу истинности для функции
x
|
y
|
z
|
отрицание
x
|
отрицание
у
|
конъюнкция
|
дизъюнкция
|
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
|
Полином
Жегалкина для нее представляется в виде:
Последовательно подставляя значения переменных из
таблицы, получаем:
Следовательно функция представляется полиномом Жегалкина как .
б)
Сначала составим таблицу истинности для функции .
x
|
y
|
z
|
конъюнкция
|
импликация
|
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
|
Полином Жегалкина для нее представляется в виде:
Последовательно подставляя значения переменных из
таблицы, получаем:
Следовательно функция представляется полиномом Жегалкина как .