{
 "name": "LogicTutor",
 "tagline": "LogicTutor is an offline-first study toolkit for propositional logic, built for students…",
 "description": "LogicTutor is an offline-first study toolkit for propositional logic, built for students and teachers. Enter a formula once and get live validation with a LaTeX preview, a complete truth table, step-by-step CNF/DNF conversion and a full satisfiability report - all computed on your device, with no account and no internet required.\n\nFORMULA ANALYSIS\n- Type with the built-in symbol bar: not, and, or, xor, implies, iff and parentheses.\n- ASCII friendly: -> and && are converted automatically.\n- Live validation reports syntax errors as you type.\n- Preview your formula as typeset LaTeX, with an HD rendering option.\n\nTRUTH TABLES\n- Complete row-by-row tables for formulas with up to 10 variables.\n- Every row shows the value of each subexpression, not just the final result.\n- The app classifies your formula as a tautology, contradiction or contingent.\n- Sort satisfying rows to the top to read off models at a glance.\n\nCNF / DNF CONVERSION\n- Step-by-step derivations: implication elimination, De Morgan, distribution.\n- Results are verified logically equivalent to your original formula.\n- Guarded conversion warns you instead of freezing on huge normal forms.\n\nSAT REASONING\n- Satisfiability, classification and a satisfying model for any formula.\n- Beyond 10 variables an on-device DPLL solver takes over - still fully offline.\n\nEXERCISE LIBRARY\n- 108 questions across topics: translation, precedence, truth tables, equivalence, normal forms, satisfiability and inference rules.\n- Fair grading: formula answers are accepted in any logically equivalent form.\n- A wrong-question book collects mistakes for review and clears them once mastered.\n- Track completed and correct counts at the top of the library.\n\nHISTORY AND REUSE\n- Every analysis is saved with its formula, result and source tool.\n- Search, favorites, and PDF export of your history.\n- One-tap Reuse reopens the matching tool with the formula already filled in.\n\nARGUMENT ANALYSIS (OPTIONAL)\n- Turn an English argument into its premises, its conclusion and its reasoning pattern.\n- The extracted formulas are re-checked by the built-in engine before anything is shown, and you can correct them by hand before analyzing.\n- Keeps its own history, so a past argument can be reopened and reused.\n\nAI ASSISTANT (OPTIONAL)\n- Chat about logic, work a problem through step by step, or ask about your own saved work.\n- It can also act inside the app for you: analyze a formula, decide whether two formulas are equivalent, open a tool page with a formula filled in, export an analysis as a PDF, or review and tidy your history.\n- Anything destructive asks for your explicit confirmation first.\n- Every operation runs on the same deterministic engine as the manual tools.\n- Keep several chats; they stay on your device.\n\nOPTIONAL AI, YOUR OWN KEY\n- Off by default. Nothing is sent anywhere until you enable it and add a key.\n- Works with OpenAI, Anthropic and Gemini out of the box, or any compatible custom endpoint.\n- Your key is stored in the iOS Keychain, and requests go straight from your device to the provider you pick - never through us.\n\nPDF EXPORT\n- Export truth tables, derivations, SAT reports, argument analyses and history as PDFs via the iOS share sheet.\n\nDESIGNED FOR IPHONE AND IPAD\n- Light and dark modes, adjustable formula font size, and a layout that adapts to both screens.\n\nWHO IT IS FOR\n- Students in discrete math, computer science, philosophy and linguistics courses.\n- Teachers preparing examples, exercises and handouts.\n- Anyone who wants a fast, reliable logic calculator in their pocket.\n\nWHY LOGICTUTOR\n- Deterministic on-device engine: identical, verifiable results every time - no hallucinations.\n- Offline-first: everything works without a network; your data never leaves your device.\n- Privacy by design: no account, no tracking, no analytics.\n- Built on Apple system frameworks only, with no third-party libraries.",
 "url": "https://debuts.app/apps/logictutor",
 "category": "Education",
 "platforms": [
  "iPhone and iPad"
 ],
 "pricing": "paid",
 "use_cases": [],
 "audience": [],
 "links": {
  "app_store": "https://apps.apple.com/cz/app/logictutor/id6812679557",
  "google_play": null,
  "website": "https://daibou007.github.io/PrivacyAndSupport/LogicTutor/terms.html"
 },
 "icon": "https://is1-ssl.mzstatic.com/image/thumb/Purple221/v4/05/e0/2f/05e02fe0-7cdc-2555-33dc-bae23bbe003c/AppIcon-1x_U007epad-0-1-85-220-0.png/512x512bb.jpg",
 "screenshots": [
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource211/v4/10/d5/41/10d54172-5514-055d-0962-0b300a3fba71/IMG_0064.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/f8/c0/6f/f8c06f33-9df4-7da6-4cec-e7533f81a948/IMG_0061.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource211/v4/00/63/31/006331d4-3c39-3edc-2eb4-f7a12145b4a6/IMG_0059.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/7c/65/4a/7c654a24-16a1-f0fe-dd14-2aff0f518edb/IMG_0060.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource211/v4/53/d3/12/53d3126a-fd75-2f56-1e2b-a61bb0862b45/IMG_0054.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/02/5f/e4/025fe48c-db1a-96a9-5547-63d65310d5ec/IMG_0055.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource211/v4/a3/00/2a/a3002a33-4f8e-1efe-7a18-42a88cee4648/IMG_0051.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/d8/7b/fa/d87bfae5-c789-6d96-bb52-1a6d1fd8dde8/IMG_0052.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/0b/56/60/0b566080-8837-8870-c420-c5575adb6bc6/IMG_0053.PNG/320x480bb.jpg",
  "https://is1-ssl.mzstatic.com/image/thumb/PurpleSource221/v4/c5/fd/9f/c5fd9f88-42db-1111-894d-7186f69edcf7/IMG_0056.PNG/320x480bb.jpg"
 ],
 "claimed": false,
 "verified": false,
 "maker": "朋亮 杨",
 "upvotes": null,
 "followers": null,
 "rating": null,
 "ratings": 0,
 "awards": [],
 "launches": [],
 "ai_ready": 78,
 "badges": {
  "launched": "https://debuts.app/badge/logictutor?type=launched",
  "award": "https://debuts.app/badge/logictutor?type=award",
  "rating": "https://debuts.app/badge/logictutor?type=rating"
 }
}