A, B, C, D を論理変数とするとき、次のカルノー図と等価な論理式はどれか。ここで、・は論理積、＋は論理和、X の上線は X の否定を表す。カルノー図（行 AB＝00/01/11/10、列 CD＝00/01/11/10）の値は次のとおり。AB=00: 1,0,0,1。AB=01: 0,1,1,0。AB=11: 0,1,1,0。AB=10: 0,0,0,0。