カルノー図
A ̄ ⋅ B ̄ ⋅ C {\displaystyle {\overline {A}}\cdot {\overline {B}}\cdot C}
である。
「図3」で論理式が真となる部分(「1」が記入されている部分)を、まとめると「図4」のようになる。「図4」で(1)(2)(3)は、それぞれ
A ⋅ C ̄ ⋅ D ̄ {\displaystyle A\cdot {\overline {C}}\cdot {\overline {D}}} ,
A ̄ ⋅ B {\displaystyle {\overline {A}}\cdot B} ,
A ̄ ⋅ C {\displaystyle {\overline {A}}\cdot C} ,
である。
よって、
B ⋅ C ̄ ⋅ D ̄ + A ⋅ B ̄ ⋅ C ̄ ⋅ D ̄ + A ̄ ⋅ B ⋅ C ̄ + A ̄ ⋅ B + A ̄ ⋅ B ̄ ⋅ C = A ⋅ C ̄ ⋅ D ̄ + A ̄ ⋅ B + A ̄ ⋅ C {\displaystyle B\cdot {\overline {C}}\cdot {\overline {D}}+A\cdot {\overline {B}}\cdot {\overline {C}}\cdot {\overline {D}}+{\overline {A}}\cdot B\cdot {\overline {C}}+{\overline {A}}\cdot B+{\overline {A}}\cdot {\overline {B}}\cdot C=A\cdot {\overline {C}}\cdot {\overline {D}}+{\overline {A}}\cdot B+{\overline {A}}\cdot C}
とわかる。
図3
図4