基礎理論
平成23年度 特別試験 基本情報技術者試験 午前 問1
論理式 (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̅)
出典：平成23年度 特別試験 基本情報技術者試験 午前 問1
答えと解説を見る
正解：ア
覚える知識
ド・モルガンの法則による論理式変換
論理積の否定は各項の否定の論理和、論理和の否定は各項の否定の論理積になる(¬(X・Y)=¬X+¬Y、¬(X+Y)=¬X・¬Y)。
この問題で必要なこと
式全体の否定にド・モルガンの法則を適用し、¬(X・Y)=¬X+¬Y、¬(P+Q)=¬P・¬Q で展開する。
ひっかけ
全体の否定を見落として元の式(エ)や、各項の否定だけ取った式(イ・ウ)を選ばせる。
この知識の出題：本試験系 3 回・免除試験 6 回（公開問題での観測値）