論理式 A‾⋅B‾⋅C+A⋅B‾⋅C+A‾⋅B⋅C+A⋅B⋅C\overline{A} \cdot \overline{B} \cdot C + A \cdot \overline{B} \cdot C + \overline{A} \cdot B \cdot C + A \cdot B \cdot CA⋅B⋅C+A⋅B⋅C+A⋅B⋅C+A⋅B⋅C と恒等的に等しいものはどれか。ここで,⋅\cdot⋅ は論理積,+++ は論理和,A‾\overline{A}A は AAA の否定を表す。
A⋅B⋅CA \cdot B \cdot CA⋅B⋅C
A⋅B⋅C+A‾⋅B‾⋅CA \cdot B \cdot C + \overline{A} \cdot \overline{B} \cdot CA⋅B⋅C+A⋅B⋅C
A⋅B+B⋅CA \cdot B + B \cdot CA⋅B+B⋅C
CCC
与式は 4 つの項すべてに CCC が共通しているので,CCC でくくり出す。
A‾ B‾ C+A B‾ C+A‾ B C+A B C=C⋅(A‾ B‾+A B‾+A‾ B+A B)\overline{A}\,\overline{B}\,C + A\,\overline{B}\,C + \overline{A}\,B\,C + A\,B\,C = C \cdot (\overline{A}\,\overline{B} + A\,\overline{B} + \overline{A}\,B + A\,B)ABC+ABC+ABC+ABC=C⋅(AB+AB+AB+AB)
括弧内を B‾\overline{B}B と BBB で整理すると,
A‾ B‾+A B‾+A‾ B+A B=B‾(A‾+A)+B(A‾+A)=B‾⋅1+B⋅1=B‾+B=1\overline{A}\,\overline{B} + A\,\overline{B} + \overline{A}\,B + A\,B = \overline{B}(\overline{A} + A) + B(\overline{A} + A) = \overline{B} \cdot 1 + B \cdot 1 = \overline{B} + B = 1AB+AB+AB+AB=B(A+A)+B(A+A)=B⋅1+B⋅1=B+B=1
したがって,与式は C⋅1=CC \cdot 1 = CC⋅1=C と等しくなる。正解は「エ」である。