カルノー図の行や列の見出しを 00, 01, 11, 10 の順に並べる理由として、適切なものはどれか。

解説

正解は「隣り合うマスの変数の値が1ビットだけ異なるようにするため」です。00, 01, 11, 10 はグレイコードの順で、隣接する見出しは1ビットしか変わらず、両端の10と00も1ビットの違いです。そのため、隣り合う1のマス（左右の端どうし、上下の端どうしも含む）をまとめると、値が変化する変数が消え、論理式を簡単化できます。「2進数の昇順に並べるため」は誤りで、昇順なら 00, 01, 10, 11 となり、01と10の間で2ビット変わってしまいます。「出力が1になるマスを左上に集めるため」や「ドントケアのマスを右端にそろえるため」も、見出しの順序とは関係ありません。