Not

Enciclopedia della Matematica (2013)

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.

TAG

Algebra di → boole

Tavola di verità

Operatori logici

A la