8
правок
Изменения
КНФ
,Нет описания правки
<tex>f(x,y,z) = (x \lor \neg y \lor z) \land (x\lor y \lor \neg z)</tex>
{{Теорема
|statement=
Для любой булевой функции <tex>f(\vec{x})</tex>, не равной тождественной единице, существует СКНФ, ее задающая.
|proof =
Поскольку инверсия функции <tex>\neg f(\vec x)</tex> равна единице на тех наборах, на которых <tex>f(\vec x)</tex> равна нулю, то СДНФ для <tex>\neg f(\vec x)</tex> можно записать следующим образом:
}}
==Алгоритм построения СКНФ по таблице истинности==
*В таблице отмечаем наборы переменных, которые приводят логическое выражение в состояние нуля.
