Calculate and interpret the result of propositional logic formulas.

最新版本

版本
更新
2023年9月5日
開發人員
類別
安裝次數
50,000+

App APKs

Logic Calculator APP

有了這個程序,您可以:

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

此外,您可以為邏輯連接詞選擇不同的優先順序。
閱讀完整內容

廣告