1K+
Downloads
1.03
version
Oct 16, 2016
release date
1.2 MB
file size
Free
Download
What's New
- Added biconditional ('=')
- Minor bug fix
About Logic++ Android App
Logic++ is a multipurpose automated theorem proving and analysis tool for classical propositional logic (additional propositional logics may be added in updates). Its features include automated theorem proving, valid inference testing, automated (tableau) proof generation, automated truth table generation, and normal form conversion.
Show More
Other Information:
Package Name:
Requires Android:
Android 4.1+ (Jelly Bean, API 16)
Other Sources:
Category:
Download
This version of Logic++ Android App comes with one universal variant which will work on all the Android devices.
Variant
9 (Oct 16, 2016)
Architecture
Unlimited
Minimum OS
Android 4.1+ (Jelly Bean, API 16)
Screen DPI
nodpi (all screens)
All Versions
If you are looking to download other versions of Logic++ Android App, We have 3 versions in our database. Please select one of them below to download.
