Logic Studio Manual
A reference for using Logic Studio — the browser-local boolean and predicate logic editor.
Logic Studio is a tool for writing, analysing, and simplifying logic expressions. It runs entirely in your browser; nothing is sent to a server. You can use it for boolean algebra, feature-flag policies, access-control rules, SAT/SMT solving, and more.
This manual covers how to use each part of the tool. If you want to jump straight to a task, see the how-to index.
By concept
Bindings
Named expressions, multi-binding programs, active binding selection.
Predicates
Typed variables, comparison operators, set membership, buckets.
Atoms & operators
Variables, literals, boolean operators, don't-cares.
Truth tables
How truth tables are generated, what predicate columns mean.
Coverage
Branch, MC/DC, pairwise, and prime-implicant test vectors.
SAT / SMT solving
Finding satisfying inputs, tautology/contradiction detection.
Simplification
Quine–McCluskey minimisation, Petrick's method, the Why? trace.
By feature
Editor
Syntax-highlighted text editor, error display, placeholder hints.
Bindings panel
Active binding radio, display names, atom counts.
Input pills
Free / 0 / 1 / don't-care constraint controls per variable.
Graph
Single binding and Show-all DAG view, node types, minimap.
Truth Table
All-assignments table, predicate bucket columns.
Simplify panel
QM result, Apply button, Why? reasoning trace.
Coverage panel
Strategy selector, generated test vectors, code export.
Solver panel
QM (fast) and Z3 SMT (slow, via WASM) backends.
⌘K palette
Command search, keyboard shortcuts, binding selector.
Examples
Built-in examples accessible from the intro cover.
Export & sharing
PNG/SVG graph, code export, URL share encoding.
How-to index
- How do I minimise a Boolean expression?
- How do I find inputs that satisfy a constraint?
- How do I debug a feature-flag policy?
- How do I share a worksheet?
- How do I use predicates with sets and comparisons?
- How do I read the Show-all DAG?
- How do I import or export to code?
- How do I generate test cases?
Feature support
See the support matrix for an honest table of what is and is not implemented.