Logic Calculator Free 4.1

ライセンス: 無料 ‎ファイルサイズ: 2.10 MB
‎ユーザー評価: 0.0/5 - ‎0 ‎投票

ロジック電卓無料は、2つの異なる方法から論理的な命題の真実の価値を与えるアプリです:あなたは全体の命題に対応する真または偽の単一の真実の値を提供するために変数の個々の真実の値を入力することができます、またはあなたは論理的な命題を入力することができ、それは自動的に使用されている変数の数に応じてすべての可能な組み合わせで真実のテーブルを与えます。その場合、結果はトートロジー、不測の事態または矛盾である可能性があります。

電卓には比較モードもあります。最大 3 つの提案を比較して、同等性を検証します。検証後、比較の真理テーブルが自動的に作成されます。

サポートされるオペレーション: AND, NAND, または、 また、 XOR, インプリケーション, 二条件.

- この無料版(64可能な組み合わせ)で利用可能な最大6つの変数。 - 構文エラーは、それらを見つけやすくするためにマークされています。 - キーボードのカスタマイズ。 - 括弧、角括弧、およびキーブラケットは複雑な計算のためにネストされています。 - ステップバイステップデモンストレーション。 - 計算された最後の命題のリスト。 - 推論ルールは、それらのいずれかをテストする可能性をリストします。 - 新しい!等価法は例とともにリストしています。 - 真実は、すべての論理演算子の理論を表します。 - 計算にインターネット接続は必要ありません! - 将来のアップデートでより多くの計算モード!

バージョン履歴

  • バージョン 4.1 に転記 2016-08-31
    - マイナーなインターフェイスのバグを修正しました。

プログラムの詳細