基礎理論
基本情報技術者試験 科目A免除 修了試験 20210124 実施分 問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・¬B+¬A・C
- イ ¬A・B+A・¬C
- ウ (A+¬B)・(¬A+C)
- エ (¬A+B)・(A+¬C)
出典：基本情報技術者試験 科目A免除 修了試験 20210124 実施分 問2
答えと解説を見る
正解：ア
覚える知識
ド・モルガンの法則による論理式変換
論理積・論理和の否定は、各項を否定して演算を入れ替えたものに等しい。
この問題で必要なこと
¬(X・Y)=¬X+¬Y、¬(X+Y)=¬X・¬Yを適用して否定を内側へ展開する。結果はA・¬B+¬A・Cとなる。
ひっかけ
否定の分配時に演算(・と+)を入れ替え忘れると、イやウなどの形になる。
この知識の出題：本試験系 3 回・免除試験 6 回（公開問題での観測値）