Question

Упростите логическое выражение или укажите его результат(при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
((Х and (X →Y))→Y)and(X and not Y) and (Y→X)

Комментарий по поводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and, or.
Скобки используйте только для изменения порядка выполнения операций. Если порядок выполненияо операций очевиден из их приоритетов - дополнительное использование скобок считается ошибкой.
При однозначном ответе - истинный обозначается 1, ложный - 0.

Answer 1

Изменим запись на более удобную для преобразований.
$displaystyle (x(xto y)to y)xoverline y(yto x)=(x(overline x+y)to y)xoverline y(overline y+x)= \ (xyto y)(xoverline y+xoverline y)=(overline{xy}+y)xoverline y=(overline x+overline y+y)xoverline y=(overline x+1)xoverline y= \ 1cdot xoverline y=xoverline y=X,and,not, Y$