A binary linear code of length 8 is described by the following equar tions:
$$
\begin{aligned}
& x_5=x_2+x_3+x_4, \\
& x_6=x_1+x_2+x_3, \\
& x_7=x_1+x_2+x_4, \\
& x_8=x_1+x_3+x_4 .
\end{aligned}
$$
Find its parity check matrix and verify that the minimum distance is 4 .