このアプリについて
このアプリを使用すると、次のことができます。-文字のシーケンスが論理式（WFF）であるかどうかを確認します。
-命題論理式の通常のポーランド記法（NPN）-つまり接頭辞表記-を取得します。
-命題論理式の逆ポーランド記法（RPN）、つまり後置記法を取得します。
-命題論理式のサブ式を取得します。
-命題論理式の選言標準形（DNF）と連言標準形（CNF）の式を取得します。
-命題論理式の真理値表を生成します。
-真理値を命題記号に割り当て、命題論理式の解釈を取得します。
さらに、論理接続詞に対して異なる優先順位を選択できます。
