若逻辑变量A、C为真，B、D为假，以下逻辑运算表达式为真的有（ ）。
(B ˅ C ˅ D) ˅ D ˄ A
((¬A ˄B) ˅ C) ˄ ¬B
(A ˄ B) ˅ (C ˄ D ˅ ¬A)
A ˄ (D ˅ ¬C) ˄ B