+ Step by step answers
Not only the correct answers but the app provide a series of logical equivalences and inference rules to get the answers.

+ Resolve the most common problems
Simplify compound propositions, Propositional equivalences, Validate an argument.

+ No internet connection required.
Resolve your problems anywhere without internet.

+ Important logical equivalences and inference rules.
Check logical equivalences and inference rules again if you forget them.

+ Dark mode
Save your battery and your eyes.