一种用统一的数学模型处理逻辑设计的方法论。由美国数学家香农(Claude Elwood Shannon，1916—)应用布尔代数分析接点开关网络所建立。现已发展成为一门学科，是数字控制、数字通信、数字测量等电子技术的重要基础之一，并渗透到工程控制论等学科中。