4) A ∧ A ↔ B̄ ∨ B

По закону исключённого третьего \(\neg B\lor B=1\), а \(A\land A=A\). Поэтому:

\((A\land A)\leftrightarrow(\neg B\lor B)=A\leftrightarrow1=A\).

Ответ: формула равносильна A.