8
правок
Изменения
КНФ
,Нет описания правки
}}
Пример КНФ:
<tex>f(x,y) = (x \lor y) \land (y \lor \neg z)</tex>
{{Определение
}}
Пример СКНФ:
<tex>f(x,y,z) = (x \lor \neg y \lor z) \land (x\lor y \lor \neg z)</tex>
==Алгоритм построения СКНФ по таблице истинности==
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <tex> x ↓ $\downarrow$ y = (\neg x \lor y) \land (x \lor \neg y) \land (\neg x \lor \neg y)</tex>
Медиана трёх: <tex>f(x,y,z) = ( x \lor y \lor z) \land (\neg x \lor y \lor z) \land (x \lor \neg y \lor z) \land ( x \lor y \lor \neg z)</tex>
