dsh-boolean：DSH 的布尔代数工具箱

DeepSeek Harness (DSH) 的布尔代数工具箱 dsh-boolean，旨在解决逻辑表达式处理中的手动计算错误。该插件通过 `dsh plugin` 安装，支持最多 8 个变量的真值表枚举、逻辑求值、等价性检查、规范形式转换（NNF/DNF/CNF）及逻辑最小化（Quine-McCluskey 算法）。它支持多种运算符与语法，并提供 DON'T-CARE 优化功能。工具集严格校验变量赋值，适用于逻辑推理开发。