|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Александра Крестильникова || рейтинг: 11.00 (общий рейтинг: 90.00)
Дмитрий Осинцев || рейтинг: 11.00 (общий рейтинг: 57.80)
Юрий Тютрин || рейтинг: 11.00 (общий рейтинг: 801.84)
Леонид Иньков || рейтинг: 11.00 (общий рейтинг: 30.20)
Андрей Бахарев || рейтинг: 11.00 (общий рейтинг: 62.50)
Александр Черников || рейтинг: 11.00 (общий рейтинг: 22.60)
Елена Женило || рейтинг: 11.00 (общий рейтинг: 52.90)
Ирина Ольшванг || рейтинг: 11.00 (общий рейтинг: 20.00)
Виталий Ишутин || рейтинг: 11.00 (общий рейтинг: 32.60)
Егор Донских || рейтинг: 11.00 (общий рейтинг: 11.00)
Алексей Федорченко || рейтинг: 11.00 (общий рейтинг: 21.90)
Владимир Мишенин || рейтинг: 11.00 (общий рейтинг: 11.00)
Яна Соколовская || рейтинг: 11.00 (общий рейтинг: 11.00)
Арсентий Чандер || рейтинг: 11.00 (общий рейтинг: 11.00)
Кирилл Верниковский || рейтинг: 11.00 (общий рейтинг: 83.60)
Михаил Мудрагель || рейтинг: 11.00 (общий рейтинг: 11.00)
Мария Чадаева || рейтинг: 11.00 (общий рейтинг: 20.90)
Алпамыс Даулетов || рейтинг: 11.00 (общий рейтинг: 4558.93)
Ирина Соколова || рейтинг: 11.00 (общий рейтинг: 11.00)
Ivan Ivanov || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?