基本情報技術者試験 基本情報技術者試験 令和2年度 科目A 修了認定試験 午前 問2: 論理式 ¬((¬A + B)·(A + ¬C)) と等しいものはどれか。ここで、・は論理積、＋は論理和、¬X は X の否定を表す。

正解

ア. A·¬B + ¬A·C

正答率 55.1%（972人中 536人が正解）

問題の解説

ド・モルガンの法則により ¬((¬A + B)·(A + ¬C)) = ¬(¬A + B) + ¬(A + ¬C) = (A·¬B) + (¬A·C)。

選択肢ごとの解説

• アド・モルガンの展開で得られる A·¬B + ¬A·C=正解。
• イこれは元の式そのもの（の片側）を変形した別の式。
• ウこれは双対の式で全体否定の関係にはない。
• エこれは元の式（否定前）そのもの。