郦可 练益群 肖林荣 阮谢永 万旭 陈偕雄 唐金花 潘张鑫 杭国强 应时彦 姚茂群 刘观生 方平

固定极性 bj图 布尔差分 dj系数 OC型逻辑函数 K图 单固定故障 表格法 RM展开 通用逻辑门 bj系数 dj降维图 逻辑设计 通用测试集 可测性设计 dj图 逻辑函数化简 布尔偏导数 表格方法 故障检测