LogicTutor
By 朋亮 杨 on AppTrack Ninja.
Truth tables, CNF/DNF & SAT
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 re…
App Store rankings, screenshots, estimates and similar apps for LogicTutor.