カルノー図
論理式
B ⋅ C ̄ ⋅ D ̄ + A ⋅ B ̄ ⋅ C ̄ ⋅ D ̄ + A ̄ ⋅ B ⋅ C ̄ + A ̄ ⋅ B + A ̄ ⋅ B ̄ ⋅ 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}
をカルノー図で簡単にすることを考える。
カルノー図で、この論理式が真となる部分に「1」を記入すると「図3」のようになる。「図3」で(1)(2)(3)(4)(5)は、それぞれ
B ⋅ C ̄ ⋅ D ̄ {\displaystyle B\cdot {\overline {C}}\cdot {\overline {D}}} ,
A ⋅ B ̄ ⋅ C ̄ ⋅ D ̄ {\displaystyle A\cdot {\overline {B}}\cdot {\overline {C}}\cdot {\overline {D}}} ,
A ̄ ⋅ B ⋅ C ̄ {\displaystyle {\overline {A}}\cdot B\cdot {\overline {C}}} ,
A ̄ ⋅ B {\displaystyle {\overline {A}}\cdot B} ,