布林代數（Boolean algebra）

布林代數是「真」和「假」的數學——在電腦裡，就是 1 和 0。它不是把數字加起來、乘起來，而是用三個運算把一個個「是/否」組合起來：與（AND）、或（OR）、非（NOT）。想像一盞門廊燈接著兩個開關：「與」是兩個開關都打開燈才亮；「或」是任一個打開就夠；「非」則把答案翻成相反的那個。

布林在 1850 年代就創立了這套理論，那時連電腦都還沒出現。幾十年後，工程師才發現這套真/假規則恰好能完美地描述電路，因為一根導線要麼帶著電壓（1），要麼不帶（0）。今天每一塊晶片都是由海量的及閘、或閘、反閘堆疊而成。布林代數讓設計者先寫下電路該做什麼，再把它化簡為更少的閘——比如證明「A 與 A」其實就是「A」，從而省下電晶體和電能。