Результатом преобразования логической формулы...

Решите задачу:

$\overline{(X\to\overline Y)}\land\overline{(X\land Y)}\lor\overline{(Y\lor\overline X)}=\overline{(X\to\overline Y)}\cdot\overline{(XY)}+\overline{(Y+\overline X)}= \\ (\overline X}+\overline Y)(X+Y)+\overline YX=(\overline XY+\overline YX)+\overline YX=\overline XY+\overline YX= \\ X\oplus Y$