カルノー図(カルノーず、Karnaugh map)は論理回路などにおいて論理式を簡単化するための表であり、その方法をカルノー図法という。カルノー図は1950年代にベル研究所のモーリス・カルノー()によって発明された。論理式を簡略化することにより、回路に使う素子を減らすなどのメリットがある。また、ブール代数の公式などを使って論理式を簡略化するよりも比較的楽にできる場合が多い。これはハミング距離が1となるように図が組まれており(図の入力欄の隣同士の真偽値が1つだけ違うように)、感覚的、視覚的な方式で簡略化ができるためである。この入力欄の順序はグレイコードを生成するアルゴリズムで作成できる。特にといった論理積の項を論理和した形(積和形)の場合に使いやすい。入力を1次元につき2つまでとすれば立体的にカルノー図を考えることで(人間の次元認識能力の見地から)実質6入力まで対応できる。しかし、実際は平面的に考えることが多く、その場合は縦横各2次元の4入力までである。それ以上の入力にはカルノー図は適していない。ベン図やベイチ図、カルノー図などの図で考える手法では見落とす場合もあるため、クワイン・マクラスキー法などの機械的な方法がより確実である。formula_2formula_3formula_4カルノー図で論理式を簡単にする例をしめす。論理式をカルノー図で簡単にすることを考える。カルノー図で、この論理式が真となる部分に「1」を記入すると「図1」のようになる。「図1」で(1)(2)(3)は、それぞれである。「図1」で論理式が真となる部分(「1」が記入されている部分)を、まとめると「図2」のようになる。「図2」で(1)(2)は、それぞれである。よって、とわかる。論理式をカルノー図で簡単にすることを考える。カルノー図で、この論理式が真となる部分に「1」を記入すると「図3」のようになる。「図3」で(1)(2)(3)(4)(5)は、それぞれである。「図3」で論理式が真となる部分(「1」が記入されている部分)を、まとめると「図4」のようになる。「図4」で(1)(2)(3)は、それぞれである。よって、とわかる。
出典:wikipedia
LINEスタンプ制作に興味がある場合は、
下記よりスタンプファクトリーのホームページをご覧ください。