A quieter, more honest shelf of logic thinking tools.
LogicLab isn't another "guess-the-number" toy site. It's a working bench for anyone who wants to validate an argument, model a belief, or solve a logic puzzle — and understand why the answer came out the way it did. Every tool runs locally in your browser, no login, no data sent to a server.
- Original logic explanations — not generic copy
- Visual outputs (truth tables, K-maps, Venn diagrams)
- Quiz/trainer mode for active practice
Illustration generated inline. No copyrighted images used.
Why LogicLab, not "yet another logic tools site"?
Most "logic calculators" online either (a) just draw a Venn diagram and call it a day, or (b) require you to read a 30-page PDF before you can use them. We try to do neither.
Every tool has a twist
Our syllogism checker also flags equivocation and undistributed middles. The cellular automaton explorer doesn't just animate — it shows the rule table inline. The Wason trainer ships 12 variants, not just one.
Original, opinionated write-ups
The "How to interpret results" sections were written from scratch. They explain why the algorithm makes a given decision and where it will silently get things wrong. No templated "this tool helps you X, Y, Z" filler.
Privacy-first, ad-honest
No accounts, no analytics pixels from third parties. We display ad slots only where they belong in a page structure, never wrapped around a button or disguised as a download. See Privacy Policy.
All 32 tools, by shelf
Four themed pages. Every tool is interactive on its own page; this index page gives the full map so search engines and curious humans can see the breadth.
Classical argument structure: premises, conclusions, validity, formal notation.
Syllogism Validator + Ambiguity Detector
Validates Barbara-type forms and flags equivocation in premises.
Truth Table Builder
Step-by-step build for up to 5 variables, with highlighting.
Tautology Checker + Proof Tree
Classifies and draws a natural-deduction outline.
Predicate Logic ↔ English Translator
Bidirectional reading practice for ∀ ∃ ¬ → ↔.
Formal Fallacy Classifier
Quiz mode over 18 named fallacies with explanations.
Logic Gate Circuit Simulator
Drag AND/OR/NOT/XOR; see live truth table.
Karnaugh Map Visualiser
2–4 variable K-map with auto-grouping.
Argument Map Constructor
Paste prose → get claim/premise diagram.
Active practice for argument analysis, bias detection, and inference patterns.
Cognitive Bias Sniffer
Paste an argument paragraph, get a bias report.
Wason Selection Trainer
12 rule variants with Wason's classic gotchas.
Modus Ponens / Tollens Trainer
Speed drills with streak tracking, no leaderboards.
Proof by Contradiction Workshop
Guided prompts: state → assume ¬ → derive clash.
Counter-example Generator
"∀x P(x)" → minimal counter-example search.
AGM Belief Revision Lab
Step through expand/contract/revise operations.
Logical Sequence Predictor
Predicts next term; shows multiple competing rules.
Inductive vs Deductive Side-by-Side
Same prompt scored by both reasoning styles.
Boolean algebra, recursive structures, complexity, Bayesian and game-theoretic intuition.
Boolean Expression Visualiser
Plots the on-set as a 2D truth map with minterms.
Set Theory Venn Builder
2 / 3 set unions, intersections, complements.
Recursive Call-Stack Visualiser
Fib/factorial/Hanoi with depth and frame count.
Algorithmic Complexity Estimator
Patterns → Big-O guess + brief justification.
Cellular Automaton Explorer
1D Wolfram rules + Conway's Game of Life.
Bayesian Belief Network Sandbox
Tiny BN with evidence & posterior updates.
Game Theory Tournament
Iterated Prisoner's Dilemma with custom strategies.
Sudoku Logical Hint
Solver that explains each step, not brute force.
Hands-on classics where the goal is reasoning itself, not just the answer.
Minesweeper Logic Helper
Constraint solver that highlights forced cells.
Mastermind Decoder
Suggests next guess from your feedback history.
Einstein-style Grid Builder
5×5 logic grid with auto-solver and contradiction view.
Knights & Knaves Solver
Truth-teller / liar puzzle assistant.
River Crossing Solver
Wolf, goat, cabbage & generalised BFS.
Tower of Hanoi Visualiser
Show optimal moves; explain recursion as you go.
N-Queens Visualiser
Backtracking with step-by-step trace.
Argument Grader
Submit your solution; get a rubric-style grade.
Who is this for?
Students
Logic, discrete math, CS theory. Use the tools as study aids; read the "Why this answer" notes.
Debaters / writers
Probe your own arguments. The Bias Sniffer is the most popular entry point here.
Engineers / devs
Quick interactive playground for boolean logic, K-maps, recursion, complexity.
Teachers
Drop a tool URL into your lesson plan. Classroom-friendly; no login wall.