L'algebra di Boole, in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso, generalmente denotati rispettivamente come 1 e 0.

Ideata nel 1847 all'University College Cork da George Boole nel suo libro The Mathematical Analysis of Logic per scrivere in forma algebrica la logica proposizionale e da lui ulteriormente sviluppata nel 1854 in An Investigation of the Laws of Thought, l'algebra di Boole è stata fondamentale nel campo dell'elettronica digitale, dove nella progettazione dei circuiti elettronici rivestono grande importanza i teoremi deducibili dagli assiomi che fondano l'algebra, come il teorema di Shannon del 1940 che mostra come scomporre una funzione booleana complessa in funzioni più semplici, o per ottenere un'espressione canonica da una tabella della verità. L'algebra di Boole riveste un ruolo di fondamentale importanza nell'informatica, tanto che ogni linguaggio di programmazione moderno definisce al suo interno gli operatori logici; è usata inoltre anche nella teoria degli insiemi e nella probabilità.

L'algebra booleana è qui spiegata in modo semplice e concreto, grazie ad esempi svolti e a consigli preziosi. Gli esercizi sono trattati in modo semplice, come anche la simbologia utilizzata. Imparerai ad utilizzare gli operatori logici AND, NAND, OR, NOR, NOT.