0:00
高级布尔代数简化

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

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