図1～図5に示すベン図において、A、B及びCが、それぞれの円の内部を表すとき、斜線部分を示す論理式が$\scriptsize{} \overline{\scriptsize{A} \cdot \scriptsize{C}} \cdot \scriptsize{B} + \overline{\scriptsize{A} \cdot \scriptsize{B}} \cdot \scriptsize{C}$と表すことができるベン図は、$\boxed{　　　}$である。

正解　4

$\scriptsize{} \overline{\scriptsize{A} \cdot \scriptsize{C}} \cdot \scriptsize{B} + \overline{\scriptsize{A} \cdot \scriptsize{B}} \cdot \scriptsize{C}$のカルノー図を描くと以下となる。

カルノー図より、以下の論理式が導ける。
$$\scriptsize{} \scriptsize{B} \cdot \overline{\scriptsize{C}} + \overline{\scriptsize{B}} \cdot \scriptsize{C} + \overline{\scriptsize{A}} \cdot \scriptsize{C}$$

ここで、$\scriptsize{} \scriptsize{B} \cdot \overline{\scriptsize{C}} + \overline{\scriptsize{B}} \cdot \scriptsize{C}$は、BとCの排他的論理和を表す。
あとは、$\scriptsize{} \overline{\scriptsize{A}} \cdot \scriptsize{C}$を加えれば、図４のようになる。

ポイント

• 変数の消去の意味:ブール代数で $(\overline{C} + C) = 1$ によって特定変数が消去された場合、その変数（円C）の境界線をまたいだ両方の領域が解答に含まれることを意味します。
• 領域の重なり: $\overline{A} \cdot B$ は「Aの外側」かつ「Bの内側」であり、Cの範囲に関しては限定されない点に注意しましょう。

重要用語