カルノー図のループの取り方

質問

カルノー図でループを取るとき、
なぜ、１，２，４，８・・・個でとらなくてはいけないのでしょうか?

よろしくお願いいたします。

回答No.2

Tacosan · ベストアンサー

ループはリテラル (変数 or 変数の否定) の積項に対応します. 積項が 1 になるのは, 積項に現れる全リテラルが 1になるとき, そしてそのときに限り, 残りの変数は 0 でも 1 でもかまいません. 従って, 「積項が 1 になるような, 変数への 0/1 の割当て方」は, 2 の「その積項に現れない変数の数」乗通りになります. だから 1, 2, 4, 8, ... という 2 のべきになります.

お礼

回答ありがとうございます。

なんとなく理解できたような気もします。

回答No.1

info22

最簡積和形論理式を求める為です。
もう少し詳しくいれば１つのカルノーサークルに含まれる論理積の論理変数の種類をできるだけ減らす為です。

２のべき乗の１を含むできるだけ大きなカルノーサークルを最小個数使って全ての「１」を囲むとき、各カルノーサークルを論理積で表し、全てのカルノーサークルについて論理積の論理和の論理式を求めれば、それが最簡形論理式になります。

お礼

回答ありがとうございます。

なかなか難しい事なんですね・・・。
もう少し簡単に・・・というわけにはいかないものなんですかねぇ。

ありがとうございました。