郑惠群 赵美玲 郦可 沈继忠 娄建国 方平 练益群 程捷 陈偕雄 李梅 王勇超 肖林荣 周畅

K图 降维dj图 转换 对称函数 通用逻辑门 布尔偏导数 固定极性 和式项 或符合式 bj图 CRM 图形法 谱系数 自反函数 dj降维图 自双反函数 冗余函数 CRM展开式 特殊函数 布尔函数 或-符合代数系统 逻辑设计 或-符合展开 图形转换 零点 布尔差分 线性函数 互斥变量 CRM分解图 CRM展开