George Boole
論理合成の歴史を遡ると、ジョージ・ブール（1815年 - 1864年）にたどり着く。彼はブール代数などにその名を留めている。1938年、クロード・シャノンは、二値ブール代数でスイッチング回路の動作を記述できることを示した。1950年代にカルノー図が発明され、使われるようになった。カルノー図は、一種の真理値表で、図の中のエントリ群をまとめることで論理の最小化ができる。人間の設計者がカルノー図で設計できる論理回路は、せいぜい4から6変数までである。