dsh-boolean
Boolean
Boolean algebra toolbox for DeepSeek Harness (dsh): parse logic expressions (NOT/AND/OR/XOR/IMPLIES/IFF, symbols or words), full truth tables with minterm/maxterm summary, single-assignment evaluation, equivalence checking with counterexamples, canonical conversion (NNF/DNF/CNF/NAND-only/NOR-only),
The plugin will be installed here. Keep web if you are unsure.
npx -y @deepseek-ai/dsh plugin --profile web add github:TYEclipse/dsh-boolean#fd847cc0241509c68c9763c79992dd849c420c49Description
Boolean algebra toolbox for DeepSeek Harness (dsh): parse logic expressions (NOT/AND/OR/XOR/IMPLIES/IFF, symbols or words), full truth tables with minterm/maxterm summary, single-assignment evaluation, equivalence checking with counterexamples, canonical conversion (NNF/DNF/CNF/NAND-only/NOR-only), and minimum sum-of-products minimization (Quine–McCluskey, optional don't-cares) — zero runtime dependencies
Compatibility and provenance
Boolean is published as dsh-boolean and currently resolves to version 0.2.0. The Hub verifies its manifest and preserves the exact installation source for reproducible installs.
- DSH compatibility
- *
- Runtime surfaces
- any
- Release source
- github
- Registry updated