Logical Sentences APK Android向けのアプリ

アンドリュー・R・RによるAndroid用の無料アプリ。

これは真理値表を用いた二分木形式の論理式解決ツールです。数学的論理学の問題解決に多岐にわたり使用されます。

このプログラムは、任意の論理式に対して真理値表を作成することができる論理計算機から構成されています。真理値表は命題演算の結果を提供し、複合命題の論理値を決定するために使用され、様々な論理問題の解決に使用できます。

このプログラムは、二分木を用いて任意の論理式の論理を取得することができます。木は、共通の接続記号によって接続される必要がある各概念のペアを接続することによって形成されます。