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