Porta NAND

 Nota: Se procura a memória flash do tipo NAND, veja Memória flash.

Este artigo não cita fontes confiáveis. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW  • CAPES  • Google (notícias • livros • acadêmico) (Outubro de 2012)

NAND ou Conectivo de Sheffer é um conectivo utilizado em lógica. Esse conectivo equivale à negação da conjunção, expressa usualmente como "não (algo)... e (algo)... ". Também conhecido como conectivo da negação alternativa, é verdadeiro se pelo menos um dos operandos for falso.

No âmbito da álgebra booleana e na eletrônica digital é conhecido como NAND ("não...e..."). É um dos operadores que, por si só, pode ser usado para expressar todas as funções booleanas que podem ser escritas na lógica proposicional. Juntamente com o NEM, é um dos dois operadores unários funcionalmente completos da lógica proposicional.

O conectivo NAND foi inventado por Henry M. Sheffer, que provou (Sheffer 1913) que todos os operadores comuns da lógica proposicional (não (not), e (and), ou (or), implicação, e os demais), podem ser expressos em termos do NAND. Charles Sanders Peirce (1880) descobriu esse fato mais de 30 anos antes, mas nunca publicou sua descoberta.