カルノー図
カルノー図は1950年代にベル研究所のモーリス・カルノー(Maurice Karnaugh)によって発明された。
論理式を簡略化することにより、回路に使う素子を減らすなどのメリットがある。また、ブール代数の公式などを使って論理式を簡略化するよりも比較的楽にできる場合が多い。これはハミング距離が1となるように図が組まれており(図の入力欄の隣同士の真偽値が1つだけ違うように)、感覚的、視覚的な方式で簡略化ができるためである。この入力欄の順序はグレイコードを生成するアルゴリズムで作成できる。
特に
A ⋅ B ⋅ C ̄ + A ⋅ B ⋅ C {\displaystyle A\cdot B\cdot {\overline {C}}+A\cdot B\cdot C}
といった論理積の項を論理和した形(積和標準形)の場合に使いやすい。
入力を1次元につき2つまでとすれば立体的にカルノー図を考えることで(人間の次元認識能力の見地から)実質6入力まで対応できる。しかし、実際は平面的に考えることが多く、その場合は縦横各2次元の4入力までである。それ以上の入力にはカルノー図は適していない。ベン図やベイチ図、カルノー図などの図で考える手法では見落とす場合もあるため、クワイン・マクラスキー法などの機械的な方法がより確実である。