逻辑代数是分析与设计数字电路的工具。