命题数学和逻辑计算器
Logic Calculator Free是一个应用程序,它从2种不同的方式中赋予逻辑命题的真实价值:您可以输入变量的单个真实价值,以提供单个真实价值的真实价值真实或错误,与整个命题相对应,或者您可以输入逻辑表并自动将真实表与所有可能的组合提供根据使用中的变量数量的所有可能组合。在这种情况下,结果可能是重言式,偶然性或矛盾。
计算器还具有比较模式。它比较了三个命题以验证其等效性。验证后,它会自动构建比较的真实表。
支持的操作:and and or n n n n os,xor,含义,双条件。
- 此免费版本中最多可用6个变量(64个可能的组合)。
- 标记为更容易找到它们的语法错误。
- 键盘自定义。
- 括号,方括号和钥匙括号嵌套以进行复杂的计算。
- 逐步演示。
- 计算的最后命题列表。
- 推理规则列表,有可能测试任何一个。
- 新的!等效法律列表与示例。
- 所有逻辑运营商的真实表理论。
- 无需计算互联网连接!
- 将来更新中的更多计算模式!