論理回路やブール代数の課題では、与えられた論理式を加法標準形（主加法標準形）に変換し、その中に含まれる最小項を求める問題が頻繁に出題されます。しかし、最小項が16個並ぶ選択問題では、どのように展開すればよいのか迷うことも少なくありません。この記事では、加法標準形への変換方法を途中式を含めて解説します。
加法標準形とは何か
加法標準形とは、論理式を全ての変数を含む積項（AND項）の和（OR）として表した形です。
例えば4変数A、B、C、Dの場合、最小項は16個存在します。
| 最小項の例 | 内容 |
|---|---|
| A’B’C’D’ | 全て0 |
| A’B’C’D | Dのみ1 |
| ABCD | 全て1 |
加法標準形では、各項に必ず全ての変数が現れます。
加法標準形への基本変換
例えば、ある項がABだけだったとします。
このままではCとDが不足しています。
そこで恒等式
X=X(C+C’)
を利用します。
すると
AB=AB(C+C’)
さらにDについても同様に展開します。
AB(C+C’)(D+D’)
これを分配法則で展開すると、全ての変数を含む最小項の和になります。
実際の展開手順
例えば項がA’Cであった場合を考えます。
不足している変数はBとDです。
まず
A’C=A’C(B+B’)(D+D’)
と変形します。
続いて分配法則を適用すると、
A’CB’D’+A’CB’D+A’CBD’+A’CBD
の4つの最小項が得られます。
このようにして各項を展開し、最後に重複を整理します。
選択問題を効率的に解くコツ
最小項が16個並ぶ問題では、全展開より真理値表を利用した方が速い場合があります。
各変数の組み合わせについて論理式の値を計算し、出力が1になる組み合わせを探します。
その組み合わせに対応する最小項が、加法標準形に含まれる項です。
特に4変数程度であれば、真理値表やカルノー図を併用するとミスを減らせます。
なぜ写真の式がないと正解は求められないのか
加法標準形に含まれる具体的な最小項は、元の論理式によって決まります。
そのため、論理式の画像や数式が分からない状態では、どの最小項が正解かを判断することはできません。
ただし、どのような論理式でも「不足している変数を(X+X’)で補う→分配法則で展開する」という手順は共通です。
まとめ
加法標準形への変換では、全ての項に全ての変数を含めることがポイントです。
不足する変数については(X+X’)を掛け、分配法則で展開すると最小項の和に変換できます。
選択問題では真理値表を利用する方法も有効です。元の論理式が分かれば、この手順を用いて加法標準形に含まれる最小項を正確に求めることができます。
コメント