化简以下包含4个变量的表达式：

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