真理値表生成器
- 入力→
- オプション→
- 結果
真理値表生成器
演算子ボタン、例、数式分類、標準 DNF と CNF、ミンターム、およびエクスポートを使用して真理値表を構築および調査します。
真理値表を作成する
ブール式を入力するか、演算子ボタンを使用して式を組み立てます。
解析された式
(A ∧ B) → C
変数
A, B, C
組み合わせ
8
結果 1 の行
7
結果が 0 の行
1
ブール真理値表
PDF / 印刷する: すべて (8)
#
A
B
C
結果
0
0
0
0
1
1
0
0
1
1
2
0
1
0
1
3
0
1
1
1
4
1
0
0
1
5
1
0
1
1
6
1
1
0
0
7
1
1
1
1
正規のブール形式
Canonical DNF は結果 1 のテーブル行から構築されます。正規 CNF は、結果 0 のテーブル行から構築されます。
正準選言正規形 (DNF)
(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)
正準結合正規形 (CNF)
(¬A ∨ ¬B ∨ C)
ブール最小条件
Σm(0, 1, 2, 3, 4, 5, 7)
ブール最大項
ΠM(6)
オンラインで真理値表を生成
ブール式を入力または組み立てて、最大 8 つの変数と結果の値のすべての組み合わせを検査します。
数式をトートロジー、矛盾、偶発性として分類し、行をフィルター処理して、正規の DNF、CNF、minterms、maxterms とともにテーブルをエクスポートします。
クイックスタート
真理値表を作成するか、2 つの式が等しいかどうかを比較します。
- 式とオプションの比較を入力します
- 結果を更新するテーブルを構築する
- 反例を検査し、完全なテーブルをエクスポートする
✓
このツールはブラウザ内で直接動作し、ソフトウェアをインストールせずにすばやく確認できます。
✓
入力はすぐに消去して再計算できるため、繰り返し行う小さな作業に便利です。
✓
長いテキスト、構造化データ、大きな結果を扱うときは全画面モードを使うと作業しやすくなります。
✓
コピー用のボタンで、結果をコード、文書、サポートのやり取りにすぐ転用できます。
✓
ほとんどの処理は決定的で、同じ入力と設定なら同じ結果になります。
✓
機密性の高い内容にはローカルで動くブラウザツールを使い、共有前に結果を確認してください。
その他のツール
ユーザーレビュー
レビューは公開前にチェックされます。私たちは本物の肯定的なフィードバックと具体的な批判を公開します。有用な詳細のないスパムや侮辱は公開されません。冒涜的な内容や個人的な詳細は隠されています。肯定的な投票はすぐにカウントされます。否定票はレビュー後にカウントされます。
レビューはユーザーの体験を反映したものであり、結果の保証やサービス制限の説明ではありません。レビューを残すには、上の評価ボタンを使用してください。
この言語で公開されたレビューはまだありません。
