Le principali parti elettroniche dei computer sono costituite da circuiti digitali che, come è noto, elaborano segnali logici basati sullo 0 e sull’1.
I mattoni fondamentali dei circuiti logici sono, appunto, le porte logiche che sono in grado di soddisfare un’algebra particolare, detta algebra binaria, sviluppata dallo scienziato George Boole (1815-1864).
Ogni porta logica ha una o più variabili di ingresso ed una sola variabile di uscita. Le variabili di ingresso e di uscita sono di tipo digitale per cui è possibile inserire in una tabella tutte le possibili combinazioni che si possono verificare tra le variabili di ingresso.
L’uscita assume il valore 0 oppure il valore 1 in corrispondenza di ciascuna combinazione delle variabile di ingresso in funzione della definizione assegnata.
Si riportano alcune dispense universitarie per approfondire gli argomenti: