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

問題画像
出典令和4年度 秋期 高度情報処理技術者試験 午前Ⅰ 問1

ABCD+BDA \cdot B \cdot \overline{C} \cdot D + \overline{B} \cdot \overline{D}

ABCD+BD\overline{A} \cdot \overline{B} \cdot \overline{C} \cdot \overline{D} + B \cdot D
ABD+BDA \cdot B \cdot D + \overline{B} \cdot \overline{D}
ABD+BD\overline{A} \cdot \overline{B} \cdot \overline{D} + B \cdot D