nand
nand operatore logico (o porta logica) che a ogni coppia di valori binari in ingresso (0 e 1) associa un solo valore in uscita: tale valore è 0 se e solo se i valori in ingresso sono entrambi 1, è invece 1 in tutti gli altri casi. L’azione dell’operatore, quindi, è sintetizzato dalla seguente tabella:
L’operatore nand può essere quindi considerato come un operatore dell’algebra di Boole e ha un corrispettivo nel linguaggio degli enunciati. Esso è un particolare connettivo corrispondente alla negazione di una congiunzione: dati due enunciati A e B, ne restituisce un terzo, indicato con ¬ (A ∧ B), che è falso solo nel caso in cui A e B sono entrambi veri mentre è vero in tutti gli altri casi. La sua tavola di verità è pertanto:
Il circuito logico corrispondente all’operatore nand si ottiene con la connessione in serie di un operatore and e di un operatore not. Più in generale, l’operatore logico nand definisce una funzione avente lo stesso nome la cui azione è descritta dalla tavola di verità dell’operatore stesso. La definizione di tale funzione può estendersi prevedendo la possibilità di un numero n qualsiasi di ingressi: il valore in uscita è 0 solo nel caso in cui tutti gli n ingressi siano uguali a 1, è invece 1 in tutti gli altri casi.