George Boole (1815-1864) és Augustus de Morgan 1847-től kezdve kidolgozta a formális logikát (a Boole-algebrát). Ekkor már régóta használták a bináris kapcsolásokat órák, automaták vezérlésére. A logikai kijelentések ábrázolásához és kiszámításához használható mechanikai kapcsolásokat először William Jevons (1835-1882) alkalmazta. Mint ismeretes, a Boole-algebra a mai számítógépekkel végzett műveletek alapja.