Logic Calculator
With this app, you can: - verify if a sequence of characters is a well-formed formula (WFF); - obtain the Normal Polish Notation (NPN) - i.e., a prefix notation - of propositional logic formulas; - obtain the Reverse Polish notation (RPN), i.e., a postfix notation - of propositional logic formulas;