George Boole publica en 1854 'An Investigation of the Laws of Thought', estableciendo un sistema algebraico donde las variables solo pueden tomar dos valores (verdadero/falso, 1/0) y las operaciones lógicas AND, OR y NOT son tratadas matemáticamente. Boole demuestra que el razonamiento lógico puede reducirse a operaciones algebraicas sobre símbolos binarios. Su trabajo permaneció durante ochenta años como una abstracción matemática sin aplicación práctica evidente, hasta que Claude Shannon demostró en 1937 que el álgebra booleana describe exactamente el comportamiento de los circuitos eléctricos de conmutación, convirtiéndola en el fundamento matemático de toda la computación digital.