Repare que x\notin\overline A é equivalente a x\in A. Logo
x\in\overline{(\overline A - \overline B)} \quad\Longleftrightarrow\quad (x\in A)\;\lor\;(x\in\overline B) \quad\Longleftrightarrow\quad x\in A\cup\overline B.
Isso mostra que os dois conjuntos coincidem.
Resposta
\displaystyle \overline{(\overline A - \overline B)} = A \cup \overline B.