$$\large{\displaylines{\begin{array}{c|c|c} \color{#ff7800}p & \color{#ff7800}\downarrow & \color{#ff7800}q \\ \hline 0 & 1 & 0 \\ \hline 0 & 0 & 1 \\ \hline 1 & 0 & 0 \\ \hline 1 & 0 & 1\end{array}}}$$

Стрелка Пирса

«ИЛИ-НЕ», отрицание дизъюнкции

Бинарная операция, которая даёт истину только тогда, когда суждения являются ложными одновременно
Обозначается символами: $\downarrow, \ \mathrm{NOR}$
$$p \downarrow q$$
Может быть выражена через логическое отрицание и дизъюнкцию
$$\neg(p \lor q)$$
Образует базис для пространства булевых функций от двух переменных
$$\neg p \leftrightarrow p \downarrow p$$
$$p \land q \leftrightarrow (p \downarrow p) \downarrow (q \downarrow q)$$
$$p \lor q \leftrightarrow (p \downarrow q) \downarrow (p \downarrow q)$$

. . . логические операции отрицание дизъюнкции (стрелка пирса)