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