基礎理論
基本情報技術者試験 科目A免除 修了試験 20190609 実施分 問2
論理式 ¬((¬A+B)・(A+¬C)) と等しいものはどれか。ここで，・は論理積，+は論理和，X の上線は X の否定を表す。
原文では否定は変数または式全体の上線。ここでは ¬ で表記。問題文の式は (A の上線+B)・(A+C の上線) 全体に上線が掛かっている。
- ア A・¬B+¬A・C
- イ ¬A・B+A・¬C
- ウ (A+¬B)・(¬A+C)
- エ (¬A+B)・(A+¬C)
出典：基本情報技術者試験 科目A免除 修了試験 20190609 実施分 問2
答えと解説を見る
正解：ア
覚える知識
ド・モルガンの法則による論理式変換
¬(X・Y)=¬X+¬Y、¬(X+Y)=¬X・¬Y が成り立つ。
この問題で必要なこと
¬((¬A+B)・(A+¬C)) にド・モルガンを適用すると ¬(¬A+B)+¬(A+¬C) = A・¬B + ¬A・C となる。
ひっかけ
否定の分配時に論理積と論理和の入れ替えや内側の否定の処理を誤らせる選択肢(イ・ウ・エ)。
この知識の出題：本試験系 3 回・免除試験 6 回（公開問題での観測値）