LogicTutor Support

Propositional Logic Study Toolkit for iPhone and iPad

Contact Us

Need help or have feedback? We're here to help.

We typically respond within 24 hours on business days (Mon – Fri).

How to Use LogicTutor

🧭 1. The Big Picture — One Formula, Five Tools

LogicTutor is built around one central idea: you enter a propositional logic formula once, and every tool works on it. Type a formula on the Home screen, tap Analyze, and you get the parsed syntax tree, full truth table, CNF/DNF conversions and a satisfiability report. From there you can also export everything as a PDF.

Your first analysis: type (P → Q) ∧ P on the Home screen. The App validates it as you type, then Analyze shows that the formula is contingent — true only when both P and Q are true — and the truth table tab lays out all four cases.

The entire logic engine runs on your device. Nothing you enter is ever uploaded.

⌨️ 2. Entering Formulas

Symbol keyboard bar — every formula input attaches a bar with the symbols you need: ¬ ∧ ∨ ⊕ → ↔ plus parentheses and proposition letters. No hunting through the iOS keyboard.
ASCII friendly — you can also type ->, &&, ~ and words like and, or, not, implies; they are converted automatically.
Live validation — errors such as unbalanced parentheses or missing operands are reported while you type, with the problem position highlighted, before you ever press Analyze.
Operator precedence — ¬ binds tightest, then ∧, ∨, ⊕, then → (right-associative) and finally ↔. Add parentheses any time you want to be explicit.

🔢 3. Truth Tables

Exhaustive and exact — formulas with up to 10 distinct variables get a complete row-by-row table; every row shows the value of each subexpression, not just the final result.
Classification — the App reports whether the formula is a tautology (always true), a contradiction (always false), or contingent, directly from the table.
Find rows fast — sort satisfying rows to the top to read off the assignments that make the formula true at a glance.

🔁 4. CNF / DNF Conversion

Step by step — the conversion records every transformation: eliminating implications, pushing negations inward (De Morgan), and distributing to reach conjunctive or disjunctive normal form.
Verified equivalent — the result is checked to be logically equivalent to your original formula, so what you see is what your formula really says.
Guarded growth — if a formula's normal form would grow beyond practical size, the App tells you instead of freezing.

🧠 5. Satisfiability & SAT Reasoning

Satisfiable or not — the reasoning view reports whether any assignment makes the formula true, classifies it (tautology / contradiction / contingent), and lists a satisfying model when one exists.
Big formulas welcome — beyond 10 variables the App switches from the full table to an on-device DPLL SAT solver, so it still answers even when the table would have millions of rows.

📚 6. Exercises & Wrong-Question Book

Practice library — 108 exercises organized by topic: formula basics & translation, truth tables, logical equivalence, normal forms, satisfiability and inference rules. Filter by category or search by keyword.
Fair grading — answers are compared by logical equivalence, so any correct form of the formula is accepted, not just one exact string. Yes/no and numeric answers are accepted case-insensitively.
Progress tracking — the summary shows how many exercises you have completed and how many you answered correctly; every attempt is recorded.
Wrong-question book — every mistake is collected with your answer and the correct one for review, and a question leaves the book automatically once you answer it correctly.

🕘 7. History & Reuse

Every analysis you run is saved to History with its formula, date, classification and the tool that produced it. You can search, mark entries as favorites, filter to favorites only, and export the whole list as a PDF.

Reuse in one tap: tap Reuse on an entry and it opens the matching tool directly — a truth-table record reopens the truth table, a CNF/DNF record reopens the conversion — with the formula already filled in. Tap Back and you return straight to History.

📄 8. PDF Export

Export anything — truth tables, CNF/DNF derivations and SAT reports can each be exported as a PDF document.
Share anywhere — the finished PDF opens in the standard iOS share sheet: save to Files, send by Mail or Messages, or hand it to any installed app.

🪄 9. AI Natural-Language Parsing (Optional)

If describing formulas in symbols is awkward, you can type a plain sentence and let an AI model turn it into a formula. This feature is off by default and fully under your control:

