屈延文 刘春和 马绍汉 梁平 曾芷德 陈廷槐 章绵 盛运焕

功能表达式 最小项之和 快速算法 矢量表示式 通路敏化 逻辑门 二值算法 星算法 测试码 计算机学报 开关函数 原函数 组合逻辑网络 完全测试集 多故障 简单通路 布尔代数 布尔函数 四值逻辑 多通路 布尔积分 时序电路