A，B，C，Dを論理変数とするとき，次のカルノー図と等価な論理式はどれか。ここで，・は論理積，＋は論理和，XはXの否定を表す。

解説　本サイト独自（IPA公表のものではありません）

エ　ABが00の行の両端にある1は，左右の端を隣接させてまとめるとA・B・Dになる。また，ABが01と11，CDが01と11の四つの1はまとめてB・Dになる。したがって，両者の論理和であるエが等価である。

• ア　上段両端の組からAを落としてB・Dとすると，すべて0であるABが10の行にも1を置いてしまう。また，中央の四つを一つの組にせず，一つの項だけにしている。
• イ　上段の左右端が隣接することを見落とし，左上の1だけをA・B・C・Dとしている。このため，上段右端の1を論理式に含められない。
• ウ　上段両端の組でAを消して不要な範囲まで含め，中央の四つの組には逆にAを残している。このため，ABが01の行にある中央二つの1を表せない。