We begin with a small lemma that in fact highlights part of what has already been proved in Exercise 18 item b.).
Lemma: For any $E\subset X$ there exists $B\in \mathcal{A}_{\sigma\delta}$ such that $E\subset B$ and $\mu^*(B) = \mu^*(E)$.
Proof
From Exercise 18 item a.) we know that
For any $E\subset X$ and $\epsilon > 0$ there exists $A\in \mathcal{A}_\sigma$ with $E\subset A$ and $\mu^*(E)\leq \mu^*(A) \leq \mu^*(E) + \epsilon$.
So, for each $n\in\mathbb{N}$, $n>0$, let $A_n\in \mathcal{A}_\sigma$ with $E\subset A_n$ and $\mu^*(E)\leq \mu^*(A_n) \leq \mu^*(E) + \frac{1}{n}$.
Then let $B=\bigcap_{n=1}^\infty A_n$. Then we have $B\in \mathcal{A}_{\sigma\delta}$ and $E\subset B$. Moreover, for all $n\in\mathbb{N}$, $n>0$, $B\subset A_n$ and
$$\mu^*(E)\leq \mu^*(B) \leq \mu^*(A_n) \leq \mu^*(E) + \frac{1}{n}$$
So, $\mu^*(B)=\mu^*(E)$.
Remark: $E$ don't need to be measurable. And as a consequence of item Exercise 18 item b.) $\mu^*(B\setminus E)$ may not be zero.
Exercise 19 - Let $\mu^*$ be an outer measure on $X$ induced from a finite premeasure $\mu_0$. If $E\subset X$, define the inner measure of $E$ to be $\mu_*(E) = \mu_0(X) - \mu^*(E^c)$. Then $E$ is $\mu^*$-measurable iff $\mu^*(E) = \mu_*(E)$ (Use Exercise 18).
First note that since $\mu_0$ is a finite premeasure, we have that for all $A\subset X$, $\mu^*(A)<+\infty$.
($\Rightarrow$) Suppose $E\subset X$. Note that $E^c=X\setminus E \subset X$. So,since $E$ is $\mu^*$-measurable, we have
$$\mu^*(X) = \mu^*(X\cap E) + \mu^*(X\cap E^c)=\mu^*(E) + \mu^*(E^c)$$ then, since $\mu^*(E^c)<+\infty$ and $\mu^*(X)=\mu_0(X)$, we have
$$\mu^*(E) = \mu^*(X) - \mu^*(E^c)=\mu_0(X)- \mu^*(E^c)=\mu_*(E)$$
($\Leftarrow$) If $\mu^*(E) =\mu_*(E)$ then we have, since $\mu^*(X)=\mu_0(X)$,
$$\mu^*(E) =\mu_*(E)=\mu_0(X)- \mu^*(E^c) = \mu^*(X) - \mu^*(E^c)$$
So we can conclude that
$$\mu^*(X) = \mu^*(E)+ \mu^*(E^c) \tag{1}$$
Now we apply our lemma to $E$ and $E^c$. Let $B, D \in \mathcal{A}_{\sigma\delta}$ such that $E\subset B$ and $\mu^*(B) = \mu^*(E)$ and $E^c\subset D$ and $\mu^*(D) = \mu^*(E^c)$. From $(1)$, we have
$$\mu^*(X) = \mu^*(B)+ \mu^*(D) \tag{2}$$
On the other hand, since $D \in \mathcal{A}_{\sigma\delta}$, we have that $D$ is $\mu^*$-measurable, so
$$ \mu^*(X) = \mu^*(D)+ \mu^*(D^c) \tag{3}$$
From $(2)$ and $(3)$, we get
$$ \mu^*(D)+ \mu^*(D^c)= \mu^*(B)+ \mu^*(D) $$
Since $\mu^*(D) <\infty$, we have
$$\mu^*(D^c) = \mu^*(B) \tag{4} $$
Note that since $E^c\subset D$ we have that $D^c\subset E$. So we actually have
$$D^c\subset E \subset B \tag{5}$$
and, since $D$ are $\mu^*$-measurable, $D^c$ is also $\mu^*$-measurable.
So
$$\mu^*(B)=\mu^*(D^c) + \mu^*(B\setminus D^c) \tag {6}$$
Since $\mu^*(D^c)<+\infty$ (and $\mu^*(B)<+\infty$), we have from $(4)$ and $(6)$ that
$$\mu^*(B\setminus D^c)=0$$
But from $(5)$ we have $B \setminus E\subset B\setminus D^c$, so $$\mu^*(B\setminus E)=0$$ By exercise 18 item b.), $E$ is $\mu^*$-measurable.
Assume that $\mu^*(A)+\mu^*(A^c)\le 1$, let $\varepsilon > 0$ and set $\delta := \tfrac\varepsilon 6$. Then we find $E_i,F_j\in\mathcal A$ such that $A\subset\bigcup_i E_i$, $A^c\subset\bigcup_j F_j$, and $\mu^*(A)>\sum_i|E_i|-\delta$ as well as $\mu^*(A^c)>\sum_j|F_j|-\delta$. Hence,
$$
1\,\ge\,\mu^*(A)+\mu^*(A^c)\,>\,\sum_i|E_i| + \sum_j|F_j| - 2\delta.
$$
Let $n\in\Bbb N$ be so large such that $\sum_{i=n}^\infty|E_i| < \delta$ and $\sum_{j=n}^\infty|F_j| < \delta$. Now, put $E:=\bigcup_{i<n}E_i$ and $F:=\bigcup_{j<n}F_j$. Then, since $A\backslash E\subset\bigcup_{i=n}^\infty E_i$, we have $\mu^*(A\backslash E)\le\sum_{i=n}^\infty|E_i| < \delta$. Similarly, $\mu^*(A^c\backslash F) < \delta$. Now,
$$
E\cup F = (E\backslash F)\cup (F\backslash E)\cup(E\cap F).
$$
Since $E,F\in\mathcal A$, we also have $E\backslash F,F\backslash E,E\cap F\in\mathcal A$, and so
\begin{align*}
\mu^*(E\cup F)
&= \mu^*(E\backslash F) + \mu^*(F\backslash E) + \mu^*(E\cap F)\\
&= \mu^*(E)-\mu^*(E\cap F) + \mu^*(F)-\mu^*(E\cap F) + \mu^*(E\cap F)\\
&= \mu^*(E)+\mu^*(F)-\mu^*(E\cap F).
\end{align*}
Also, $X\backslash(E\cup F)\subset(A\backslash E)\cup (A^c\backslash F)$, which implies
$$
\mu^*(X\backslash(E\cup F))\le\mu^*(A\backslash E)+\mu^*(A^c\backslash F) < 2\delta.
$$
Thus, we obtain
$$
1 = \mu^*(E\cup F) + \mu^*(X\backslash(E\cup F)) < \mu^*(E)+\mu^*(F) - \mu^*(E\cap F) + 2\delta.
$$
Finally, this and $A\triangle E = (A\backslash E)\cup(E\cap A^c)\subset (A\backslash E)\cup(A^c\backslash F)\cup(E\cap F)$ yield
$$
\mu^*(A\triangle E)\le 2\delta+\mu^*(E\cap F) < 4\delta + \mu^*(E)+\mu^*(F) - 1\,\le\,4\delta + \sum_i|E_i| + \sum_j|F_j| - 1 < \varepsilon.
$$
Best Answer
$\forall B\subseteq X:B\cap E\subseteq(B\cap A)\cup(E\cap A^c) \ \wedge \ B\cap E^c\subseteq(B\cap A^c)\cup(A\cap E^c)$
Then $$\mu^*(B\cap E)+\mu^*(B\cap E^c)\leq\mu^*(B\cap A)+\mu^*(E\cap A^c)+\mu^*(B\cap A^c)+\mu^*(A\cap E^C)$$
But $(E\cap A^c), (A\cap E^c)\subseteq A\Delta E \Rightarrow\mu^*(E\cap A^c)+\mu^*(E^c\cap A)\leq2\mu^*(A\Delta E)$ and $\mu^*(B\cap E)+\mu^*(B\cap E^c)\leq\mu^*(B)+2\mu^*(A\Delta E)\leq\mu^*(B)+\epsilon$