Проверить являются ли равносильными формулы А и В двумя способами а) составлением таблиц значений

А) Составляем таблицы истинности функций.
x y z y⊕z
A x→y
x→z
B
0 0 0 0 1 1 1 0
0 0 1 1 1 1 1 0
0 1 0 1 1 1 1 0
0 1 1 0 1 1 1 0
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 0 0 1 1 0
Функции не эквивалентны, т.к . имеют разные значения истинности на некоторых наборах.
б) Получаем СДНФ функций эквивалентными преобразованиями.
A=x→y⊕z=x→yz⋁yz=x⋁yz⋁yz=
=xyz⋁yz⋁yz⋁yz⋁x⋁xyz⋁x⋁xyz=
=xyz⋁xyz⋁xyz⋁xyz⋁xyz⋁xyz.
B=x→y⊕x→z=x⋁y⊕x⋁z=
=x⋁yx⋁z⋁x⋁yx⋁z=xyx⋁z⋁x⋁yxz=
=xyz⋁xyz.
Вывод тот же - функции не эквивалентны.