基礎理論
平成21年度 春期 基本情報技術者試験 午前 問3
論理式 ¬((¬A+B)・(A+¬C)) と等しいものはどれか。ここで，・は論理積，+は論理和，¬X は X の否定を表す。
原文は否定を上線（オーバーライン）で表記。問題の論理式は (Ā+B)・(Ā…) ではなく、全体 (Ā+B)・(A+C̄) に長い上線が掛かる＝式全体の否定。Ā は A の上線、C̄ は C の上線。選択肢中の ¬B, ¬A, ¬C も同様に上線付き。
答えを選ぶ
出典：平成21年度 春期 基本情報技術者試験 午前 問3（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：ア
覚える知識
ド・モルガンの法則による論理式変換
¬(X・Y)=¬X+¬Y、¬(X+Y)=¬X・¬Y が成り立つ。
この問題で必要なこと
全体否定にド・モルガンの法則を適用すると (A・¬B)+(¬A・C) になる。
ひっかけ
否定の分配時に論理積と論理和の入れ替えを忘れる。
この知識の出題：本試験系 3 回・免除試験 6 回（公開問題での観測値）