Упростите логическое выражение или укажите его результат \(при его однозначности\). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
\(\(A↔B\) xor \(B↔C\)) → A and not C
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно как not, and и or.