8
правок
Изменения
КНФ
,Нет описания правки
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <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>
