基礎理論
基本情報技術者試験 科目A免除 修了試験 20130127 実施分 問2
関数 eq(X, Y)は，引数 X と Y の値が等しければ 1 を返し，異なれば 0 を返す。整数 A, B, C について，eq(eq(A, B), eq(B, C))を呼び出したとき，1 が返ってくるための必要十分条件はどれか。
- ア (A = B かつ B = C)又は(A ≠ B かつ B ≠ C)
- イ (A = B かつ B = C)又は(A ≠ B 又は B ≠ C)
- ウ (A = B かつ B = C)又は A = C
- エ (A = B 又は B = C)又は A = C
出典：基本情報技術者試験 科目A免除 修了試験 20130127 実施分 問2
答えと解説を見る
正解：ア
覚える知識
等価判定関数eqの入れ子の必要十分条件
外側の eq が 1 を返すのは、内側の 2 つの eq の結果が同じ(ともに 1 かともに 0)のときである。
この問題で必要なこと
eq(A,B) と eq(B,C) が等しくなるのは、両方 1(A=B かつ B=C)か、両方 0(A≠B かつ B≠C)のときである。
ひっかけ
A=C だけでは、A≠B かつ B=C のような場合を除けない。ウ・エは条件が緩すぎる。
この知識の出題：本試験系 0 回・免除試験 3 回（公開問題での観測値）