Контрольная Дискретная математика. Вариант 6, номер: 288016

Вариант №6
1. Построить таблицу значений функции алгебры логики:
f(x,y,z)=(x→(y⊕z ̅ ) )|(y→(x⊕z) )
Найти все существенные переменные,
2. Проверить выполнение следующего соотношения:
(x⊕(yz) )=(x⊕y)(x⊕z)
3. Построить полином Жегалкина функции f(x,y,z)=xy ̅z(x⊕yz ̅ )
4. Найти совершенную дизъюнктивную и совершенную конъюнктивную нормальные формы функции алгебры логики f(x,y,z)=(0,1,1,0,1,0,0,1)
5. Задана совершенная конъюнктивная нормальная форма функции алгебры логики:
f(x_1,x_2,x_3 )=(x_1 " " x_2 " " x ̅_3 )(x ̅_1 " " x_2 " " x ̅_3 )(x_1 " " x ̅_2 " " x_3 )(x_1 " " x_2 " " x_3 )(x ̅_1 " " x ̅_2 " " x_3 )(x ̅_1 " " x ̅_2 " " x ̅_3 )
Найти все ее тупиковые конъюнктивные нормальные формы и выбрать из них минимальную.
6. С помощью карт Карнау найти МДНФ и МКНФ функции
f(x,y,z,t)=(0,1,0,1,0,1,0,0,1,1,0,1,1,0,0,0)