為英國數學家布林（G. Boole）​發展出來的，是計算的數學基礎，由０和１兩種狀態代表否和是的邏輯關係。