dsh-boolean

在模型推理中，命题逻辑的琐碎运算——展开 ¬(a∧b)、列举三变量表达式的满足行、验证两条公式是否等价——往往是拖慢推理链条的隐形瓶颈。dsh-boolean 把这些簿记工作交给确定性的本地数学引擎，一次处理一个表达式，消除手画十六行真值表和德摩根定律笔误的风险。

核心能力覆盖四个工具：truth_table 枚举最多八变量（二百五十六行）的完整真值表，附带最小项与最大项索引、永真或矛盾或可满足性标记以及标准 DNF 与 CNF 字符串；logic_eval 在单一赋值下求值，缺失变量时报错而非静默默认；logic_equiv 逐行比对两条表达式，不等价时给出具体反例行；logic_convert 支持 NNF、DNF、CNF 以及纯 NAND 与纯 NOR 门网络的结构化重写。零运行时依赖，纯本地计算。

适合需要在推理链路中频繁处理命题逻辑的开发者与智能体构建者：无论是验证逻辑重写恒等式、生成门级电路描述，还是快速判断两条规则是否语义等价，都可以直接调用工具完成，无需手写表格或记忆运算符优先级法则。