Setup — open Settings → LLM Settings, enable the feature, pick a provider and model, and paste your own API key. The key is stored in the iOS Keychain on your device.
Privacy — when you submit a sentence, only that text is sent directly from your device to the provider you configured. It never passes through us, and your history and exercises stay local.
Verification — the returned formula is immediately parsed and analyzed by the built-in on-device engine, so you can check it with the truth table before trusting it.
Accuracy — AI output may be wrong. If the formula doesn't match your intent, adjust the wording or edit the formula by hand.

💡 Tip: short, unambiguous sentences parse far better. "If it rains then the road is wet" works; long compound sentences with unclear subjects usually need a second look.

⚙️ 10. Settings & Appearance

Light & dark — choose System, Light or Dark; the whole App follows instantly.
Formula font size — adjust the size used across formula inputs for comfortable reading.
LaTeX High Definition — increase the preview rendering size for sharper formula previews.
User Manual — replay the welcome guide at any time from Settings.

Frequently Asked Questions

What is LogicTutor?

LogicTutor is an educational app for propositional logic on iPhone and iPad. It parses logical formulas, generates complete truth tables, converts formulas to CNF/DNF step by step, checks satisfiability with an on-device SAT solver, and offers a 108-question exercise library with a wrong-question book — all running locally on your device.

How many exercises are included, and what topics do they cover?

The library ships with 108 exercises organized by topic: formula basics & translation, operator precedence, truth tables, logical equivalence, normal forms (CNF/DNF), satisfiability, and inference rules. Formula answers are graded by logical equivalence, and the wrong-question book collects anything you miss until you answer it correctly.

What does Reuse on a history entry do?

It sends the stored formula back to the tool that produced the record — truth table, CNF/DNF, SAT reasoning or the formula page — with the formula already filled in, and Back returns you straight to History. Records created by the optional AI parsing open on the formula page.

Does LogicTutor require an internet connection?

No. The entire logic engine — parsing, truth tables, normal forms, SAT solving, exercises, history and PDF export — works completely offline. The only feature that uses the network is the optional AI parsing, which sends only the sentence you type directly to the AI provider you configure.

What is the largest formula LogicTutor can handle?

Truth tables cover formulas with up to 10 distinct variables exactly. Beyond that, the App switches to a DPLL SAT solver, so satisfiability, classification and models remain available even when a full table would have millions of rows. CNF/DNF conversion warns you instead of hanging if a result would grow beyond practical size.

Why is my answer marked correct even though it looks different from the model answer?

Exercise grading compares formulas by logical equivalence, not by string equality. Any formula that is true under exactly the same conditions as the model answer is accepted — for example, both P → Q and ¬P ∨ Q are correct answers to the same exercise.

Where is my data stored?

Entirely on your device. History, exercise results and the wrong-question book live in a local database inside the App's sandbox; preferences live in iOS settings; the AI API key lives in the iOS Keychain. Nothing is uploaded, and uninstalling the App removes everything.

Does LogicTutor collect any personal data?

No. LogicTutor does not collect, store, or transmit any personal information. There are no accounts, no analytics, and no tracking. See our Privacy Policy for details.

Why did AI parsing return a wrong formula?

AI models sometimes misread ambiguous sentences. The returned formula is always re-checked by the built-in engine, so compare it against your intent using the truth table, then rephrase or edit by hand. You can also disable the feature at any time in Settings → LLM Settings.

What devices does LogicTutor support?

LogicTutor runs on iPhone and iPad and requires iOS or iPadOS 17.6 or later. The layout adapts to both screen sizes.

The app crashed or isn't working properly. What should I do?

Try force-quitting and relaunching the app. If issues persist, please email us at daibou007@gmail.com with the formula you were analyzing and your device model & iOS or iPadOS version.

Still Need Help?

We're happy to help with any questions or feedback.

Email: daibou007@gmail.com

Response time: within 24 hours on business days.

Last Updated: September 17, 2026

Studio name: Daibou007 Team