Изменения
КНФ
,→Примеры СКНФ для некоторых функций
==Примеры СКНФ для некоторых функций==
Стрелка Пирса: <tex> x \downarrow y = (\overlineneg{x} \lor y) \land (x \lor \overlineneg{y}) \land (\overlinenege{x} \lor \overlineneg{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>
