Изменения
КНФ
,→Примеры СКНФ для некоторых функций
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <tex> x \downarrow y = (\neg{x} \lor {y}) \land ({x } \lor \neg{y}) \land (\negeneg {x} \lor \neg {y}) </tex>
Исключающее или: <tex> x \oplus y \oplus z = (\neg {x} \lor \neg {y} \lor z) \land (\neg {x} \lor y \lor \neg {z}) \land (x \lor \neg {y} \lor \neg {z}) \land (x \lor y \lor z)</tex>
