ハードウェア
基本情報技術者試験 科目A免除 修了試験 20150125 実施分 問2
論理式 A∨(¬A∧B) と等価なものはどれか。ここで，∧は論理積，∨は論理和，¬X は X の否定を表す。
- ア A∧B
- イ A∧¬B
- ウ A∨B
- エ A∨¬B
出典：基本情報技術者試験 科目A免除 修了試験 20150125 実施分 問2
答えと解説を見る
正解：ウ
覚える知識
論理式の簡略化と等価な論理回路の判定
A∨(¬A∧B)は分配則により(A∨¬A)∧(A∨B)=A∨Bと等価である。
この問題で必要なこと
A∨(¬A∧B)は吸収・分配則でA∨Bに簡略化できる。Aが真ならAが真、偽ならBの値で決まる。
ひっかけ
A∧BやA∨¬Bは、AとBの真偽の組合せによって値が元の式と食い違う。
この知識の出題：本試験系 4 回・免除試験 11 回（公開問題での観測値）