基礎理論
基本情報技術者試験 科目A免除 修了試験 20130623 実施分 問2
次の真理値表で，変数X，Y，Zに対する関数Fを表す式はどれか。ここで，“・”は論理積，“+”は論理和，Āは Aの否定を表す。
| X | Y | Z | F |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
答えを選ぶ
出典：基本情報技術者試験 科目A免除 修了試験 20130623 実施分 問2（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：ア
覚える知識
真理値表からの論理式導出
真理値表のF=1の行を論理積で表し、論理和で結ぶと論理式が得られる。
この問題で必要なこと
F=1となる行(001,010,110,111)を積和形で表し、各選択肢が同じ真理値になるか確かめる。ア:X̄ȲZ+XY+YZ̄が全行一致。
ひっかけ
イ・ウ・エは一部の行(001や010)を欠く、または余計な行でFが1になる。
この知識の出題：本試験系 2 回・免除試験 2 回（公開問題での観測値）