Definition:Logical NOR

Definition
NOR (that is, not or), is a binary connective, written symbolically as $p \downarrow q$, whose behaviour is as follows:


 * $p \downarrow q$

is defined as:
 * neither $p$ nor $q$ is true.

$p \downarrow q$ is voiced:
 * $p$ nor $q$

The symbol $\downarrow$ is known as the Quine arrow, named after Willard Quine.