Стождественных преобразований максимально следующую логическую операцию:
f=xvне(x-> y)& не(z)& не(y)vне(y& не(x& z)) ​

F = X ∨ ¬Y

Объяснение:

F = X v ¬(X -> Y) & ¬(Z) & ¬(Y) v ¬(Y & ¬(X & Z)) ​

Заменим знаки операций более привычными и тогда будет проще.

F = X + ¬(X -> Y) * ¬Z * ¬Y + ¬(Y * ¬(X * Z))

Операцию импликации замени эквивалентом

​F = X + (¬X + Y) * ¬Z * ¬Y + ¬(Y * ¬(X * Z))

Выражение (¬X + Y) * ¬Z * ¬Y равно ¬X * ¬Y * ¬Z из-за Y * ¬Y = 0.

К выражению  ¬(Y * ¬(X * Z)) применим правило де-Моргана:

¬Y + X*Z. Получаем

F = X + ¬X * ¬Y * ¬Z + ¬Y + X*Z;

X + X * Z = X(1 + Z) = X, тогда

F = X + ¬Y * (¬X * ¬Z + 1) = Х + ¬Y, или в прежних обозначениях

F = X ∨ ¬Y