Булева алгебра

[AloneIn]

Помогите найти ошибку
Нужно найти Тупиковую ДНФ эквив. преобразованиями
$y \downarrow z \to p \vee \overline{x} \sim x \oplus y / z \downarrow x \Leftarrow yp$ =
$\overline{y \vee z} \to p \vee \neg x \sim x \oplus (\overline{y} \vee \overline{z}) \downarrow x \Leftarrow yp$ =
$(y \vee z)p \vee \overline{x} \sim x \oplus \overline{x}yz \Leftarrow yp$ =
$yp \vee zp \vee \overline{x} \sim \overline{x}yz \vee x \vee x\overline{y} \vee x\overline{z} \Leftarrow yp$ =
$yp \vee zp \vee \overline{x} \sim \overline{x}yz \vee x \Leftarrow yp$ =
$yp \vee zp \vee \overline{x} \sim \overline{x}yz \vee x \vee \overline{y} \vee \overline{p}$ =
$(yp \vee zp \vee \overline{x} )\wedge(\overline{x}yz \vee x \vee \overline{y} \vee \overline{p}) \vee \overline{(yp \vee zp \vee \overline{x} )}\wedge\overline{(\overline{x}yz \vee x \vee \overline{y} \vee \overline{p})}$ =
$\overline{x}yzp \vee xyp \vee xzp \vee \overline{y}zp \vee \overline{x}yz \vee \overline{x}\overline{y} \vee \overline{x}\overline{p} \vee \overline{x}y\overline{z}p(x\overline{y}\overline{z} \vee x\overline{y}\overline{p} \vee x\overline{z}\overline{p} \vee x\overline{p})$ =
$\overline{x}yzp \vee xyp \vee xzp \vee \overline{y}zp \vee \overline{x}yz \vee \overline{x}\overline{y} \vee \overline{x}\overline{p} \vee 0$ =
$\overline{x}yzp \vee xyp \vee xzp \vee \overline{y}zp \vee \overline{x}yz \vee \overline{x}\overline{y} \vee \overline{x}\overline{p}$
в последних 3-х строчках отрицание "отдельно" над каждой переменной.

[Профессор Снэйп]

При чём здесь булева алгебра?

[AloneIn]

А где же она должна быть?

[Профессор Снэйп]

А с чего Вы взяли, что она вообще должна быть?

[AloneIn]

То есть к математике( конкретно - дискретной) это не относится?

[Профессор Снэйп]

Дискретная математика $\neq$ теория булевых алгебр.