A visual workspace for drafting, checking, explaining, and testing Boolean logic: plain English, formulas, and gate diagrams on one model, with exact checks, counterexamples, thresholds, categories, scales, counts, outcome sets, tests, version control, and exports.