Definition
NAND
The NAND (or Sheffer stroke) is a binary logical connective. For formulas
and , the formula is true exactly when not both and are true, and false exactly when both are true. Equivalently:
NAND
The NAND (or Sheffer stroke) is a binary logical connective. For formulas
and , the formula is true exactly when not both and are true, and false exactly when both are true. Equivalently: