平成18年春期試験問題 午前問5

x,y,z を論理変数,Tを真,Fを偽とするとき,次の真理値表で示される関数 ƒ(x,y,z) を表す論理式はどれか。ここで∧は論理積,∨は論理和,AはAの否定を表す。
05.png

  • (x∧y)∨(y∧z)
  • (x∧y)∨(y∧z)
  • (x∧y)∨(yz)
  • (x∧y)∨(yz)
正解 問題へ
分野:テクノロジ系
中分類:基礎理論
小分類:離散数学
解説
問題文の真理値表から任意のパターンを選択して各論理式に当てはめていくことで正解を導きます。

なるべく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)∨(FT)
    =(T∧F)∨(T∧F)=F∨F=F …×
  •  (T∧F)∨(FT)
    =(T∧T)∨(T∧F)=T∨F=T …○
この時点で「ア」「ウ」は候補から除外されます。
続いて「x=F,y=F,z=F,結果F」のパターンを試します。
  • 「イ」(F∧F)∨(F∧T)=F∨F=F …○
  • 「エ」(F∧F)∨(FF)
    =(F∧T)∨(T∧T)=F∨T=T …×
以上の結果から真理値表の結果を満たす論理式は「イ」であることがわかります。

この問題の出題歴


Pagetop