În anul 1854, în lucrarea „An Investigation of the Laws of Thought”, George Boole descrie logica simbolică.
Conform acesteia, toate procesele logice pot fi descompuse într-un ansamblu de operații logice simple (SI, SAU, NU) aplicate asupra valorilor binare (0 sau 1, Da sau Nu, Adevarat sau Fals, etc.)
Algebra booleană a fost fundamentală în dezvoltarea electronicii digitale și operatorii binari sunt incluși în toate limbajele de programare moderne.