4変数 A, B, C, D のカルノー図で、隣接する1のマス4個（2×2 の正方形や1列4個）を1つのグループにまとめると、そのグループを表す積の項に残る変数の数はいくつか。

解説

正解は「2」です。カルノー図では、隣接する $2^k$ 個のマスをまとめると、その中で値が変化する k 個の変数が消えます。4個は $2^2$ 個なので、4変数のうち2変数が消え、2変数の積が残ります。例えば、AB が01と11、CD が00と01の4マスでは、A と D が変化するので消え、$B\overline{C}$ が残ります。「1」は8個のマスをまとめた場合で、3変数が消えます。「3」は2個のマスをまとめた場合です。「4」は1個のマスだけの場合で、最小項そのものです。グループはできるだけ大きく、かつ個数が2のべき乗になるようにとるのが簡単化のこつです。