L'algebra Booleana, è un algebra binaria in cui le variabili possono assumere solamente i valori vero e falso attraverso gli enunciati, ossia una proposizione basata su condizioni oggettive, generalmente denotati rispettivamente come 1 e 0. Nell'Algebra di Boole i connettivi logici legano proposizioni ed enunciati.

Nell'algebra i connettivi logici sono i seguenti:

• CONGIUNZIONE LOGICA: con ∧ si indica la congiunzione AND

• DISGIUNZIONE LOGICA: con ∨ si indica la disgiunzione OR

• NEGAZIONE LOGICA: con ⎺ si indica la negazione NOT

TAVOLA DI VERITA'

La tavola di verità è un particolare modello che ci consente di stabilire a priori il comportamento degli enunciati che sono legati da un certo connettivo.