ШЕФФЕРА ШТРИХ, Шеффера функция, отрицание конъюнкции

— булева функция двух аргументов. Обозначают ее знаком и задают следующей таблицей истинности:

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