袁由光 叶剑虹 刘志模 肖卫东 陈广宏 张维明 孙世新 李海龙 黎曦 宋文

逻辑函数 检索关键字 最大无圈子网 数据库 Petri网 星算法 三值逻辑 嵌套SQL 表达条件 最小项 门级数变量 组合方法 门深度数变量 化简 幂集代数 信息系统 信息共享 随机条件 “与或”范式 SQL语法分析模型 逻辑方程 矢量式 最小复盖集 逻辑设计 布尔代数