Преобразуйте в конъюнктивную нормальную форму (CNF):
(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)
Руководства, которые объясняют то, что отрабатывает это упражнение.