陈冠军 应时彦 杭国强 宋弘 吴伟雄 历晓华 乔岸红 许冠 陈偕雄 郑惠群 潘伟珍 赵美玲 厉晓华 万尤宝 许翔 周振峰 吴水兴

冗余函数 标准DOS展开式 bj图 图形化简法 逻辑设计 逻辑函数化简 标准SOD展开式 代数化简法 逻辑综合 Haar变换 查表设计 非规范式 规范式 减除非代数系统 或-符合展开 卡诺图 量子细胞自动机 布尔除 布尔除-符合代数系统 谱技术 自双反函数 规范展开式 固定极性 图形法 CRM展开式 CRM 对称函数 布尔偏导数 QCA电路 函数分类

浙江嘉兴 浙江大学信息与电子工程学系 嘉兴学院电气工程系 浙江大学信息与电子工程系 浙江工业大学信息工程学院 嘉兴学院电子工程系 浙江绍兴 绍兴文理学院数理信息学院