Topic summary

Quine dagger

Quine dagger

Extracted from the Wikipedia article Logical NOR.

Alternative notations and names

In 1940, Quine also described non-disjunction and use for the operator. So some people call the operator Peirce arrow or Quine dagger.