Logic++ is an automated theorem proving app for Android I developed. Among other things, it does automated theorem proving, inference testing, tableau proof generation, truth table generation, and normal form conversion. All of these features have so far been implemented for classical propositional logic.
Development is not ongoing at this time.
Read the most recent EULA.