dsh-boolean：DSH 的布爾代數工具箱

DeepSeek Harness (DSH) 的布爾代數工具箱 dsh-boolean，旨在解決邏輯表達式處理中的手動計算錯誤。該插件通過 `dsh plugin` 安裝，支持最多 8 個變量的真值表枚舉、邏輯求值、等價性檢查、規範形式轉換（NNF/DNF/CNF）及邏輯最小化（Quine-McCluskey 算法）。它支持多種運算符與語法，並提供 DON'T-CARE 優化功能。工具集嚴格校驗變量賦值，適用於邏輯推理開發。