基礎理論
基本情報技術者試験 科目A免除 修了試験 20140622 実施分 問3
論理式 ¬((¬A+B)・(A+¬C)) と等しいものはどれか。ここで，・は論理積，+は論理和，¬X（原文は X の上線）は X の否定を表す。
原文は否定を変数の上線で表記。問題の論理式は (Ā+B)・(A+C̄) 全体に上線（全体の否定）。選択肢: ア A・B̄+Ā・C，イ Ā・B+A・C̄，ウ (A+B̄)・(Ā+C)，エ (Ā+B)・(A+C̄)。本文中の ¬ は上線の代替表記。
答えを選ぶ
出典：基本情報技術者試験 科目A免除 修了試験 20140622 実施分 問3（問題文は IPA の公開問題。解説は当サイト作成）
解説に誤りを見つけたら、解説の誤りを報告してください。
答えと解説を見る
正解：ア
覚える知識
ド・モルガンの法則による論理式変換
ド・モルガンの法則は、積の否定は否定の和、和の否定は否定の積になるというものである。
この問題で必要なこと
¬(X・Y)=¬X+¬Y、¬(X+Y)=¬X・¬Y を用い、¬(¬A+B)=A・¬B、¬(A+¬C)=¬A・C として和を取る。
ひっかけ
否定を分配する際に積と和を入れ替え忘れた式（エ）や、変数側の否定を取り違えた式（イ・ウ）に誘導する。
この知識の出題：本試験系 3 回・免除試験 6 回（公開問題での観測値）。頻出知識ランキング180位（全1,254件中）。