Logic Calculator

有了这个程序，您可以：

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

此外，您可以为逻辑连接词选择不同的优先顺序。