Logic Calculator

Aulos Rafael

Contains ads

About this app

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;
- obtain the subformulas of propositional logic formulas;
- obtain a disjunctive normal form (DNF) and a conjunctive normal form (CNF) formulas of propositional logic formulas;
- generate truth tables for propositional logic formulas;
- assign truth values ​​to propositional symbols and obtain the interpretation of propositional logic formulas.

Furthermore, you can choose different precedence orders for the logical connectives.

Ratings and reviews

Love this app. It helps me with my proposition math probs. But it is lacking of some symbols like [, ] and the exclusive or /(+). Btw, It can be used offline. Thanks

Would be better if we had true and false constants. Also add back and forward arrows for ease of editing.

It's helpful, as long as you're aware at symbols