dsh-boolean: A Boolean Algebra Toolbox for DSH

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