逻辑,布尔代数和数字电路的联系