|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Арсений Ждановский || рейтинг: 11.00 (общий рейтинг: 11.00)
Вячеслав Мышко || рейтинг: 11.00 (общий рейтинг: 77.20)
Диас Кенес || рейтинг: 11.00 (общий рейтинг: 120.90)
Denis Andreyanov || рейтинг: 11.00 (общий рейтинг: 23.00)
Алексей Бобриков || рейтинг: 11.00 (общий рейтинг: 124.00)
Дмитрий Максимов || рейтинг: 11.00 (общий рейтинг: 54.00)
Алина Шумейко || рейтинг: 11.00 (общий рейтинг: 66.60)
Кирилл Миловидов || рейтинг: 11.00 (общий рейтинг: 42.10)
Анастасия Шевелева || рейтинг: 11.00 (общий рейтинг: 67.40)
Александр Брунов || рейтинг: 11.00 (общий рейтинг: 281.70)
Александр Буркевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Александра Путко || рейтинг: 11.00 (общий рейтинг: 11.00)
Антон Голубков || рейтинг: 11.00 (общий рейтинг: 31.90)
Равшанбек Хайитов || рейтинг: 11.00 (общий рейтинг: 19.30)
Мария Карпова || рейтинг: 11.00 (общий рейтинг: 84.80)
Никита Гребенюк || рейтинг: 11.00 (общий рейтинг: 67.40)
Юрий Тютрин || рейтинг: 11.00 (общий рейтинг: 801.84)
Леонид Иньков || рейтинг: 11.00 (общий рейтинг: 30.20)
Отоназар Камалов || рейтинг: 11.00 (общий рейтинг: 18.00)
Андрей Бахарев || рейтинг: 11.00 (общий рейтинг: 62.50)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
