Изменения

Пример СКНФ:

<tex>f(x,y,z) = (x \lor \overline{y} \lor z) \land (x\lor y \lor \overline{z})</tex>

{{Теорема

Последнее выражение и является СКНФ. Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана.

}}

== Алгоритм построения СКНФ по таблице истинности ==

# В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.