not

not

not uno degli operatori logici fondamentali dell’algebra di → Boole, anche denominato complemento. Corrisponde, in logica, al connettivo della negazione indicato con il simbolo ￢. Esso associa a ogni enunciato A la sua negazione, cioè l’enunciato ￢A (si legge «non A»), che è vero nel caso in cui A sia falso e, viceversa, è falso nel caso in cui A sia vero. La tavola di verità che esprime l’azione del connettivo ￢ è, quindi, la seguente:

tab

Nell’algebra di Boole, l’operatore not è anche indicato soprassegnando l’espressione a cui si riferisce, e realizza una funzione logica che assegna il valore 1 in uscita se il valore in ingresso è 0, mentre assegna il valore 0 in uscita se è 1 quello in ingresso.