Overview
dsh-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, and canonical conversion (NNF/DNF/CNF/NAND-only/NOR-only) — zero runtime dependencies
README / EN
Package documentation
Registry summary
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, and canonical conversion (NNF/DNF/CNF/NAND-only/NOR-only) — zero runtime dependencies
dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.
Read the full README on GitHub