54
правки
Изменения
КНФ
,Нет описания правки
Последнее выражение и является СКНФ. Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана.
}}
==Алгоритм построения СКНФ по таблице истинности==# В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.# Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание. # Все полученные дизъюнкции связываем операциями конъюнкции.== Пример построения СКНФ==
1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.
