Continued original post of mine, below:
In my calculations, I arrived at the same answer that the OP has posted in his comment to lewellen. (Note in particular, that the original solution posted by lewellen is only one possible solution to the expression, though is not equivalent to it.)
The solution to the given problem is, indeed, what the user obtained: $(\lnot x_1 \land \lnot x_3) \lor (x_2 \land \lnot x_3)$, which is in disjunctive normal form. The solution could easily be expressed as $\lnot x_3 \land (\lnot x_1 \lor x_2)$, but of course, this is not disjunctive normal form.
Original problem:
$(x_{1} \Rightarrow x_{2}) \land (x_{2} \Rightarrow \lnot{x_3}) \land (x_{3} \Rightarrow (x_{1} \land \lnot{x_4}))$
Note the equivalence: $ (p\rightarrow q) \equiv (\lnot p \lor q)$ for any $p, q$.
Applying this equivalence to the original problem gets us:
$(\lnot x_{1} \lor x_{2}) \land (\lnot x_{2} \lor \lnot{x_3}) \land (\lnot x_{3} \lor (x_{1} \land \lnot{x_4}))$
Observe that $\lnot x_3$ occurs as a disjunct to the second and last conjuncts. From here, we can use distribution:
$(\lnot x_{1} \lor x_{2}) \land (\lnot{x_3} \lor (\lnot x_{2} \land x_{1} \land \lnot{x_4}))$
Note that, the above expression, to be true, requires that (A) $(\lnot x_{1} \lor x_{2})$ is true, if the entire expression is to be true. Hence, it follows that the expression (B)$ (\lnot x_{2} \land x_{1} \land \lnot x_4)$ cannot be true, since, from (A), either $\lnot x_1$ is true, in which case (B) is false, or else $x_2$ is true, in which case (B) is false.
That leaves us, using distribution, with $ (\lnot x_{1} \lor x_{2}) \land \lnot{x_3} \equiv (\lnot x_1 \land \lnot x_3) \lor (x_2 \land \lnot x_3),$
which is now in disjunctive normal form.
I will add to this answer, to discuss disjunctive normal form and one way to obtain it. It can be thought of as expressing in the most economical of forms, the minimum number of possible combinations of truth value assignment of variables all in one disjunctive statement. For example,
$(x_{1} \implies x_{2}) \land (x_{2} \implies \lnot{x_3}) \land (x_{3} \implies (x_{1} \land \lnot{x_4}))$
holds if and only if:
(1) $x_1$ is false and $x_3$ is false, i.e. $(\lnot x_1 \land \lnot x_3)$ ($x_2$ can be true or false, $x_4$ can be true or false).
OR
(2) $x_2$ is true and $x_3$ is false, i.e. $(x_2 \land \lnot x_3)$ ($x_1$ can be true or false, $x_4$ can be true or false).
Such form can easily be constructed through the use of a truth-table, provided the expression under consideration is not too complicated!
$\qquad\qquad\qquad\qquad\qquad\qquad $Truth Table
$\qquad(x_{1} \Rightarrow x_{2}) \land (x_{2} \Rightarrow \lnot{x_3}) \land (x_{3} \Rightarrow (x_{1} \land \lnot{x_4}))$
$\qquad P = x_1$, $Q = x_2$, $R = x_3$, $S = x_4$

The evaluation of the truth value of the entire expression, under the $2^4=16$ possible truth-value assignments for $4$ variables, is given by the column in red.
Note that the expression evaluates as true in the following rows: $2,3,10,11,14,15$. Each of those rows reveal the truth value assignment necessary for the expression to evaluate as true.