ДНФ

[DoubleNCH]

Вот есть у нас СДНФ вида $\overline{x_1}\overline{x_2}\overline{x_3} \bigvee\overline{x_1}\overline{x_2}x_3 \bigvee \overline{x_1}x_2x_3 \bigvee x_1\overline{x_2}\overline{x_3} \bigvee x_1x_2\overline{x_3} \bigvee x_1x_2x_3$. Нужно привести ее к ТДНФ. Вот на данном рисунке её приводят, но каким образом не совсем ясно. Опираются на элементарные преобразования. То ли я их не знаю, то ли ещё что ... Разъясните.


$\overline{x_1}\overline{x_2}\overline{x_3} \bigvee\overline{x_1}\overline{x_2}x_3 \bigvee \overline{x_1}x_2x_3 \bigvee x_1\overline{x_2}\overline{x_3} \bigvee x_1x_2\overline{x_3} \bigvee x_1x_2x_3 =\overline{x_1}\overline{x_2} \bigvee x_1\overline{x_3} \bigvee x_2x_3$ но это совсем не то.