dsh-boolean

Small logic chores—expanding ¬(a∧b), listing the satisfying rows of a three-variable expression, checking whether two formulas agree—quietly derail reasoning chains, yet no one wants to hand-draw a sixteen-row truth table or trust a De Morgan slip. dsh-boolean hands that bookkeeping to a deterministic local math engine, one expression at a time, so the model can focus on reasoning rather than arithmetic.

Four tools cover the full workflow. truth_table enumerates every assignment row (up to eight variables, 256 rows) with minterm and maxterm indices, tautology / contradiction / satisfiability flags, and canonical DNF and CNF strings. logic_eval checks a single row and reports any variable missing from the assignment rather than silently defaulting. logic_equiv walks the combined table, counts differing rows, and returns one concrete counterexample when two formulas are not equivalent. logic_convert rewrites an expression into NNF, DNF, CNF, or a pure NAND / NOR gate network. Zero runtime dependencies, pure local math.

Built for developers and agent builders whose pipelines lean on propositional logic—verifying rewrite identities, emitting gate-level circuit descriptions, or confirming that two rule sets are semantically the same. Call a tool, get the exact answer back, skip the table.