L’algebra di Boole (anche detta algebra booleana o algebra informatica) è il ramo dell’algebra in cui le variabili possono assumere solamente i valori vero e falso , generalmente denotati rispettivamente come 1 e 0.

Le operazioni fondamentali non sono addizione e sottrazione ma gli operatori logici: la congiunzione o prodotto logico indicata con ∧ oppure AND; la disgiunzione o somma logica indicata con ∨ oppure OR; la negazione o complementazione indicata con ¬ oppure NOT. Con tale formalismo si possono descrivere le relazioni logiche in modo simile a quanto fa l’algebra ordinaria con le relazioni numeriche. In elettronica ogni operazione può essere realizzata con dei dispositivi detti porte logiche, quelle fondamentali sono sotto descritte.

Porte Logiche Fondamentali             

Teoremi dell’Algebra di Boole             

      Proprietà commutativa

    Proprietà associativa

    Proprietà distributiva

      Teorema annullamento

    Teorema dell’identità

    Teorema dei complementi

    Teorema dell’idempotenza

    I° teorema dell’Assorbimento

  Teorema dell’involuzione (o della doppia negazione)

  II° teorema dell’Assorbimento

        Teoremi di De Morgan