+ 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.