Используя таблицу истинности и аналитические преобразования

Составим таблицы истинности для функций
x
y
z
y z x | (y z)
0 0 0 0 1
0 0 1 1 1
0 1 0 1 1
0 1 1 0 1
1 0 0 0 1
1 0 1 1 0
1 1 0 1 0
1 1 1 0 1
x
y
z
x |y
x|z
(x |y) (x|z)
0 0 0 1 1 0
0 0 1 1 1 0
0 1 0 1 1 0
0 1 1 1 1 0
1 0 0 1 1 0
1 0 1 1 0 1
1 1 0 0 1 1
1 1 1 0 0 0

Так как значения не совпадают, то функции не эквивалентны.
Преобразуем функции:
xy z=xy z∨y z=x∨y z∨y z=xy z&y z=
=xy∨z&y∨z=xyy∨yz∨zy∨zz=xyz∨xyz.
x y xz=x∨y x∨z=x∨y x z∨ x y x∨z=
=x∨yx z∨x yx∨z=xy z∨x yz.
Аналитически так же видно, что xyz∨xzy≠xy z∨x yz.
2