ホーム 応用 教育学習 Logic Calculator Free

命題数学と論理計算機

Logic Calculator Freeは、2つの異なる方法から論理的命題の真理値を与えるアプリです。変数の個々の真理値を入力して、命題全体に対応する単一の真理値Trueまたはfalseを提供するか、論理的命題に対応することができ、使用中の変数の数に依存するすべての可能な組み合わせで真理テーブルを自動的に提供できます。その場合、結果はタトロジー、偶発性、または矛盾になります。

計算機には比較モードもあります。最大3つの命題を比較して、それらの同等性を確認します。検証の後、それは自動的に比較の真実の表を構築します。

サポートされている電力:および、nand、または、xor、nol、biconditional。

- この無料版で利用可能な最大6つの変数(64の可能な組み合わせ)。

- 構文エラーがより簡単に見つけるためにマークされています。

- キーボードのカスタマイズ。

- 複雑な計算のためにネストされた括弧、四角い括弧、キーブラケット。

- ステップバイステップのデモンストレーション。

- 計算された最後の命題のリスト。

- それらのいずれかをテストする可能性を備えた推論ルールリスト。

- 新しい!同等の法律リストを例に載せます。

- すべての論理演算子の真理表理論。

- 計算するためにインターネット接続は必要ありません!

- 将来の更新のその他の計算モード!

最新バージョン4.1の新しいもの

2016年9月1日に最終更新 - マイナーインターフェイスバグを修正しました。