Algebra delle proposizioni

L'algebra delle proposizioni è una teoria logico-matematica che consente di formalizzare delle affermazioni sotto forma di proposizioni logiche. Una proposizione logica può essere vera o falsa. L'algebra delle proposizioni è utilizzata nello studio della matematica nell'algebra booleana. La logica binaria ( vero o falso ) consente di utilizzare l'algebra delle proposizioni anche nell'ambito dell'informatica come linguaggio dei computer ( logica del computer ). Nell'informatica le proposizioni logiche sono utilizzate per la progettazione degli algoritmi, sono rappresentate dalle variabili logiche ed elaborate dagli operatori logico-matematici in una procedura o in un programma informatico ( linguaggio di programmazione ). In un computer lo stato vero o falso della proposizione logica è realizzato con la presenza o l'assenza del segnale elettrico, questi due stati sono rappresentati dai simboli binari "uno" ( 1 ) e "zero" ( 0 ). Avendo due soli stati, la variabile logica è detta anche variabile di commutazione ( algebra di commutazione ).