使用一致性定理简化以下表达式：

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