ПИРСА СТРЕЛКА, функция Вебба, отрицание дизъюнкции

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

П. с. коммутативна, но не ассоциативна и не дистрибутивна по отношению к дизъюнкции и конъюнкции, поэтому преобразовывать логич. выражения с П. с. достаточно трудно. Однако она является функционально полной и вследствие этого логич. переключательные элементы, реализующие данную ф-цию, находят широкое применение в ЦВМ.

В. Н. Коваль.