17
правок
Изменения
КНФ
,Исправлена СКНФ для медианы от 5 аргументов
== Пример построения СКНФ для медианы==
=== Построение СКНФ для медианы от трех аргументов ===
1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно <tex>0</tex>.
<tex> \langle x,y,z \rangle = ( x \lor y \lor z) \land (\neg{x} \lor y \lor z) \land (x \lor \neg{y} \lor z) \land ( x \lor y \lor \neg{z})</tex>
==Примеры = Построение СКНФ для некоторых функций=медианы от пяти аргументов =Стрелка Пирса: <tex> x \downarrow y = (\neg{x} \lor {y}) \land ({x} \lor \neg {y}) \land (\neg {x} \lor \neg {y}) </tex> Исключающее или: <tex> x \oplus y \oplus z = (\neg {x} \lor \neg {y} \lor z) \land (\neg {x} \lor y \lor \neg {z}) \land (x \lor \neg {y} \lor \neg {z}) \land (x \lor y \lor z)</tex> Медиана 5 аргументов:
{| class="wikitable" style="width:16cm" border=1
|}
<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 x_4 \lor x_5) \land (\overline{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 (\overline{x_1} \lor x_2 \lor x_3 \lor \overline {x_4 } \lor x_5) \land (\overline {x_1} \lor x_2 \lor \overline{x_3} \lor x_4 \lor x_5}) \land (\overline {x_1 } \lor \overline{x_2} \lor x_3 \lor x_4 \lor x_5) </tex> ==Примеры СКНФ для некоторых функций==Стрелка Пирса: <tex> x \downarrow y = (\overlineneg{x} \lor {x_5y}) \land (x_1 {x} \lor x_2 \neg {y}) \land (\neg {x} \lor \overlineneg {x_3y} ) </tex> Исключающее или: <tex> x \oplus y \lor x_4 oplus z = (\neg {x} \lor \overlineneg {x_5y}\lor z) \land (x_1 \neg {x} \lor x_2 y \lor x_3 \neg {z}) \land (x \lor \overlineneg {x_4y} \lor \overlineneg {x_5z}) \land (x \lor y \lor z) </tex>
== См. также ==
