陈偕雄 葛海通 郑茂生 练益群 张三元 沈继忠 郭星明 徐月华 吴桂初 郭天晨

表格方法 Hadamard矩阵 卡诺图 最小化 RM展开 本体需求 谓词演算 布尔偏导数 固定极性 逻辑函数 有限集构造 对称性检测 ATPG 门级电路 谱系数 T门网络 积项谱 降维bj图 海明距离 布尔差分 RM型展开 逻辑设计 多值逻辑 bj系数图 对称函数 或-符合展开 线性变量 K图 OC型逻辑函数 bj图

浙江杭州 浙江大学信息与电子工程学系 浙江大学信息与电子工程系 杭州师范学院信息工程学院 浙江传媒学院信息电子工程系 浙江传媒学院电子信息系 浙江温州 浙江大学电气学院