54
правки
Изменения
КНФ
,→Пример построения СКНФ
# Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
# Все полученные дизъюнкции связываем операциями конъюнкции.
== Пример построения СКНФ==
1. В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.
|+
|-align="center" bgcolor=#EEEEFF
| 1 || 1 || 1 || 1
|}
2. Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
|+
|-align="center" bgcolor=#EEEEFF
| x || y || z || <tex>med(x,y,z)</tex> ||
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|-align="center" bgcolor=#F0F0F0
|}
3. Все полученные дизъюнкции связываем операциями конъюнкции.