Привести к ДНФ и КНФ .X=y→ ┐z ˄ ┐(x→y=x v y).не удаляйте,пожалуйста это (ПричинаВ...

$x\equiv y\to\bar z\cdot\overline{x\to x\equiv y+y}= \\ x\equiv (y\to(\bar z\cdot\overline{(x\to x)\equiv (y+y)}))= \\ x\equiv (y\to(\bar z\cdot\overline{1\equiv y}))= \\ x\equiv (y\to\bar y\bar z)= \\ x\equiv (\bar y+\bar y\bar z)= \\ x\equiv (\bar y(1+\bar z))= \\ x\equiv \bar y= \\ x\bar y+y\bar x$
Таблица истинности:
$\begin{array} {c c c c c c c} {x & y & \bar x & \bar y & \bar xy & x\bar y & F & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 0 & 1 & 1 & 0 & 1 & 0 & 1 & 1 & 0 & 0 & 1 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 & 0} \end{array}$
Для построения ДНФ выписываем из таблицы истинности наборы данных, дающие 1. Переменные соединяем конъюнкцией, наборы - дизъюнкцией. Если переменная имела значение 0, инвертируем её.
$F=\bar xy+x\bar y$
Для построения КНФ выписываем из таблицы истинности наборы данных, дающие 0. Переменные соединяем дизъюнкцией, наборы - конъюнкцией. Если переменная имела значение 1, инвертируем её.
$F=(x+y)(\bar x+\bar y)$