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