令和6年度 科目A 問1
離散数学
X□Yの真理値表
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・X □Y の3列の真理値表(各4行)。各肢を「X と Y の値:X □Y の値」の形で1行にたたんだ。
- アX=0,Y=0:0 / X=0,Y=1:0 / X=1,Y=0:0 / X=1,Y=1:1
- イX=0,Y=0:0 / X=0,Y=1:1 / X=1,Y=0:0 / X=1,Y=1:1
- ウX=0,Y=0:1 / X=0,Y=1:1 / X=1,Y=0:0 / X=1,Y=1:1
- エX=0,Y=0:1 / X=0,Y=1:1 / X=1,Y=0:1 / X=1,Y=1:0
答えと解説を見る
✓ これが正解ウX=0,Y=0:1 / X=0,Y=1:1 / X=1,Y=0:0 / X=1,Y=1:1
解説
X□Yは、Xが1でYが0の組のときだけ0になる演算です。
見分ける軸は、Xの値ごとに式がどう簡単になるかです。Xが0のとき、X OR (X□Y) は X□Y そのものの値になります。表ではXが0の2行とも OR の列が1なので、X□Y は (0,0) と (0,1) で1と決まります。Xが1のときは、X AND (X□Y) が X□Y そのものになります。表の AND の列は (1,0) で0、(1,1) で1なので、X□Y もそのとおりです。まとめると (0,0)→1、(0,1)→1、(1,0)→0、(1,1)→1 で、Xが1かつYが0の組だけ0になる真理値表が答えです。論理積は片方が1なら残りの値をそのまま通し、論理和は片方が0なら残りをそのまま通す、という性質を使うと、未知の論理演算を1行ずつ決められます。
ほかの選択肢はなぜ違うのか
- アX=0,Y=0:0 / X=0,Y=1:…:XとYがともに1のときだけ1になる表で、論理積そのものです。これを当てはめると、X=0、Y=0 の行で X OR の結果が0となり、設問の表に並ぶ1と食い違います。
- イX=0,Y=0:0 / X=0,Y=1:…:値がいつもYと同じになる表です。X=0、Y=0 の行を計算すると X OR の結果が0になりますが、設問の表では1です。Xが0の行には1が二つ並ぶ必要があります。
- エX=0,Y=0:1 / X=0,Y=1:…:XとYがともに1のときだけ0になる表で、否定論理積にあたります。X=1、Y=0 の行で X AND の結果が1になり、設問の表の0と合いません。X=1、Y=1 の行も食い違います。
この問題の用語
- OR数学の手法を使って、いくつかの案から最も有利なものを選ぶ考え方です。期待される費用や利益を計算して比べるときに使います。
出典:令和6年度 基本情報技術者試験 科目A 問1
同じ用語が出る問題
- 令和7年度 科目A 問6:SQLに関する問題(OR)
- 令和元年度 秋期 午前 問22:論理積に関する問題(OR)
- 平成31年度 春期 午前 問22(OR)
- 平成31年度 春期 午前 問2:論理積に関する問題(OR)
- 平成30年度 秋期 午前 問2:排他的論理和に関する問題(OR)
この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する(メールが開きます)