张健沛 丁占鳌 殷志伟 李晓楠 苏岐芳 谢应泰 吕其诚 王炜程 刘全 李庆华 吕治国 陈慕昌 赖楚生 余新国 李希文

斯科伦化 极大匹配 交感项 基子句 复杂性 分解为 闭残 主析取范式 吸收规则 素项 NP完全问题 合取范式 最简式 前束范式 补关系图 原子命题 最小项 布尔函数 单调 最小复盖 质蕴含项 否定标准式 命题变元 永真性 命题逻辑表达式 算法 可删去的项和字 扩展树算法 二可分图 巨项