|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Татьяна Нестеренко || рейтинг: 11.00 (общий рейтинг: 59.10)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Александр Буслаев || рейтинг: 11.00 (общий рейтинг: 21.90)
Юлия Наговицына || рейтинг: 11.00 (общий рейтинг: 52.60)
Елизавета Крамских || рейтинг: 11.00 (общий рейтинг: 77.50)
Андрей Пялинок || рейтинг: 11.00 (общий рейтинг: 11.00)
Александр Кошелев || рейтинг: 11.00 (общий рейтинг: 11.00)
Наталья Костенко || рейтинг: 11.00 (общий рейтинг: 20.90)
Владислав Косенко || рейтинг: 11.00 (общий рейтинг: 11.00)
Irina Keda || рейтинг: 11.00 (общий рейтинг: 71.30)
Антип Радченко || рейтинг: 11.00 (общий рейтинг: 77.10)
Никита Елисеев || рейтинг: 11.00 (общий рейтинг: 180.30)
Дмитрий Никиша || рейтинг: 11.00 (общий рейтинг: 86.80)
Рустам Кадырбаев || рейтинг: 11.00 (общий рейтинг: 133.00)
Вадим Карчагин || рейтинг: 11.00 (общий рейтинг: 33.20)
Камила Жакупова || рейтинг: 11.00 (общий рейтинг: 66.50)
Анастасия Сидорова || рейтинг: 11.00 (общий рейтинг: 42.50)
Арсений Ждановский || рейтинг: 11.00 (общий рейтинг: 11.00)
Вячеслав Мышко || рейтинг: 11.00 (общий рейтинг: 77.20)
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
