《機械》〈情報伝送及び処理〉[R01:問18]ブール代数に関する計算問題

【問題】

【難易度】★★★★☆（やや難しい）

論理関数について，次の(a)及び(b)の問に答えよ。

(a)　論理式\( \ X\cdot Y\cdot Z+X\cdot \overline Y\cdot \overline Z+ \overline X\cdot Y\cdot Z+X\cdot \overline Y\cdot Z \ \)を積和形式で簡単化したものとして，正しいものを次の(1)～(5)のうちから一つ選べ。

　(1)　\( \ X\cdot Y+X\cdot Z \ \)　　(2)　\( \ X\cdot \overline Y+Y\cdot Z \ \)　　(3)　\( \ \overline X\cdot Y+X\cdot Z \ \)
　(4)　\( \ X\cdot Y+\overline Y\cdot Z \ \)　　(5)　\( \ X\cdot Y+\overline X\cdot Z \ \)

(b)　論理式\( \ ( X+Y+Z) \cdot ( X+Y+\overline Z) \cdot ( X+\overline Y+Z) \ \)を和積形式で簡略化したものを次の(1)～(5)のうちから一つ選べ。

　(1)　\(( X+Y) \cdot ( X+Z) \)　(2)　\(( X+\overline Y) \cdot ( X+Z) \)　(3)　\(( X+Y) \cdot ( Y+\overline Z) \)
　(4)　\(( X+\overline Y) \cdot ( Y+Z) \)　(5)　\(( X+Z) \cdot ( Y+\overline Z) \)

【ワンポイント解説】

ブール代数の簡略化に関する問題です。法則はいろいろありますが，基本的に丸暗記する必要はありません。平成25年問18に問題形式が全く同じ問題が出題されています。

1.ブール代数の法則
ブール代数の法則は以下の表に示すように，様々なものがあります。一般的な数式と似ているものが多いので，私もしっかりと覚えているのはド・モルガンの定理ぐらいです。基本的には覚えるよりも理解する方が大事であると思います。
\[
\begin{array}{|c|c|}
\hline
同一則 & A\cdot A=A　A+A=A　\\
\hline
補元則 & A\cdot \overline A=0　A+\overline A=1　\\
\hline
復元則 & \overline {\overline A}=A　\\
\hline
交換則 & A\cdot B=B\cdot A　A+B=B+A \\
\hline
結合則 & A\cdot (B\cdot C)=(A\cdot B)\cdot C　A+(B+C)=(A+B)+C \\
\hline
分配則 & A\cdot (B+C)=A\cdot B+A\cdot C　(A+B)\cdot (A+C)=A+B\cdot C \\
\hline
吸収則 & {\displaystyle A\cdot (A+B)=A　A+A\cdot B=A} \atop {\displaystyle A+\overline A \cdot B=A+B　\overline A+ A \cdot B=\overline A+B} \\
\hline
ド・モルガンの定理 & \overline {A+B}=\overline A \cdot \overline B　\overline {A\cdot B}=\overline A + \overline B \\
\hline
\end{array}
\]

【解答】

(a)解答：(2)
論理式\( \ X\cdot Y\cdot Z+X\cdot \overline Y\cdot \overline Z+ \overline X\cdot Y\cdot Z+X\cdot \overline Y\cdot Z \ \)をワンポイント解説「1.ブール代数の法則」に沿って整理すると，
\[
\begin{eqnarray}
&&X\cdot Y\cdot Z+X\cdot \overline Y\cdot \overline Z+ \overline X\cdot Y\cdot Z+X\cdot \overline Y\cdot Z && \\[ 5pt ] &=&X\cdot Y\cdot Z+ \overline X\cdot Y\cdot Z+X\cdot \overline Y\cdot \overline Z+X\cdot \overline Y\cdot Z &(交換則)& \\[ 5pt ] &=&\left( X\cdot Y+ \overline X\cdot Y\right) \cdot Z+X\cdot \left( \overline Y\cdot \overline Z+\overline Y\cdot Z\right) &(分配則)& \\[ 5pt ] &=&\left( X+ \overline X\right) \cdot Y\cdot Z +X\cdot \overline Y\cdot \left( \overline Z+Z\right)&(分配則)& \\[ 5pt ] &=& 1 \cdot Y\cdot Z +X\cdot \overline Y\cdot 1　&(補元則)& \\[ 5pt ] &=& Y\cdot Z + X\cdot \overline Y　&(吸収則)& \\[ 5pt ] &=&X\cdot \overline Y+Y\cdot Z &(交換則)& \\[ 5pt ] \end{eqnarray}
\] と求められる。

(b)解答：(1)
論理式\( \ ( X+Y+Z) \cdot ( X+Y+\overline Z) \cdot ( X+\overline Y+Z) \ \)をワンポイント解説「1.ブール代数の法則」に沿って整理すると，
\[
\begin{eqnarray}
&&( X+Y+Z) \cdot ( X+Y+\overline Z) \cdot ( X+\overline Y+Z) && \\[ 5pt ] &=& X+ ( Y+Z) \cdot ( Y+\overline Z) \cdot (\overline Y+Z)　&(分配則)& \\[ 5pt ] &=& X+ ( Y+Z\cdot \overline Z) \cdot (\overline Y+Z)　&(分配則)& \\[ 5pt ] &=& X+ ( Y+0) \cdot (\overline Y+Z)　&(補元則)& \\[ 5pt ] &=& X+ Y \cdot (\overline Y+Z)　&(吸収則)& \\[ 5pt ] &=& X+ Y \cdot \overline Y+Y \cdot Z　&(分配則)& \\[ 5pt ] &=& X+ 0+Y \cdot Z　&(補元則)& \\[ 5pt ] &=& X+Y \cdot Z　&(吸収則)& \\[ 5pt ] &=& ( X+Y) \cdot ( X+Z)　&(分配則)& \\[ 5pt ] \end{eqnarray}
\] と求められる。