от ДНФ к СДНФ

[GorDan]

Здравствуйте, подскажите пожалуйсто, как переходить от ДНФ к СДНФ. Табличный метод не действует, т.к. не ясно, где конъюнкции принимают значения 1. Вроде нужно как-то через разложение Шеннона, а как... не пойму. Обьясните пожалуйсто по пальцам (для особо одаренных:)), plz.

PS: если можете, обьсните все это на примере, который сейчас выложу.

[Sensile]

GorDan
Добавляете в каждую конъюнкцию дизъюнкцию той переменной и ее отрицания, которой там не хватает. Затем раскрываете скобки и освобождаетесь от повторяющихся слагаемых, если таковые будут.
Например, в первое дизъюнктивное слагаемое надо добавить множителем $x_3\vee\bar x_3$ (оно тогда примет вид $x_1x_2(x_3\vee\bar x_3)x_4$)

[нг]

[mod] GorDan
На форуме принято записывать формулы, используя нотацию ($\TeX$; введение, справка).

Пожалуйста, исправьте и сообщите модератору (ЛС).[/mod]