Штрих Ше́ффера, логическая операция, обычно обозначаемая $|$, которая задаётся следующей истинностной таблицей:

Таким образом, высказывание $A|B$ означает, что $A$ и $B$ несовместны, т. е. не являются истинными одновременно. Через штрих Шеффера выражаются все другие логические операции. Например, высказывание $\neg A$ (отрицание $A$) эквивалентно высказыванию $A|A$; дизъюнкция $A\lor B$ высказываний $A$ и $B$ выражается так:$$(A|A)|(B|B).$$Конъюнкция $A\& B$ и импликация $A\to B$ выражаются соответственно как $(A|B)|(A|B)$ и $A|(B|B)$. Штрих Шеффера был введён в рассмотрение Г. Шеффером (Sheffer. 1913).