|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Алпамыс Даулетов || рейтинг: 11.00 (общий рейтинг: 4558.93)
Равшанбек Хайитов || рейтинг: 11.00 (общий рейтинг: 19.30)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Мария Карпова || рейтинг: 11.00 (общий рейтинг: 84.80)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Анастасия Комарова || рейтинг: 11.00 (общий рейтинг: 246.00)
Александр Пеек || рейтинг: 11.00 (общий рейтинг: 23.00)
Канат Ахметов || рейтинг: 11.00 (общий рейтинг: 46.00)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2973.33)
Анастасия Шеина || рейтинг: 11.00 (общий рейтинг: 77.40)
Отоназар Камалов || рейтинг: 11.00 (общий рейтинг: 18.00)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Альберт Сабитов || рейтинг: 11.00 (общий рейтинг: 38.43)
Ксения Юрчук || рейтинг: 11.00 (общий рейтинг: 259.10)
Екатерина Михеева || рейтинг: 11.00 (общий рейтинг: 72.00)
Александр Кузнецов || рейтинг: 11.00 (общий рейтинг: 418.00)
Татьяна Климова || рейтинг: 11.00 (общий рейтинг: 303.00)
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Елена Пащенко || рейтинг: 11.00 (общий рейтинг: 75.30)
Злата Борщева || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?