「 カルノー図 」

　論理代数で扱う論理式を図法によって解くもの。論理式の中にある論理変数の値の組合せ表を作る。これがカルノー図である。論理式の値が1に対応するセルに1を入れ、1を含むセルループを作り、ループごとに論理積を作る。そして、これらの論理積の論理和を取り論理式を作り、簡略化された論理式を得る。