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