杭国强 许翔 刘观生 练益群 赵美玲 金瓯 肖林荣 万旭 应时彦 唐金花 陈偕雄 周振峰 姚茂群

或-符合展开 函数化简 图形化简法 RM展开 三角形结构 dj图 图形法 逻辑函数化简 逻辑设计 CRM展开式 布尔除-符合代数系统 布尔除符合展开 或函数 代数化简法 展开系数 表格方法 最小化技术 K图 新算法 GRM展开 布尔减-异或代数系统