Математическая энциклопедия
- логическая операция, обычно обозначаемая|, к-рая задается следующей истинностной таблицей:
Таким образом, высказывание 
означает, что Аи Внесовместны, т. е. не являются истинными одновременно. Через Ш. ш. выражаются все другие логич. операции. Напр., высказывание 
( отрицание А )эквивалентно высказыванию 
дизъюнкция 
высказываний Аи В выражается так: 
Конъюнкция 
и импликация 
выражаются соответственно как 
и 
III. ш. был введен в рассмотрение Г. Шеффером [1].
Лит.:[1] Sheffer H., "Trans. Amer. Math. Soc.