Sheffer stroke (NAND)

Layer 0 — Mathematicsin the logic subtree

The NAND connective | (Sheffer stroke). p | q is false exactly when both p and q are true. NAND is functionally complete on its own: every connective can be expressed using NAND alone (¬p ≡ p|p; p∧q ≡ (p|q)|(p|q); etc.).

Related concepts

Explore Sheffer stroke (NAND) on the interactive knowledge graph →