Converta para Forma Normal Conjuntiva (CNF):

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