LogicTutor

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. FORMULA ANALYSIS - Type with the built-in symbol bar: not, and, or, xor, implies, iff and parentheses. - ASCII friendly: -> and && are converted automatically. - Live validation reports syntax errors as you type. - Preview your formula as typeset LaTeX, with an HD rendering option. TRUTH TABLES - Complete row-by-row tables for formulas with up to 10 variables. - Every row shows the value of each subexpression, not just the final result. - The app classifies your formula as a tautology, contradiction or contingent. - Sort satisfying rows to the top to read off…