Logic Calculator is a versatile Android utility app designed for users engaged in propositional logic. This free application offers a range of features that assist in verifying well-formed formulas (WFF) and converting propositional logic formulas into various notations, including Normal Polish Notation (NPN) and Reverse Polish Notation (RPN). Additionally, it allows users to extract subformulas and convert formulas into disjunctive normal form (DNF) and conjunctive normal form (CNF).

The app also includes the ability to generate truth tables and assign truth values to propositional symbols, providing interpretations of the formulas. Users can customize their experience by selecting different precedence orders for logical connectives, making it a comprehensive tool for students and professionals alike who need to work with propositional logic efficiently.