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. Analyses run in your browser. You can use it for boolean algebra, feature-flag policies, access-control rules, Boolean analysis and integer predicate comparisons.
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 Boolean assignments and independent predicate columns.
Simplify panel
QM result, Apply button, Why? reasoning trace.
Coverage panel
Strategy selector, generated test vectors, code export.
Result summary
Read counts and outcomes under the selected Inputs constraints.
⌘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 features and limits for supported interactions and the limits of each analysis.