|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Алина Волкова || рейтинг: 11.00 (общий рейтинг: 80.80)
Никита Макеев || рейтинг: 11.00 (общий рейтинг: 31.30)
Сергей Майборода || рейтинг: 11.00 (общий рейтинг: 32.30)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Александра Путко || рейтинг: 11.00 (общий рейтинг: 11.00)
Александр Кошелев || рейтинг: 11.00 (общий рейтинг: 11.00)
Ольга Муравьева || рейтинг: 11.00 (общий рейтинг: 126.80)
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Андрей Новоселов || рейтинг: 11.00 (общий рейтинг: 61.50)
Александра Крестильникова || рейтинг: 11.00 (общий рейтинг: 90.00)
Владимир Зайцев || рейтинг: 11.00 (общий рейтинг: 162.30)
Дмитрий Осинцев || рейтинг: 11.00 (общий рейтинг: 57.80)
Павел Дедеркал || рейтинг: 11.00 (общий рейтинг: 31.00)
Егор Донских || рейтинг: 11.00 (общий рейтинг: 11.00)
Ольга Мухина || рейтинг: 11.00 (общий рейтинг: 28.80)
Антип Радченко || рейтинг: 11.00 (общий рейтинг: 77.10)
Ирина Соколова || рейтинг: 11.00 (общий рейтинг: 11.00)
Sergey Kyshoff || рейтинг: 11.00 (общий рейтинг: 21.90)
Кирилл Сухарев || рейтинг: 11.00 (общий рейтинг: 11.00)
Рустам Кадырбаев || рейтинг: 11.00 (общий рейтинг: 133.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
