Помогите упростить логическое выражение:

(x1⇒x2)*(x2⇒¬x3)*(x3⇒x1*¬x4)