Для упрощения уравнения воспользуемся законами логики:

( \overline{x \rightarrow y} = x \wedge \overline{y})( x \rightarrow y = \overline{x} \vee y )

Теперь заменим импликации и отрицания в уравнении:

$$((\overline{\bar{x_1}} \vee x_2) \wedge (\overline{x_1} \wedge \overline{\overline{x_3}}) \wedge (\overline{\bar{x_2}} \vee x_4)) = 1$$

Упростим уравнение, пользуясь законами де Моргана и законами дистрибутивности:

$$(x_1 \vee x_2) \wedge (x_1 \wedge x_3) \wedge (x_2 \vee x_4) = 1$$

Так как конъюнкция равна 1 только если все части равны 1, получаем:

$$x_1 = x_2 = x_3 = x_4 = 1$$

Таким образом, решением уравнения является ( x_1 = x_2 = x_3 = x_4 = 1 ).