論理式の変換ツール
1行に1件ずつ入力：最小項モードは「変数; 行番号」例 A,B,C; 0,2,5,7（または 3; 0,2,5,7）、式モードは SOP 例 A'B + AC' または POS 例 (A+B')(A'+C)
入力モード:
変数の順序:
区切り文字:
計算結果
CSVをダウンロード
| 番号 | 形式 | 論理式 | 最小項 Σm | 最大項 ΠM |
|---|
ツールの紹介と使い方
ブール論理式の双方向変換ツールです。1つの入力欄で「積和形 ⇄ 和積形」「ミンターム ⇄ マクスターム」「真理値表の行番号 ⇄ 標準形」の3種類を相互変換します。1行1件でまとめて処理できます。
3つの入力モード：
1. ミンタームリスト → 式: 「変数リスト; 行番号」と記述します。例:
2. SOP 式 → POS: 例
3. POS 式 → SOP: 例
対応記法: 否定は後置
各行に4つの等価形を示します: 標準 SOP（Σm）、標準 POS（ΠM）、ミンターム番号、マクスターム番号。変数順は「初出順」または「アルファベット順」を選べ、ビット順を決めるため行番号に直接影響します（並べ替え時は行番号が自動で再換算されます）。
内部実装では eval や new Function を使わず、独自に「字句解析 → 再帰下降 → 構文木 → 再帰評価」を実装し、最大 2^8 = 256 行で真理値表を列挙してから行番号から標準 SOP/POS を生成し（カルノー図とは無関係の代数法）、最後に「ミンタームとマクスタームが全行を過不足なく被覆し互いに重複せず、元の式の行ごとの評価と一致する」ことを検証し、不一致は明確に通知して規範的で検証可能な結果を保証します。本ツールは式の形の相互変換のみを行い、完全な真理値表は出力しません（真理値表の生成は「真理値表ジェネレーター」を使用してください）。
3つの入力モード：
1. ミンタームリスト → 式: 「変数リスト; 行番号」と記述します。例:
A,B,C; 0,2,5,7。変数の個数だけを 3; 0,2,5,7 のように書いてもよく、変数は A、B、C と自動命名されます。行番号に Σm(...) を付けるとミンターム、ΠM(...) を付けるとマクスターム（自動で補集合を取ります）を表します。2. SOP 式 → POS: 例
A'B + AC'。3. POS 式 → SOP: 例
(A+B')(A'+C)。対応記法: 否定は後置
'、または前置 ! / ¬ / NOT。OR は + / | / OR。AND は . / * / AND、またはそのまま連記（AB は A AND B）。変数は1文字の英字、または英字と数字（A、B1、x2）で、最大8変数です。定数 0 / 1 にも対応します。各行に4つの等価形を示します: 標準 SOP（Σm）、標準 POS（ΠM）、ミンターム番号、マクスターム番号。変数順は「初出順」または「アルファベット順」を選べ、ビット順を決めるため行番号に直接影響します（並べ替え時は行番号が自動で再換算されます）。
内部実装では eval や new Function を使わず、独自に「字句解析 → 再帰下降 → 構文木 → 再帰評価」を実装し、最大 2^8 = 256 行で真理値表を列挙してから行番号から標準 SOP/POS を生成し（カルノー図とは無関係の代数法）、最後に「ミンタームとマクスタームが全行を過不足なく被覆し互いに重複せず、元の式の行ごとの評価と一致する」ことを検証し、不一致は明確に通知して規範的で検証可能な結果を保証します。本ツールは式の形の相互変換のみを行い、完全な真理値表は出力しません（真理値表の生成は「真理値表ジェネレーター」を使用してください）。
操作手順
- 1行1件で、選んだ入力モードに従ってミンタームリストまたは論理式を記入します。
- 入力モードと変数順を選びます。
- 実行ボタンをクリック。
- 4つの等価形の変換結果をコピーまたはエクスポートします。
掲示板
すべての投稿 →-
まだ誰も書いていません。最初の一人になりませんか？