《機械》〈情報伝送及び処理〉[H18:問14]真理値表からの論理式の導出に関する計算問題

【問題】

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

入力信号\( \ A \ \)，\( \ B \ \)及び\( \ C \ \)，出力信号\( \ X \ \)の論理回路の真理値表が次のように示されたとき，\( \ X \ \)の論理式として，正しいのは次のうちどれか。

　(1)　\( \ X=A \cdot C+A \cdot \overline B +\overline A \cdot B \cdot \overline C \ \)

　(2)　\( \ X=A \cdot C+ B +\overline A \cdot \overline C \ \)

　(3)　\( \ X=A \cdot \overline C+A \cdot \overline B + \cdot B \cdot \overline C \ \)

　(4)　\( \ X=A \cdot \overline B \cdot C +A \cdot B \cdot \overline C+\overline A \cdot B \cdot C+\overline A \cdot \overline B \cdot \overline C \ \)

　(5)　\( \ X= B +A \cdot \overline C \ \)

【ワンポイント解説】

真理値表から論理式を求める問題です。
ブール代数とカルノー図を用いた方法がありますが，カルノー図を利用した導出の方が早く解けるので，そちらをオススメします。

1.カルノー図
図1のように，真理値表を整理して，ブール代数を簡略化して解く方法です。カルノー図を使用する際，以下のルールがあります。
・\( \ 00 \ \)，\( \ 01 \ \)，\( \ 11 \ \)，\( \ 10 \ \)の順に描く。
・\( \ 0 \ \)を書かず，\( \ 1 \ \)のみを記載する。
・なるべく大きな長方形で囲い，式を整理する。
・一番上と一番下及び一番左と一番右は繋がっていると考える。

2.ブール代数の法則
以下の法則は覚えるのではなく，高校生の数学で習った集合の内容を思い出し，頭でイメージするようにして下さい。
私も公式として覚えているのはド・モルガンの定理ぐらいかと思います。
①恒等則
　\(1+A=1\)，\(0\cdot A=0\)，\(0+A=A\)，\(1\cdot A =A\)

②べき等則
　\(A+A=A\)，\(A\cdot A=A\)

③補元則
　\(A\cdot \overline A=0\)，\(A +\overline A=1\)

④二重否定
　\(\overline {\overline A}=A\)

⑤交換則
　\(A+B=B+A\)，\(A\cdot B =B\cdot A\)

⑥結合則
　\(A+(B+C)=(A+B)+C\)，\(A\cdot (B\cdot C)=(A\cdot B)\cdot C\)

⑦分配則
　\(A\cdot (B+C)=A\cdot B +A\cdot C\)，\(A+(B\cdot C)=(A+B)\cdot (A+C)\)

⑧吸収則
　\(A\cdot (A+B)=A\)，\(A+A\cdot B=A\)

⑨ド・モルガンの定理
　\(\overline {A+B}=\overline A \cdot \overline B\)，\(\overline {A\cdot B}=\overline A +\overline B\)

【解答】

解答：(5)
与えられた真理値表に沿ってカルノー図を描くと図2のようになる。

図2より，\( \ X \ \)の論理式は，
\[
\begin{eqnarray}
X&=& B +A \cdot \overline C \\[ 5pt ] \end{eqnarray}
\] と求められる。

【別解】
真理値表より，\( \ X \ \)の論理式は，
\[
\begin{eqnarray}
X&=&\overline A \cdot B \cdot \overline C +\overline A \cdot B \cdot C+A \cdot \overline B \cdot \overline C+A \cdot B \cdot\overline C+ A \cdot B \cdot C \\[ 5pt ] \end{eqnarray}
\] となるので，これをワンポイント解説「2.ブール代数の法則」に沿って整理すると，
\[
\begin{eqnarray}
X&=& \overline A \cdot B \cdot \overline C +\overline A \cdot B \cdot C+A \cdot \overline B \cdot \overline C+A \cdot B \cdot\overline C+ A \cdot B \cdot C \\[ 5pt ] &=& \overline A \cdot B \cdot \overline C +\overline A \cdot B \cdot C+A \cdot \overline B \cdot \overline C+A \cdot B \cdot\overline C+A \cdot B \cdot\overline C+ A \cdot B \cdot C　\left( べき等則\right) \\[ 5pt ] &=& \overline A \cdot B \cdot \left( \overline C + C\right) +A \cdot \left( \overline B + B\right) \cdot \overline C+A \cdot B \cdot \left( \overline C+C\right) 　\left( 分配則\right)\\[ 5pt ] &=& \overline A \cdot B \cdot 1 +A \cdot 1 \cdot \overline C+A \cdot B \cdot 1　\left( 補元則\right) \\[ 5pt ] &=& \overline A \cdot B +A \cdot \overline C+A \cdot B 　\left( 恒等則\right) \\[ 5pt ] &=& \overline A \cdot B +A \cdot B +A \cdot \overline C 　\left( 交換則\right) \\[ 5pt ] &=& \left( \overline A + A\right) \cdot B +A \cdot \overline C 　\left( 分配則\right) \\[ 5pt ] &=& 1 \cdot B +A \cdot \overline C 　\left( 補元則\right) \\[ 5pt ] &=& B +A \cdot \overline C 　\left( 恒等則\right) \\[ 5pt ] \end{eqnarray}
\] と求められる。