Propositional Logic Resolver
Propositional Logic Resolver
1$
A mobile application to resolve common problems of discrete mathematics propositional logic.
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.