E' chiaramente un errore. La NAND restituisce 0 solo se sono tutti gli ingressi a 1.