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

Раскроем скобки: \((\neg A\land C)\lor(\neg A\land\neg B)\lor(B\land C)\). Эти слагаемые не поглощают друг друга.

Ответ: \((\neg A\land C)\lor(\neg A\land\neg B)\lor(B\land C)\).