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

【問題】

【難易度】★★★☆☆(普通)

入力信号が\( \ \mathrm {A} \ \),\( \ \mathrm {B} \ \)及び\( \ \mathrm {C} \ \),出力信号が\( \ \mathrm {X} \ \)の論理回路が次の真理値表を満たしているとき,\( \ \mathrm {X} \ \)の論理式として,正しいものを次の(1)~(5)のうちから一つ選べ。

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

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

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

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

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

【ワンポイント解説】

真理値表から論理式を求める問題です。
電験の参考書には掲載が少ないですが,カルノー図を利用した導出の方が早く解けるので,そちらをオススメします。
本問は平成12年問11からの再出題となります

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より,\( \ \mathrm {X} \ \)の論理式は,
\[
\begin{eqnarray}
\mathrm {X}&=& \mathrm {\overline A \cdot \overline B +\overline B \cdot \overline C+\overline C \cdot \overline A} \\[ 5pt ] \end{eqnarray}
\] と求められる。

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