Logic Calculator

有了這個程序，您可以：

-驗證字符序列是否為格式正確的公式（WFF）；
-獲得命題邏輯公式的標準波蘭符號（NPN）-即前綴符號；
-獲得命題邏輯公式的反向波蘭表示法（RPN），即後綴表示法；
-獲得命題邏輯公式的子公式；
-獲得命題邏輯公式的析取範式（DNF）和析取範式（CNF）公式；
-為命題邏輯公式生成真值表；
-將真值分配給命題符號並獲得命題邏輯公式的解釋。

此外，您可以為邏輯連接詞選擇不同的優先順序。