平成29年度 春期 応用情報技術者試験 午前 問48

確認すべきことは次の2点です。 - 分岐網羅：判定「x≧1 or y＝1」と判定「y＞1」のそれぞれで，YesとNoの両方を通ること - 条件網羅：個々の条件「x≧1」「y＝1」「y＞1」のそれぞれが，真と偽の両方になること

• ア: (2,2)，(1,2)
  誤り。どちらのデータでも x≧1 が真になり，1つ目の判定は常にYesです。Noを通らず，分岐網羅を満たしません。また y＝1 も真になりません。

• イ: (1,2)，(0,0)
  誤り。分岐網羅は満たしますが，y＝1 が真になるデータがないため，条件網羅を満たしません。

• ウ: (1,2)，(1,1)，(0,1)
  誤り。いずれも「x≧1 or y＝1」が真になり，1つ目の判定でNoを通らないため，分岐網羅を満たしません。

• エ: (1,2)，(0,1)，(0,2)
  正しい。(1,2)：x≧1 真，y＝1 偽 → Yes，y＞1 真 → Yes
  (0,1)：x≧1 偽，y＝1 真 → Yes，y＞1 偽 → No
  (0,2)：x≧1 偽，y＝1 偽 → No，y＞1 真 → Yes
  全ての判定でYes／Noを通り，全ての条件が真／偽の両方になるので，分岐網羅と条件網羅の両方を満たします。

答え

エ: x＝1，y＝2／x＝0，y＝1／x＝0，y＝2