We have two linear codes $C_1,C_2$ with vectors from $\mathbb{F}_2^n$ such that the minimum Hamming distance between the elements from $C_i$ is $d_i$. Then for $C_1\cap C_2$ this distance is $d_0$ and for $C_1+C_2$ it's $d_3$.
The problem is to prove that $d$, the minimum distance for the elements from $\{(a+b,a'+b,a+a'+b):a,a'\in C_1, b\in C_2\}$ satisfies $d\geq\min (d_0,2d_1,3d_3)$.
I'm not really sure how much this problem has to do with coding theory because for me it seems to be more related to linear algebra. Anyways, what I thought of so far is that if $a,a'\in C_1\implies a+a'\in C_1$ and hence $a+b,a'+b,a+a'+b\in C_1+C_2$. This gives us $d\geq 3d_3$.
Sadly, I'm still clueless about the rest of the inequalities. Any ideas, hints?