|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Ксения Юрчук || рейтинг: 11.00 (общий рейтинг: 259.10)
Татьяна Климова || рейтинг: 11.00 (общий рейтинг: 303.00)
Злата Борщева || рейтинг: 11.00 (общий рейтинг: 11.00)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Юлия Наговицына || рейтинг: 11.00 (общий рейтинг: 52.60)
Алина Волкова || рейтинг: 11.00 (общий рейтинг: 80.80)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Андрей Пялинок || рейтинг: 11.00 (общий рейтинг: 11.00)
Наталья Костенко || рейтинг: 11.00 (общий рейтинг: 20.90)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2963.13)
Никита Макеев || рейтинг: 11.00 (общий рейтинг: 31.30)
Сергей Майборода || рейтинг: 11.00 (общий рейтинг: 32.30)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Александра Крестильникова || рейтинг: 11.00 (общий рейтинг: 90.00)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)
Дмитрий Осинцев || рейтинг: 11.00 (общий рейтинг: 57.80)
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Егор Занин || рейтинг: 11.00 (общий рейтинг: 269.70)
Александр Чупин || рейтинг: 11.00 (общий рейтинг: 11.00)
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?