A, B, C, D を論理変数とするとき、次のカルノー図と等価な論理式はどれか。ここで、・は論理積、+は論理和、X‾\overline{X}X)はXの否定を表す。
A⋅B⋅C‾⋅D+B‾⋅D‾A \cdot B \cdot \overline{C} \cdot D + \overline{B} \cdot \overline{D}A⋅B⋅C⋅D+B⋅D