刘观生 陈偕雄 厉晓华 凌坚 方平 郦可

冗余函数 逻辑函数的图形表示 布尔除符合展开 特殊布尔函数 线性变量 固定极性 部分对称函数 特殊函数 布尔函数 谱技术 线性函数 或-符合展开 K图化简 布尔差分 Reed-Muller展开 dj图 通用逻辑门 bj图 与、异或代数系统 表格方法 逻辑函数 OC型逻辑函数 互斥变量 对称函数检测 K图 dj降维图 布尔偏导数 自双反函数 特殊逻辑函数检测 多值逻辑

浙江杭州 浙江大学信息与电子工程学系 浙江传媒学院电子信息系 浙江传媒学院信息电子工程系 浙江大学信息与电子工程系 浙江传媒学院信息系 浙江传媒学院信息与电子工程系 浙江广播电视高等专科学校信息电子工程系