応用情報技術者 試験情報＆徹底解説

問題文の真理値表から任意のパターンを選択して各論理式に当てはめていくことで正解を導きます。

なるべくTとFを混じっているパターンを選んだほうが結果が異なりやすいので、最初に「x=T，y=F，z=T，結果T」のパターンを代入してみます。

• 　(T∧F)∨(F∧T)＝F∨F＝F …×
• 　(T∧F)∨(F∧T)
  ＝(T∧F)∨(T∧T)＝F∨T＝T …○
• 　(T∧F)∨(F∧T)
  ＝(T∧F)∨(T∧F)＝F∨F＝F …×
• 　(T∧F)∨(F∧T)
  ＝(T∧T)∨(T∧F)＝T∨F＝T …○

この時点で「ア」「ウ」は候補から除外されます。
続いて「x=F，y=F，z=F，結果F」のパターンを試します。

• 「イ」(F∧F)∨(F∧T)＝F∨F＝F …○
• 「エ」(F∧F)∨(F∧F)
  ＝(F∧T)∨(T∧T)＝F∨T＝T …×

以上の結果から真理値表の結果を満たす論理式は「イ」であることがわかります。