次の4変数の論理式を最小化してください:

(A ∧ B ∧ C ∧ D) ∨ (A ∧ B ∧ C ∧ ¬D) ∨ (A ∧ B ∧ ¬C ∧ D) ∨ (A ∧ B ∧ ¬C ∧ ¬D)