命題数学と論理計算機
Logic Calculator Freeは、2つの異なる方法から論理的命題の真理値を与えるアプリです。変数の個々の真理値を入力して、命題全体に対応する単一の真理値Trueまたはfalseを提供するか、論理的命題に対応することができ、使用中の変数の数に依存するすべての可能な組み合わせで真理テーブルを自動的に提供できます。その場合、結果はタトロジー、偶発性、または矛盾になります。
計算機には比較モードもあります。最大3つの命題を比較して、それらの同等性を確認します。検証の後、それは自動的に比較の真実の表を構築します。
サポートされている電力:および、nand、または、xor、nol、biconditional。
- この無料版で利用可能な最大6つの変数(64の可能な組み合わせ)。
- 構文エラーがより簡単に見つけるためにマークされています。
- キーボードのカスタマイズ。
- 複雑な計算のためにネストされた括弧、四角い括弧、キーブラケット。
- ステップバイステップのデモンストレーション。
- 計算された最後の命題のリスト。
- それらのいずれかをテストする可能性を備えた推論ルールリスト。
- 新しい!同等の法律リストを例に載せます。
- すべての論理演算子の真理表理論。
- 計算するためにインターネット接続は必要ありません!
- 将来の更新のその他の計算モード!