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

Штрих Шеффера

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

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

. . . логические операции отрицание конъюнкции (штрих шеффера)