3入力 A, B, C のうち、ちょうど2つが1のときだけ出力が1になる論理関数を、主加法標準形（最小項の論理和）で表すとき、最小項はいくつ必要か。

解説

正解は「3」です。3入力の組合せは8通りで、そのうちちょうど2つが1になるのは (A, B, C) が (0, 1, 1)、(1, 0, 1)、(1, 1, 0) の3通りです。主加法標準形では、出力が1になる組合せごとに最小項（全変数の積）を1つ作るので、$\overline{A}BC+A\overline{B}C+AB\overline{C}$ の3項になります。これらはカルノー図上で互いに隣接しないため、まとめられません。「2」は組合せを数え落としています。「4」は、すべてが1の (1, 1, 1) も含めた「2つ以上が1」（多数決）の場合の数です。「6」は、3つから2つを選ぶ順列 $3\times 2$ を計算した誤りで、選ぶ順序は区別しません。