Logic Calculator APP 有了這個程序,您可以: -驗證字符序列是否為格式正確的公式(WFF); -獲得命題邏輯公式的標準波蘭符號(NPN)-即前綴符號; -獲得命題邏輯公式的反向波蘭表示法(RPN),即後綴表示法; -獲得命題邏輯公式的子公式; -獲得命題邏輯公式的析取範式(DNF)和析取範式(CNF)公式; -為命題邏輯公式生成真值表; -將真值分配給命題符號並獲得命題邏輯公式的解釋。 此外,您可以為邏輯連接詞選擇不同的優先順序。 閱讀完整內容