Nand

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

Logical NAND: the negation of AND (n-ary). Short-circuits: operands are evaluated left to right and evaluation stops at the first False.

WikipediaSheffer stroke↗MathWorldNAND↗WikidataQ3874243↗Encyclopedia of MathematicsSheffer_stroke↗

Nand(boolean+) -> booleanas compute-engine declares it

Typed signatures

Type	Package	Applies
(boolean+) -> boolean	compute-engine	always

Domain: Compute engine

Examples

Basic #

live ↗

In$\mathrm{True}\barwedge\mathrm{True}$Out$\mathrm{False}$

live ↗

In$\mathrm{True}\barwedge\mathrm{False}$Out$\mathrm{True}$

About

Examples	2
Crosswalk	WikipediaMathWorldWikidataEncyclopedia of Mathematics