Topic summary
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.
Topic summary

Extracted from the Wikipedia article Logical NOR.
In 1940, Quine also described non-disjunction and use for the operator. So some people call the operator Peirce arrow or Quine dagger.