После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу? |
Рейтинг выпускников |
Поиск
Анастасия Комарова || рейтинг: 11.00 (общий рейтинг: 246.00)
Кирилл Верниковский || рейтинг: 11.00 (общий рейтинг: 83.60)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Игорь Ищенко || рейтинг: 11.00 (общий рейтинг: 41.20)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Александр Леонтьев || рейтинг: 11.00 (общий рейтинг: 6556.23)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2901.83)
Узбекистан, Ташкент, Ташкентский педагогический институт иностранных языков, 1990
Темы:
предложить дружбу
Темы:
предложить дружбу
Виктор Нарушевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Евгений Федотов || рейтинг: 11.00 (общий рейтинг: 106.40)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Татьяна Климова || рейтинг: 11.00 (общий рейтинг: 303.00)
Татьяна Нестеренко || рейтинг: 11.00 (общий рейтинг: 59.10)
Юлия Наговицына || рейтинг: 11.00 (общий рейтинг: 52.60)
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Андрей Пялинок || рейтинг: 11.00 (общий рейтинг: 11.00)
Наталья Костенко || рейтинг: 11.00 (общий рейтинг: 20.90)
Елизавета Крамских || рейтинг: 11.00 (общий рейтинг: 77.50)
Никита Елисеев || рейтинг: 11.00 (общий рейтинг: 180.30)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)