днф

[OcbMuHor]

вот решил задачу на нахождение ДНФ. Правильно или нет? ели нет, то где ошибки?

$\[\overline {({x_1} \vee \overline {({x_1}{x_2}{x_3} \vee \overline {{x_3}} )} )} = \overline {({x_1} \vee (\overline {{x_1}{x_2}{x_3}} {x_3})} = \overline {{x_1}} \overline {(\overline {{x_1}{x_2}{x_3}} {x_3})} = \overline {{x_1}} (\overline {\overline {{x_1}{x_2}{x_3}} } \vee \overline {{x_3}} ) = \overline {{x_1}} ({x_1}{x_2}{x_3} \vee \overline {{x_3}} ) = \overline {{x_1}} {x_1}{x_2}{x_3} \vee \neg {x_1}\neg {x_3} = \neg {x_1}\neg {x_3}\]$

[Xaositect]

Верно.