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

Применим распределительный закон:

((A∨B)∧(A∨¬B))∨¬A = (A∨(B∧¬B))∨¬A = A∨¬A = 1.

Ответ: 1 (тождественно истинное выражение).