陈德仙 肖林荣 王勇超 方平 郑惠群 余党军 任兵 练益群 陈偕雄 赵美玲 刘观生 吴桂初 赵敏笑

互斥变量 部分线性函数 或-符合展开 自反函数 n-bj系数 冗余函数 分解图 逻辑函数的图形表示 dj图 布尔差分 K-图 K图 自双反函数 线性函数 谱系数 Reed-Muller展开 逻辑设计 检测方法 降维bj图 与、异或代数系统