Изменения
КНФ
,→Пример построения СКНФ
# Все полученные дизъюнкции связываем операциями конъюнкции.
== Пример построения СКНФ для медианы==
1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.
! 0 || 0 || 0 || 0 || <tex>( x \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
! 0 || 0 || 1 || 0 || <tex>( x \lor y \lor \overlineneg{z})</tex>
|-align="center" bgcolor=#F0F0F0
! 0 || 1 || 0 || 0 || <tex>(x \lor \overlineneg{y} \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
| 0 || 1 || 1 || 1 ||
|-align="center" bgcolor=#F0F0F0
! 1 || 0 || 0 || 0 || <tex>(\overlineneg{x} \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
| 1 || 0 || 1 || 1 ||
3. Все полученные дизъюнкции связываем операциями конъюнкции.
<tex> \langle x,y,z \rangle = ( x \lor y \lor z) \land (\overlineneg{x} \lor y \lor z) \land (x \lor \overlineneg{y} \lor z) \land ( x \lor y \lor \overlineneg{z})</tex>
==Примеры СКНФ для некоторых функций==
