Definition:Logical NAND/Notational Variants

Definition
Various symbols are encountered that denote the concept of logical NAND:

The all-uppercase rendition NAND originates from the digital electronics industry, where, because it is functionally complete, this operator has a high importance.