Изменения
КНФ
,→СКНФ
Найдём инверсию левой и правой части выражения:
<tex> f(\vec x) = \neg({\bigvee\limits_{f(x^{\sigma_{1}}, x^{\sigma_{2}}, ... ,x^{\sigma_{n}}) = 0} (x_{1}^{\sigma_{1}} \wedge x_{2}^{\sigma_{2}} \wedge ... \wedge x_{n}^{\sigma_{n}})} ) </tex>
Применяя дважды к полученному в правой части выражению правило де Моргана, получаем:
