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