Operatore NOT

L'operatore NOT è un operatore logico ( operatore booleano ) di negazione di una proposizione. Nell'algebra booleana è conosciuto come negazione logica. Data una proposizione logica A la negazione logica determina una seconda proposizione detta "non A" che risulta vera quando A è falsa e viceversa. L'operatore NOT è indicata con il simbolo ¬ oppure con un trattino posto al di sopra della variabile logica ( proposizione logica ) di riferimento. La tabella di verità dell'operatore logico NOT è il seguente:

Nell'algebra booleana la proposizione ¬ A è vera ( 1 ) quando la proposizione A è falsa ( 0 ). Viceversa, la proposizione ¬ A è falsa ( 0 ) quando la proposizione A è vera ( 1 ). L'operatore NOT si distingue dagli altri operatori logici ( connettivi logici ) in quanto si tratta di un connettivo unario, ossia si applica soltanto su una proposizione logica.