Question

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

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

Answer 1

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