Webb operator

Alternative notations and names

In 1935, Donald L. Webb described non-disjunction for ${\displaystyle n}$-valued logic, and use ${\displaystyle \mid }$ for the operator. So some people call it Webb operator, Webb operation or Webb function.