Используя законы преобразования логических выражений упростите логическое выражение:

F = ¬(X \/ (Y → Z)) → Y

=(А+Ā)^(A+B)= 1^(A+B)=A+B