v0.1.0

dsh-boolean v0.1.0 — boolean algebra toolbox for DeepSeek Harness

Tools (4):

• truth_table — full truth table over up to 8 variables: per-row results, minterm/maxterm indices, tautology/contradiction/satisfiability flags, canonical DNF + CNF strings
• logic_eval — evaluate an expression under one complete assignment (trueVars / falseVars), strict about missing variables
• logic_equiv — equivalence check over the combined table with a concrete counterexample when expressions differ
• logic_convert — canonical conversion: nnf / dnf / cnf / nand-only / nor-only (gate networks in NAND(...)/NOR(...) call syntax)

Syntax: symbols (! & ^ | -> <->), words (not and xor or implies iff) or unicode (¬ ∧ ⊕ ∨ → ↔); single-letter variables a–z; NOT > AND > XOR > OR > IMPLIES > IFF precedence, left-associative; parentheses supported.
Zero runtime dependencies, 99 tests (anchors from an independent Python oracle), MIT.

安装 / Install: dsh plugin --profile web add github:TYEclipse/dsh-boolean