|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Равшанбек Хайитов || рейтинг: 11.00 (общий рейтинг: 19.30)
Мария Карпова || рейтинг: 11.00 (общий рейтинг: 84.80)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Юлия Наговицына || рейтинг: 11.00 (общий рейтинг: 52.60)
Антип Радченко || рейтинг: 11.00 (общий рейтинг: 77.10)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Андрей Пялинок || рейтинг: 11.00 (общий рейтинг: 11.00)
Наталья Костенко || рейтинг: 11.00 (общий рейтинг: 20.90)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2963.13)
Александр Кошелев || рейтинг: 11.00 (общий рейтинг: 11.00)
Отоназар Камалов || рейтинг: 11.00 (общий рейтинг: 18.00)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Екатерина Михеева || рейтинг: 11.00 (общий рейтинг: 72.00)
Рустам Кадырбаев || рейтинг: 11.00 (общий рейтинг: 133.00)
Камила Жакупова || рейтинг: 11.00 (общий рейтинг: 66.50)
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Вячеслав Мышко || рейтинг: 11.00 (общий рейтинг: 77.20)
Илья Тришин || рейтинг: 11.00 (общий рейтинг: 53.90)
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Максим Батинок || рейтинг: 11.00 (общий рейтинг: 33.50)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?