← 返回列表
⚠ 装前注意
dsh-boolean布尔代数工具箱
基本兼容但装前注意：未发布到 npm registry，仅可从源码安装 · 最近上游提交 2026/9/11 · 已提供中文文档
DeepSeek Harness（dsh）的布尔代数工具箱：带最小项/最大项摘要的真值表、规范 DNF/CNF、NNF、仅 NAND/仅 NOR 门网络、等价性检查
综合分
28.9
GitHub 分
28.9
用户评分
—
★ Stars
0
周下载量
—
安装插件（需先安装 dsh CLI 引擎：npm install -g @deepseek-ai/dsh）
dsh plugin --profile web add TYEclipse/dsh-boolean未发布到 npm registry，仅可从源码安装，改用 GitHub 源安装
信任档位：已验证本站已于 0 天前真实安装成功
- 是什么
- dsh 原生插件 · chat
- 装得上吗
- 本站已真实安装成功（非静态推断）
- 安全吗
- 本站尚未对该插件做风险分级（暂未覆盖，不等同于无风险）
- 还在维护吗
- 活跃：最近一次提交在 15 天前
档位由下列信号合成：本站实装验证（真实安装，当前最高到 L4）· 验证所用 dsh 版本 · 静态安装检查 · 风险分级 · 仓库维护状态。下方各区块是它的证据明细。 验证判据与等级说明 →
🟢实装验证通过· 2026/9/25
由本站实装验证器在真实 dsh 环境安装成功，非静态推断。
数据截至 2026/9/21（元数据每日更新 · 实装验证按队列轮转，单条结论的验证时间见上方）
安装兼容性检查⚠ 装前注意
以下结论由程序自动检查 npm 包、engines 声明与入口文件得出，未做人工实机验证——能装不等于用着没问题。
✗npm 包dsh-boolean（未发布到 npm，仅可源码安装）
✓Node 引擎要求 >=20 · 基线 Node 22.19 满足
✓dsh CLI 依赖未声明 dsh 版本约束
✓入口文件main/exports/bin 已声明
未发布到 npm registry，仅可从源码安装
验证方式：npm registry 存在性 + package.json 静态校验 · 最后验证 2026/9/24 04:21:02
依赖的 DSH / Cordis 模块
@deepseek-ai/cordis@deepseek-ai/dsh-agent@deepseek-ai/dsh-tools@deepseek-ai/schemastery用户评分
还没有人投票，来当第一个
订阅周报，不错过优质插件更新
每周一封 · 高评分插件 + 新用户活动
README
由 DeepSeek 最新模型翻译生成dsh-boolean（布尔代数工具箱）
面向 DeepSeek Harness（dsh）的布尔代数插件：
解析命题逻辑表达式，一键给出完整真值表 + 最小项/最大项摘要 + 规范 DNF/CNF + NNF + 纯 NAND/纯 NOR 门网络。
再也不用手工枚举 16 行真值表、也不用担心 De Morgan 展开写错。
零运行时依赖，纯本地计算。
为什么需要它
模型做逻辑推导时经常在小事上翻车：展开 ¬(a∧b)、列出三变量表达式的所有满足行、判断两个公式是否等价。
这套工具把簿记工作做到精确、确定。
安装
dsh plugin --profile web add github:TYEclipse/dsh-boolean
重启会话后四个工具即注册到 tools。需要 PATH 中有 pnpm。
工具一览
| 工具 | 功能 |
|------|------|
| truth_table | 逐行枚举全部赋值（上限 8 变量 / 256 行），输出结果、最小项/最大项下标、重言式/矛盾式/可满足性标记、规范 DNF 与 CNF 字符串。 |
| logic_eval | 在完整赋值下求值（trueVars/falseVars 两表）；缺变量时报错，绝不静默默认。 |
| logic_equiv | 在两个表达式合并后的全部行上比对等价性；不等价时报告差异行数并给出一个具体反例。 |
| logic_convert | 转为 nnf / dnf / cnf / nand / nor 规范形式。DNF/CNF 来自真值表（8 变量上限）；nnf/nand/nor 为结构化改写，不限规模。 |
表达式语法
| 含义 | 符号 | 单词 | Unicode |
|------|------|------|---------|
| 非（前缀） | ! | not | ¬ |
| 与 | & | and | ∧ |
| 异或 | ^ | xor | ⊕ |
| 或 | \| | or | ∨ |
| 蕴含 | -> => | implies | → |
| 等价 | | iff | ↔ |
- 变量为单字母 a–z（大写自动归一）；括号 () 分组。
- 优先级从高到低：NOT → AND → XOR → OR → IMPLIES → IFF。
- 二元运算符左结合；-> / 连写时建议加括号。
- XOR/IMPLIES/IFF 在解析期即按教科书恒等式展开为 NOT/AND/OR
（a^b ≡ (a&!b)|(!a&b)、a->b ≡ !a|b、ab ≡ (a&b)|(!a&!b)）。
- 表达式限 512 字符；真值表枚举限 8 变量。
示例（均为 v0.1.0 实测输出）
异或的真值表与规范形：
truth_table { expr: "a ^ b" }
→ 行: m0(00)=0 m1(01)=1 m2(10)=1 m3(11)=0
最小项 [1,2] DNF = (!a & b) | (a & !b)
最大项 [0,3] CNF = (a | b) & (!a | !b)
只看一行而不是整张表：
logic_eval { expr: "a -> (b | c)", trueVars: ["a"], falseVars: ["b","c"] }
→ a -> (b | c) with a=true, b=false, c=false = false
验证改写恒等式（De Morgan）：
logic_equiv { exprA: "!(a | b)", exprB: "!a & !b" }
→ equivalent: !(a | b) == !a & !b (all 4 rows agree)
否定下推、单门网络、规范 DNF：
logic_convert { expr: "!(a & b)", operation: "nnf" } → !a | !b
logic_convert { expr: "a & b", operation: "nand" } → NAND(NAND(a,b),NAND(a,b))
logic_convert { expr: "a | b", operation: "nor" } → NOR(NOR(a,b),NOR(a,b))
logic_convert { expr: "a -> b", operation: "dnf" } → (!a & !b) | (!a & b) | (a & b)
非法输入带位置与原因报错，而不是给个错答案：a & →
unexpected end of expression (at position 3)；foo & a → 变量必须是单字母 a–z。
说明与限制
- 真值表类工具上限 8 变量（256 行）；nnf/nand/nor 结构化转换无此限制。
- logic_eval 要求表达式每个变量恰好出现在 trueVars 或 falseVars 之一；同列两表或非法变量名均报错。
- 门输出用函数调用语法：NAND(a,b) / NOR(a,b)，NOT(x) 写作 NAND(x,x) 或 NOR(x,x)；
输入语法不接受门名——转换用本工具，手写门网络是另一回事。
- 矛盾式的规范 DNF、重言式的规范 CNF 为空字符串，并附 note 说明。
开发
pnpm install
pnpm build # tsc -> dist/（dist 提交入库：git 安装不跑构建）
pnpm test # 99 测试：解析器语义、独立 Python oracle 锚点真值表、门网络、schema 守卫、lossless-JSON 纪律
pnpm lint # oxlint src test
测试锚点由独立 Python oracle 生成（itertools 暴力真值枚举 + 教科书规范形构造）；
fixture 中每个真值行与每条 DNF/CNF 字符串都与 TypeScript 实现逐项对拍。
许可证
MIT — 见 LICENSE。