title: Espressione booleana
text: # Espressione booleana
  
  In informatica, un'espressione booleana è un'espressione che, quando valutata (ovvero, quando viene dato un valore ai letterali di cui è composta), produce un valore booleano (vero o falso).
  
  Un'espressione booleana può essere composta da:
  
  * operatori booleani;
  * operandi, suddivisi in costanti booleane (vero e falso) e letterali;
  * funzioni booleane, ovvero funzioni che dato un input qualsiasi restituiscono un valore booleano.
  
  Il concetto di espressione booleana è utilizzato in particolar modo in informatica, ed è definito in maniera analoga, dove i letterali sono delle variabili booleane e le costanti sono le parole-chiave true e false (o i valori 1 e 0).
  
  ## Operatori booleani
  
  Gran parte dei linguaggi di programmazione supportano gli operatori OR, AND e NOT. In alcuni linguaggi, come il C (e derivati) e Java, questi operatori sono denotati con ||, && e !, rispettivamente. In altri, come il Fortran, sono rappresentati con i simboli |, & e ~.
  
  Nella letteratura matematica, invece, le notazioni più diffuse sono:
  
  * + (più) o ∨ (vel) per la disgiunzione inclusiva;
  * · (punto) o ∧ (et) per la congiunzione;
  * ‾ (overbar), ¬ (not) o ′ (primo) per la negazione.
  