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