Изменения

Стрелка Пирса: <tex> x \downarrow y = (\overlineneg {x} \land \overlineneg {y})</tex>

Исключающее или: <tex> x \oplus y \oplus z = (\overlineneg {x} \lor \overlineneg {y} \lor z) \land (\overlineneg {x} \lor y \lor \overlineneg {z}) \land (x \lor \overlineneg {y} \lor \overlineneg {z}) \land (x \lor y \lor z)</tex>