ALGEBRA DI BOOLE

Nella logica proposizionale la verità è la proprietà di una formula ed è esprimibile attraverso due possibili valori: l’uno corrispondente all’attribuzione di tale proprietà, l’altro alla sua negazione. Una formula è detta vera se possiede tale proprietà, falsa in caso contrario: vi si attribuisce dunque uno dei due possibili valori di verità esprimibili con i simboli 1 e 0 o con i simboli V e F. Il valore di verità di una formula non elementare del linguaggio degli enunciati (teoria), è determinato da quello dei singoli enunciati elementari che la compongono, sulla base di una tavola di verità che riassume algoritmicamente il modo d’agire dei connettivi. Le operazioni fondamentali non sono addizione e sottrazione ma gli operatori logici AND, OR e NOT.
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à.