命题数学和逻辑计算器
Logic Calculator Free是一个应用程序，可以通过 2 种不同的方式给出逻辑命题的真值：您可以输入变量的单个真值，以提供与整个命题相对应的单个真值 true 或 false，或者您可以输入逻辑命题，它会根据使用的变量数量自动给出包含所有可能组合的真值表。在这种情况下，结果可能是同义反复、偶然性或矛盾。
计算器还具有比较模式。它会比较最多 3 个命题以验证它们的等效性。验证后自动构建比较真值表。
支持的运算：AND、NAND、OR、NOR、XOR、蕴涵、双条件。
- 此免费版本中最多提供 6 个变量（64 种可能的组合）。
- 标记语法错误以更轻松地找到它们。
- 键盘定制。
- 括号、方括号和大括号嵌套用于复杂计算。
- 逐步演示。
- 最后计算的命题列表。
- 推理规则列表，可以测试其中的任何规则。
- 新的！等效定律列出并附有示例。
- 所有逻辑运算符的真值表理论。
- 无需互联网连接即可计算！
- 未来更新中会有更多计算模式！
阅读更多信息
