基礎理論
X 及び Y はそれぞれ 0 又は 1 の値をとる変数である。X□Y を X と Y の論理演算としたとき、次の真理値表が得られた。X□Yの真理値表はどれか。
| X | Y | X AND (X□Y) | X OR (X□Y) |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 |
ア.X□Y: (0,0)→1, (0,1)→1, (1,0)→0, (1,1)→0
イ.X□Y: (0,0)→0, (0,1)→0, (1,0)→0, (1,1)→1
ウ.X□Y: (0,0)→1, (0,1)→1, (1,0)→0, (1,1)→1正解
エ.X□Y: (0,0)→1, (0,1)→1, (1,0)→1, (1,1)→0
解説
AND列はX=0のとき常に0（手がかりゼロ）、OR列はX=0のときX□Yそのものになる——「片方の扉しか開かない密室」を使いこなすことで演算を特定できます。
なぜ ウ が正解か
X=0の行ではAND列は必ず0なので情報ゼロ、無視してOK。代わりにOR列を見ると全行1なので『X=0のときX□Yは常に1』と確定します。X=1の行ではAND = X□Yそのものになるので、(1,0)→0、(1,1)→1と直読みできます。まとめると『X=0なら1、X=1ならYと同値』＝¬X OR Y（論理含意）の真理値表がウ——「Xが0（雨が降らない）なら何があっても約束を守ったことになる」あの含意演算です。
出典: 基本情報技術者試験 令和6年 公開問題