We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A vertical bar between two propositions, meaning 'not both'.
Also known as: NAND operator, Alternative denial, Not-both operator, Vertical bar operator
The Sheffer stroke is NAND: true unless both operands are true. Its interest is that every other connective can be built from it alone, which is why a logic text introduces it and why hardware is built from NAND gates.
Denotes the NAND connective: false only when both operands are true.
Contexts: Mathematics
Is functionally complete on its own, meaning every truth function can be expressed using it alone, which is the reason it is singled out.
Contexts: Mathematics
A single upright stroke of full height standing between two named propositions.