# Category:Definitions/Logical NAND

This category contains definitions related to Logical NAND.

Related results can be found in Category:Logical NAND.

**NAND** (that is, **not and**), is a binary connective, written symbolically as $p \uparrow q$, whose behaviour is as follows:

- $p \uparrow q$

is defined as:

**it is not the case that $p$ and $q$ are both true.**

$p \uparrow q$ is voiced:

**$p$ nand $q$**

## Pages in category "Definitions/Logical NAND"

The following 7 pages are in this category, out of 7 total.