54
правки
Изменения
КНФ
,Нет описания правки
}}
==Алгоритм построения СКНФ по таблице истинности==
*В таблице истинности отмечаем те наборы переменных, которые приводят логическое выражение в состояние нуляна которых значение функции равно 0.*В дизъюнкцию Для каждого отмеченного набора записываем переменную без инверсии, конъюнкцию всех переменных по следующему правилу : если она в наборе равна значение некоторой переменной есть 0, и с инверсиейто в дизъюнкцию включаем саму переменную, если она равна 1иначе ее отрицание. *Полученные Все полученные дизъюнкции связываем операциями конъюнкции.
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <tex> x \downarrow y = (\overline{x} \lor y) \land (x \lor \overline{y}) \land (\overline{x} \lor \overline{y})</tex>
Медиана трёх: <tex>f(x,y,z) = ( x \lor y \lor z) \land (\overline{x} \lor y \lor z) \land (x \lor \overline{y} \lor z) \land ( x \lor y \lor \overline{z})</tex>
