逻辑又称（）代数，它是分析和设计逻辑电路的数学工具。