Изменения

Перейти к: навигация, поиск

КНФ

65 байт убрано, 08:11, 18 октября 2011
Пример построения СКНФ
# Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
# Все полученные дизъюнкции связываем операциями конъюнкции.
== Пример построения СКНФ==
1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.
<center>{| class="wikitable" align="left" style="width:29cm10cm" border=1
|+
|-align="center" bgcolor=#EEEEFF
| 1 || 1 || 1 || 1
|}
</center>
 
 
 
2. Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
<center>{| class="wikitable" align="left" style="width:29cm16cm" border=1
|+
|-align="center" bgcolor=#EEEEFF
| x || y || z || <tex>med(x,y,z)</tex> ||
|-align="center" bgcolor=#F0F0F0
| ! 0 || 0 || 0 || 0 || <tex>( x \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
| ! 0 || 0 || 1 || 0 || <tex>( x \lor y \lor \overline{z})</tex>
|-align="center" bgcolor=#F0F0F0
| ! 0 || 1 || 0 || 0 || <tex>(x \lor \overline{y} \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
! | 0 || 1 || 1 || 1 ||
|-align="center" bgcolor=#F0F0F0
| ! 1 || 0 || 0 || 0 || <tex>(\overline{x} \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
! | 1 || 0 || 1 || 1 ||
|-align="center" bgcolor=#F0F0F0
! | 1 || 1 || 0 || 1 ||
|-align="center" bgcolor=#F0F0F0
! | 1 || 1 || 1 || 1 ||
|}
</center>
3. Все полученные дизъюнкции связываем операциями конъюнкции.
54
правки

Навигация