После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Рейтинг выпускников |
Поиск
Александра Путко || рейтинг: 11.00 (общий рейтинг: 11.00)
Александр Пеек || рейтинг: 11.00 (общий рейтинг: 23.00)
Украина, Симферополь, Таврический национальный университет им. В.И.Вернадского, 2011
Темы:
предложить дружбу
Темы:
предложить дружбу
Алина Шумейко || рейтинг: 11.00 (общий рейтинг: 66.60)
Альберт Сабитов || рейтинг: 11.00 (общий рейтинг: 38.43)
Александр Чупин || рейтинг: 11.00 (общий рейтинг: 11.00)
Равшанбек Хайитов || рейтинг: 11.00 (общий рейтинг: 19.30)
Александр Кузнецов || рейтинг: 11.00 (общий рейтинг: 418.00)
Мария Карпова || рейтинг: 11.00 (общий рейтинг: 84.80)
Елена Пащенко || рейтинг: 11.00 (общий рейтинг: 75.30)
Игорь Ищенко || рейтинг: 11.00 (общий рейтинг: 41.20)
Отоназар Камалов || рейтинг: 11.00 (общий рейтинг: 18.00)
Sergey Kyshoff || рейтинг: 11.00 (общий рейтинг: 21.90)
Ксения Юрчук || рейтинг: 11.00 (общий рейтинг: 259.10)
Екатерина Михеева || рейтинг: 11.00 (общий рейтинг: 72.00)
Александр Леонтьев || рейтинг: 11.00 (общий рейтинг: 6556.23)
Виктор Нарушевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Сергей Шембеков || рейтинг: 11.00 (общий рейтинг: 1223.40)
Егор Донских || рейтинг: 11.00 (общий рейтинг: 11.00)