A função lógica NAND (Not AND) é uma operação lógica sobre duas variáveis que produz como resultado o valor Falso se e somente se ambos os operandos são Verdadeiros. Em outras palavras, o resultado é Verdadeiro se e somente se pelo menos um dos operandos é falso.