Calculate and interpret the result of propositional logic formulas.
advertisement
| 名前 | Logic Calculator |
|---|---|
| バージョン | 1.1.4 |
| アップデート | 2023年09月26日 |
| サイズ | 19 MB |
| カテゴリー | ツール |
| インストール | 50千+ |
| 開発元 | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · スクリーンショット
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;
- 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.
- 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.
