二進位 加法 巴斯卡加法器 布林邏輯 布爾 數位時代 減法 萊布尼茲 邏輯 電腦簡史