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

Раскроем скобки: \((A\land B)\lor(A\land\neg C)\lor(\neg B\land A)\lor(\neg B\land\neg C)\). Слагаемые \(A\land\neg C\) и \(A\land B\) поглощаются слагаемыми \(A\land\neg B\) и \(A\land B\), взятыми вместе.

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