数字逻辑与 RTL（电路 → 可综合设计）知识矩阵编号 D1｜卡诺图与二能级逻辑最小化项目内容类型组合逻辑优化领域布尔代数 / 逻辑综合问题给定 n 输入布尔函数 f，求积之和（SOP）表达式，使字面量数 + 乘积项数最小详细的数学分析代数：f ∈ Bⁿ → B，B={0,1}，De Morgan 对偶格。几何：n 维超立方体 Qₙ，每个顶点赋值 f(v)，相邻顶点（汉明距 1）可合并 ⇔ 立方覆盖（cube covering）。优化理论：本质是 set covering problem（NP-hard），Espresso 用 Irving–Parker 启发式：unate 递归分解 + 本质素立方（essen 数字逻辑与 RTL（电路 → 可综合设计）知识矩阵编号 D1｜卡诺图与二能级逻辑最小化项目内容类型组合逻辑优化领域布尔代数 / 逻辑综合问题给定 n 输入布尔函数 f，求积之和（SOP）表达式，使字面量数 + 乘积项数最小详细的数学分析代数：f ∈ Bⁿ → B，B={0,1}，De Morgan 对偶格。几何：n 维超立方体 Qₙ，每个顶点赋值 f(v)，相邻顶点（汉明距 1）可合并 ⇔ 立方覆盖（cube covering）。优化理论：本质是 set covering problem（NP-hard），Espresso 用 Irving–Parker 启发式：unate 递归分解 + 本质素立方（essen 
