Определить являются ли формулы f и g эквивалентными

Заметим, что две формулы являются эквивалентными, если они задают одну и ту же функцию. Для выяснения эквивалентности формул, построим таблицы истинности для формулы f и для формулы g.
Таблица истинности для формулы f:
x y z z─>y x~z zVy x~y (z─>y)─>(x~z) (zVy)│(x~y) f
0 0 0 1 1 0 1 1 1 1
0 0 1 0 0 1 1 1 0 0
0 1 0 1 1 1 0 1 1 1
0 1 1 1 0 1 0 0 1 1
1 0 0 1 0 0 0 0 1 1
1 0 1 0 1 1 0 1 1 1
1 1 0 1 0 1 1 0 0 1
1 1 1 1 1 1 1 1 0 0
Построим таблицу истинности для формулы g.
x y z yVx x+z z~x y&x (yVx)│(x+z) (z~x)+(y&x) g
0 0 0 0 0 1 0 1 1 1
0 0 1 0 1 0 0 1 0 0
0 1 0 1 0 1 0 1 1 1
0 1 1 1 1 0 0 0 0 1
1 0 0 1 1 0 0 0 0 1
1 0 1 1 0 1 0 1 1 1
1 1 0 1 1 0 1 0 1 1
1 1 1 1 0 1 1 1 0 0
Исходя из полученных результатов в таблицах истинности можно сделать вывод, что формулы f и g задают одну и ту же функцию
f(x, y z)=g(x, y, z)=(1011 1110)