Logic Calculator APK Android 版

命题逻辑的综合工具

逻辑计算器是一个多功能的Android实用程序应用，专为从事命题逻辑的用户设计。这个免费的应用程序提供了一系列功能，帮助验证良构公式（WFF）并将命题逻辑公式转换为各种符号，包括标准波兰表示法（NPN）和逆波兰表示法（RPN）。此外，它允许用户提取子公式并将公式转换为析取范式（DNF）和合取范式（CNF）。

该应用还包括生成真值表和为命题符号分配真值的功能，提供公式的解释。用户可以通过选择逻辑连接词的不同优先级顺序来定制他们的体验，使其成为一个全面的工具，适合需要高效处理命题逻辑的学生和专业人士。