真理値表から論理式を求めるツール
1 行につき 1 つの真理値表：「変数表; 出力が 1 になる行番号」（A,B,C; 0,2,5,7）または「変数表; 出力列」（A,B; 1100、1 文字目が全 0 の行）
入力モード:
変数の個数:
ドントケア:
簡略化:
式の形:
表記:
代入検証:
最大出力行数:
区切り文字:
計算結果
CSVをダウンロード
| 番号 | 形式 | 論理式 | 項数 | 検証 |
|---|
ツールの紹介と使い方
真理値表を入力し、最も簡潔な論理式を逆算します。ミンタームを「変数リスト; 出力が 1 の行番号」で書く（例
このツールは本格的な簡約（Quine-McCluskey: 素因項 → 必須項 ＋ Petrick 最小被覆）を行い、標準積和形 Σm、最簡積和形、最簡和積形 ΠM の3形式を出力します。記法は記号式（
2点の注意: ① 出力列の先頭の文字が「全 0 の行」（行番号 0）に対応し、その後は2進順に増えます。文字は
A,B,C; 0,2,5,7）か、出力列を直接書けます（例 A,B; 1100）。このツールは本格的な簡約（Quine-McCluskey: 素因項 → 必須項 ＋ Petrick 最小被覆）を行い、標準積和形 Σm、最簡積和形、最簡和積形 ΠM の3形式を出力します。記法は記号式（
A'B + AC'）または文字式（(NOT A AND B) OR (A AND NOT C)）を選べます。2点の注意: ① 出力列の先頭の文字が「全 0 の行」（行番号 0）に対応し、その後は2進順に増えます。文字は
1 / 0 / x（不定項。- も可）を使い、長さは変数の個数の 2 乗に等しくなければなりません；② 「不定項」にチェックするとミンタームがさらに簡約されます（d(...) の行はミンタームと衝突しない範囲で 0 または 1 を自由に取れます）。デフォルト3変数、最大6変数です。各行の結果はその式を真理値表へ戻して行ごとに照合し、すべて一致した場合のみ「通過」を表示します。
操作手順
- 入力モードに従い、1行ごとにミンタームの行番号または出力列を記入します。
- 簡約方法、式の形式、記法スタイルを設定します。
- 実行ボタンをクリック。
- 標準形／最簡形と検算結果をコピーします。
掲示板
すべての投稿 →-
まだ誰も書いていません。最初の一人になりませんか？