基礎理論
基本情報技術者試験 科目A免除 修了試験 200912 実施分 問4
関数 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免除 修了試験 200912 実施分 問4
答えと解説を見る
正解：ア
覚える知識
等価判定関数eqの入れ子の必要十分条件
eq(X,Y)は同値演算（XNOR）であり、二つの真偽が一致するときに1を返す。
この問題で必要なこと
eq(eq(A,B),eq(B,C))が1になるのは、eq(A,B)とeq(B,C)が同じ値のとき。つまり、AとB、BとCがともに等しい、またはともに異なるときである。
ひっかけ
イは「又は」の使い方が誤り。ウとエは、AとCが等しいときを含めてしまう。
この知識の出題：本試験系 0 回・免除試験 3 回（公開問題での観測値）