数字电路
逻辑代数与集合代数
逻辑代数和集合代数本质都是布尔代数，两者之间的变量&运算可以建立一一映射
所以有很多逻辑代数难以理解，需要构建真值表证明的定理，可以类比集合代数记忆