Ответ:

Применим закон дистрибутивности: \((X\lor Y)\land(Z\lor Y)=(X\land Z)\lor Y\).

\((A\lor B)\land(\overline{A}\lor B)=(A\land\overline{A})\lor B=0\lor B=B\), поскольку утверждение \(A\land\overline{A}\) всегда ложно.

Ответ: \(B\).