许文信 李光第 金晓龙 陈小芳 张镭 白宁 狄玉来 崔京 王波 赵凯军 杭承仁 吕宗伟 林争辉 刘广慧 应明生

逻辑函数 逻辑相邻 标签 逻辑函数标准化 包容度 化简 展开式 关键特征集 布尔函数化简 逻辑最小化 相邻码 卡诺图 乘积函数 编码化 矩阵分析法 开关函数 卡诺图中 SBDD 质项集 多输出 逻辑函数 逻辑代数 OBDD 真值表 分离变量 自变量 布尔函数 解析方法 逻辑设计 布尔匹配

逻辑函数