×
論理演算と集合

この法則が特に有用なのは、プログラムのソースコードをリファクタリング(整理・改善)する場面です。例えば「〜でない限り、処理を実行しない」といった二重否定や複雑な条件式は、人間にとって直感的に理解しづらく、条件の記述漏れや想定外のバグを生み出す温床となります。ド・モルガンの法則を適用することで、括弧でくくられた全体の否定を個別の否定に分解したり、逆に個別の否定をまとめて全体の否定に変換したりすることができ、人間が読みやすく論理的誤りの少ないコードに修正することが可能になります。また、デジタル回路の設計においても、NANDゲート(ANDの否定)やNORゲート(ORの否定)を組み合わせて回路を最適化・単純化する際に、このド・モルガンの法則が数学的な根拠として不可欠となります。論理回路を最小の部品数で実現するためには、この法則を用いた論理式の変形が日常的に行われます。

試験でのポイント

情報処理技術者試験において、ド・モルガンの法則は論理演算や論理回路の分野で非常に高い頻度で出題される最重要テーマの一つです。試験では、複雑な論理式が提示され、「これと等価な論理式はどれか」を選択する問題が定番です。この種の問題を解く際には、ド・モルガンの法則を使って式を展開、あるいはまとめる作業が必須となります。特に、否定の記号(式の上につくオーバーラインなど)を分割したり繋げたりする際に、演算子(ANDとOR)を反転させるという操作を正確に行えるかが問われます。

また、ベン図を用いた集合の問題として出題されることもあります。この場合、「AとBの共通部分の補集合」が「Aの補集合とBの補集合の和集合」と一致することを、図形の塗りつぶし領域として視覚的に理解できているかがポイントになります。試験本番で複雑な式を見て混乱してしまった場合は、AとBにそれぞれ具体的な真(1)と偽(0)の値を当てはめた真理値表を書き出し、選択肢の式と同じ結果になるかを確認するという泥臭い手法も有効です。論理式の簡略化問題は得点源になりやすいため、過去問を繰り返し解いて法則の適用に慣れておくことが合格への近道です。

関連する用語

論理式、論理演算、真理値表