Logic Calculator

Logic Calculator

  • 最新版本
  • Aulos Rafael

计算和解释命题逻辑公式的结果。

关于此应用程序

有了这个程序，您可以：

-验证字符序列是否为格式正确的公式（WFF）；
-获得命题逻辑公式的标准波兰符号（NPN）-即前缀符号；
-获得命题逻辑公式的反向波兰表示法（RPN），即后缀表示法；
-获得命题逻辑公式的子公式；
-获得命题逻辑公式的析取范式（DNF）和析取范式（CNF）公式；
-为命题逻辑公式生成真值表；
-将真值分配给命题符号并获得命题逻辑公式的解释。

此外，您可以为逻辑连接词选择不同的优先顺序。
应用程序屏幕截图
Logic Calculator Logic Calculator Logic Calculator Logic Calculator Logic Calculator Logic Calculator Logic Calculator Logic Calculator

版本 Logic Calculator

应用程序: 类似 Logic Calculator