Rút gọn biểu thức sau sử dụng định lý đồng thuận:

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