dsh-boolean: A Boolean Algebra Toolbox for DSH
2026-10-06
DeepSeek Harness plugin
DeepSeek
DSH
dsh-boolean
Boolean algebra
Logical tools
Recommended plugins
dsh-boolean, a Boolean algebra toolbox for DeepSeek Harness (DSH), is designed to address manual calculation errors in processing logic expressions. Installed via `dsh plugin`, it supports truth-table enumeration for up to 8 variables, logical evaluation, equivalence checking, normal-form conversion (NNF/DNF/CNF), and logic minimization (Quine-McCluskey algorithm). It supports multiple operators and syntax and provides DON'T-CARE optimization. The toolbox strictly validates variable assignments and is suitable for logic-inference development.
Read More