About this site

About LogicLab.tools

LogicLab.tools is a single-evening learning bench built around 32 interactive logic tools organised in four thematic shelves: Logic Foundations, Reasoning Trainers, Math & Algorithmic Logic, and Logic Puzzles. Every tool runs entirely in your browser; you can disconnect from the internet after the first page-load and most tools will still work.

Purpose

The site exists for one reason: it is harder than it should be to find logic tools that go beyond "draw a Venn diagram" or "compute a truth table". We add small but valuable twists — equivocation detection on the syllogism checker, Gray-coded ordering on the truth table, K-map auto-grouping with greedy but honest hints, an explanation-first cellular automaton, a 12-variant Wason trainer that contrasts the abstract and the social-cheating versions. We do not borrow screenshots, stock images or scraped text from anywhere.

Intended audience

• Students taking introductory courses in logic, discrete math, theory of computation or critical thinking.
• Debaters, writers and editors who want to stress-test their own prose.
• Software engineers who occasionally want a quick K-map or Big-O estimate without launching a calculator.
• Teachers looking for a no-login tool they can drop into a lesson plan.

What this site is not

• Not an academic formal-verification tool. The Boolean and Karnaugh layers are educational; for production verification use a SAT/SMT solver.
• Not a Bayesian-inference research environment. The Belief-Network sandbox is a small pre-built graph, not a learnable structure.
• Not a content farm. We do not generate SEO pages. We do not auto-publish articles on every keyword.
• Not a substitute for a human tutor. The tools show what an algorithm thinks; a tutor explains why.

Known limitations (you should know before relying on outputs)

1. The Sycamore-style syllogism checker works only on four moods (A/E/I/O). Polysyllogisms and modalised syllogisms silently fall outside scope.
2. The Bayesian Belief Network uses a hand-curated CPT. Numbers are illustrative, not state-of-the-art.
3. The Counter-example Generator matches a small library of patterns. It is not connected to any external knowledge base.
4. The Sequence Predictor chooses formulas by least error on the visible prefix; the predictions beyond are extrapolations, not ground truth.
5. The Sudoku Logical Hint applies a handful of techniques; some legitimate but advanced puzzles will not be solvable by hints alone and require backtracking.
6. Cellular Automaton step output is approximate on slower machines — we throttle to roughly 12–15 fps.

Privacy Policy

Last updated: 2026-09-28.

Short version

We do not collect personal data. We do not run our own analytics. We do not store your inputs. The site uses Google AdSense for advertising; that means Google, and the vendors AdSense uses, may set cookies or use local storage when they show you an ad. The rest of the site runs without talking to any server.

What we collect

• Nothing directly. No forms, no login, no email capture, no IP logging on our side.
• Anonymous counts that the hosting provider tracks at the request level (standard webserver logs). We do not have direct access to these logs and they expire within weeks.

Cookies and similar technologies

We do not set first-party cookies for tracking. The site uses localStorage on a single page (MP/MT trainer) to remember your best streak on your device only — never transmitted.

Third-party cookies from Google AdSense. If and when AdSense shows you an ad, Google and its advertising partners may set or read cookies, web beacons, and use device identifiers to (a) decide which ads to serve, (b) limit how often you see a given ad, (c) measure performance. These providers may also use these mechanisms to infer your interests. You can opt out of personalised ads at https://www.google.com/settings/ads or via the DAA / EDAA opt-out.

Google AdSense — specific disclosures

• The site uses Google AdSense, a web-advertising service of Google Ireland Limited.
• Google, as a third-party vendor, uses cookies to serve ads on this site.
• Google's use of advertising cookies enables it and its partners to serve ads based on your visit to this and/or other sites on the Internet.
• Users may opt out of personalised advertising by visiting Google Ads Settings. You may also opt out of certain third-party vendors' use of cookies for personalised advertising by visiting www.aboutads.info.

Other embedded resources

We load two well-known CDNs for the page itself: Tailwind CSS (cdn.tailwindcss.com) and Font Awesome (cdnjs.cloudflare.com). Both are loaded over HTTPS but they can technically learn what page was fetched; we did not enable any client-side telemetry on them. They may set short-lived resources on their side; we cannot control that.

Children's data

We do not target children. We do not knowingly collect data from anyone, let alone children. If you believe a child has interacted with this site in a way that captured information, please contact us so we can address it.

Your rights (EU/UK visitors)

If you are in the EU or the UK, the GDPR / UK GDPR gives you rights to access, rectify, erase and object to processing of your personal data. Practically: there is no personal data of yours to access — the only data that touches Google is what AdSense handles, and AdSense has its own privacy controls. For any concern, contact us via the link below.

Changes to this policy

If we change this policy, we will update the "Last updated" date above and place a banner at the top of the home page for two weeks.

Disclaimer

Last updated: 2026-09-28.

The information and interactive tools on LogicLab.tools are provided for educational and entertainment purposes only. They are not and should not be relied on as:

• Professional academic, legal, medical or financial advice.
• A guarantee of validity, completeness or fitness for any specific purpose.
• A substitute for study with a qualified instructor.

Specific disclaimers by tool area

Logic Foundations: algorithms may classify a valid argument as invalid under rare borderline cases (e.g. non-classical interpretations of "some" or vacuous truth). Treat verdicts as a sanity check, not a verdict from a peer-reviewer.

Reasoning Trainers: the Bias Sniffer uses a keyword lexicon. It cannot diagnose a writer's intent; a paragraph that trips the matcher may simply be using trigger words. The MP/MT timer is local-only; we never see your scores.

Math & Algorithmic: the Bayesian solver uses illustrative conditional probability tables. The Cellular Automaton and Game Theory tools are simulation aids, not derivations of any theorem. The Sudoku hint engine may not solve well-formed but advanced puzzles with the techniques it knows.

Logic Puzzles: the Einstein-style grid auto-solver can mark cells as ✓ or ✗ even when the underlying clues are inconsistent — always eyeball the result before trusting it.

No warranty

We provide the tools "as is" and "as available", without warranty of any kind, express or implied, including but not limited to merchantability, fitness for a particular purpose and non-infringement. We do not warrant that the tools will be uninterrupted, error-free, or that defects will be corrected.

Limitation of liability

To the maximum extent permitted by law, we disclaim all liability for any direct, indirect, incidental, consequential, special, exemplary or punitive damages arising out of or in connection with your use of this site.

External links and resources

This page links to third-party URLs (Google AdSense settings, DAA opt-out page). We do not control those sites and are not responsible for their content or practices. Please review their policies.

Contact

If you have a copyright concern or a question about this disclaimer or our privacy policy, please contact us via the email address listed on our hosting provider's domain record (an autoresponder will forward to a human).