Изменения

==Примеры = Построение СДНФ для некоторых функций=медианы от пяти аргументов =Стрелка Пирса: <tex> x \downarrow y = (\neg {x} \land \neg {y})</tex>. Исключающее или: <tex> x \oplus y \oplus z = (\overline{x} \land \overline{y} \land z) \lor (\overline{x} \land y \land \overline{z}) \lor (x \land \overline{y} \land \overline{z}) \lor (x \land y \land z)</tex>. Медиана 5 аргументов: 

<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 (x_1 \land x_2 \land x_3 \land \overline{x_1x_4} \land \overline{x_5}) \lor (x_1 \land x_2} \land x_3 \land \overline {x_4 } \land x_5) \lor (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>. ==Примеры СДНФ для некоторых функций==Стрелка Пирса: <tex> x \downarrow y = (\neg {x} \land \neg {y})</tex>. Исключающее или: <tex> x \oplus y \lor oplus z = (\overline{x_1x} \land x_2 \overline{y} \land x_3 z) \lor (\overline{x} \land x_4 y \land x_5\overline{z}) \lor (x_1 x \land x_2 \overline{y} \land x_3 \overline{z}) \lor (x \land x_4 y \land x_5z) </tex>.