Question

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

(notY→X)and(notX→Y)and(X↔Y)

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

Answer 1

$displaystyle (overline yto x)(overline x to y)(x equiv y)=(y+x)(x+y)(xy+overline x,overline y)= \ (x+y)(xy+overline x,overline y)=xxy+xoverline x,overline y+xyy+overline xyoverline y)=xy+0+xy+0= \ xy= X , and , Y$