A lógica é a base da eletrônica digital e da informática. Ela surgiu na Grécia Antiga com a contribuição de Sócrates, Platão e Aristóteles, mas só no século XIX foi sintetizada em forma de álgebra, ganhando o nome de Álgebra de Boole. A Álgebra de Boole permite que uma afirmação possa ser expressa matematicamente, a partir de símbolos e conectivos. Foi através do livro "An Investigation of the Laws of Thought" que Boole apresentou a lógica binária.
