Изменения

<tex> \langle x_1, x_2, x_3, x_4, x_5 \rangle = (\overline {x_1 } \land \overline {x_2 } \land x_3 \land \overline{x_4} \land \overline{x_5}) \lor (\overline {x_1 } \land x_2 \land \overline{x_3} \land x_4 \land \overline{x_5}) \lor \\ (x_1 \land \overline{x_2x_1} \land x_3 x_2 \land x_4 x_3 \land \overline{x_4} \land x_5}) \lor (\overline{x_1} \land x_2 \land x_3 \land x_4 \land \overline{x_5}) \lor (\overline {x_1 } \land x_2 \land x_3 \land x_4 \land \overline{x_5}) \lor \\ (x_1 \land \overline {x_2 } \land \overline{x_3} \land \overline{x_4} \land x_5) \lor (x_1 \land \overline{x_2} \land x_3 \land \overline{x_4} \land x_5) \lor (x_1 \land \overline{x_1x_2} \land x_2 x_3 \land x_3 x_4 \land \overline{x_4x_5} \land x_5) \lor \\ (x_1 \land \overline {x_2 } \land x_3 \land \overline{x_4} \land x_5) \lor (x_1 \land \overline{x_2} \land \overline{x_3} \land \overline {x_4 } \land x_5) \lor (\overline{x_1} \land x_2 \land \overline{x_3} \land x_4 \land \overline {x_5}) \lor (x_1 \land x_2 \land \overline{x_3} \land x_4 \land x_5) \lor (\overline{x_1} \land \overline{x_2} \land x_3 \land \overline {x_4 } \land \overline {x_5}) \lor (x_1 \land \overline{x_2} \land x_3 \land \overline {x_4 } \land x_5) \lor (\overline{x_1} \land x_2 \land x_3 \land x_4 \land \overline {x_5}) \lor (x_1 \land x_2 \land x_3 \land x_4 \land x_5) </tex>.