Изменения

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

КНФ

3 байта добавлено, 08:11, 17 октября 2011
Пример построения СКНФ
|}
</center>
 
 
 
2. Для каждого отмеченного набора записываем конъюнкцию всех переменных по следующему правилу : если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
54
правки

Навигация