Изменения

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