邱静 秦小麟 何群 罗铸楷 吴训威 朱紫汝 万旭 姜恩华 温熙森 胡谋 管致锦 崔志明 吴洪博 戴琼 张涌澎 梁伯杰 王波 邹潇湘 王婷 刘全 黄锋 陈永威 陈偕雄 邱建林 孙瑾 郑吉平 应明生 陆阳 涂象初 周熠

最小覆盖 Sheffer函数 完备性 分子计算机 基本无关集 数据结构 D触发器 三值电路 逻辑最小项 差动电流开关理论 最小化 量词 三值反相器 知识表示 光计算机 正则可离 解密 准完备集 逻辑阵列 Tableau 广义量词 子代数 真值表 单纯可离 多值最小项 逻辑系统Hα 已知明文攻击 开放性 优化 开关理论

最小覆盖 Sheffer函数 完备性