NAND ou Conectivo de Sheffer é um conectivo utilizado em lógica. Esse conectivo tem equivalencia com à negação da operação de conjunção, expressa usualmente como "não (algo)... e (algo) ... ". Também conhecida como negação alternativa, tem como resultado verdadeiro se pelo menos um dos operandos for falso.
Veja mais na Wikipédia.org...
[matemática] NAND. sin.NOT AND