После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Рейтинг выпускников |
Поиск
Алексей Федорченко || рейтинг: 11.00 (общий рейтинг: 21.90)
Татьяна Нестеренко || рейтинг: 11.00 (общий рейтинг: 59.10)
Яна Соколовская || рейтинг: 11.00 (общий рейтинг: 11.00)
Кирилл Сухарев || рейтинг: 11.00 (общий рейтинг: 11.00)
Арсентий Чандер || рейтинг: 11.00 (общий рейтинг: 11.00)
Мария Чадаева || рейтинг: 11.00 (общий рейтинг: 20.90)
Елизавета Крамских || рейтинг: 11.00 (общий рейтинг: 77.50)
Ivan Ivanov || рейтинг: 11.00 (общий рейтинг: 11.00)
Дмитрий Нестеров || рейтинг: 11.00 (общий рейтинг: 21.90)
Никита Елисеев || рейтинг: 11.00 (общий рейтинг: 180.30)
Дмитрий Никиша || рейтинг: 11.00 (общий рейтинг: 86.80)
Вадим Карчагин || рейтинг: 11.00 (общий рейтинг: 33.20)
Кирилл Миловидов || рейтинг: 11.00 (общий рейтинг: 42.10)
Анастасия Сидорова || рейтинг: 11.00 (общий рейтинг: 42.50)
Александр Брунов || рейтинг: 11.00 (общий рейтинг: 281.70)
Александр Буркевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Александр Чупин || рейтинг: 11.00 (общий рейтинг: 11.00)
Сергей Шембеков || рейтинг: 11.00 (общий рейтинг: 1223.40)
Сергей Бырдин || рейтинг: 11.00 (общий рейтинг: 11.00)
Антон Голубков || рейтинг: 11.00 (общий рейтинг: 31.90)