ШЕФФЕРА ШТРИХ, Шеффера функция, отрицание конъюнкции
— булева функция двух аргументов. Обозначают ее знаком

и задают следующей таблицей истинности:
Ш. ш. коммутативен, но не ассоциативен и не дистрибутивен по отношению к дизъюнкции и конъюнкции. Эта ф-ция является функционально полной и двойственной ф-ции Пирса стрелка. В. Н. Коеалъ.