|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Дарья Маруськина || рейтинг: 11.00 (общий рейтинг: 100.70)
Алексей Федорченко || рейтинг: 11.00 (общий рейтинг: 21.90)
Евгений Синявкин || рейтинг: 11.00 (общий рейтинг: 57.20)
Камила Жакупова || рейтинг: 11.00 (общий рейтинг: 66.50)
Яна Соколовская || рейтинг: 11.00 (общий рейтинг: 11.00)
Кирилл Сухарев || рейтинг: 11.00 (общий рейтинг: 11.00)
Арсентий Чандер || рейтинг: 11.00 (общий рейтинг: 11.00)
Сергей Шембеков || рейтинг: 11.00 (общий рейтинг: 1223.40)
Мария Чадаева || рейтинг: 11.00 (общий рейтинг: 20.90)
Сергей Бырдин || рейтинг: 11.00 (общий рейтинг: 11.00)
Диас Кенес || рейтинг: 11.00 (общий рейтинг: 120.90)
Ivan Ivanov || рейтинг: 11.00 (общий рейтинг: 11.00)
Дмитрий Нестеров || рейтинг: 11.00 (общий рейтинг: 21.90)
Алина Волкова || рейтинг: 11.00 (общий рейтинг: 80.80)
Никита Макеев || рейтинг: 11.00 (общий рейтинг: 31.30)
Сергей Майборода || рейтинг: 11.00 (общий рейтинг: 32.30)
Анастасия Шевелева || рейтинг: 11.00 (общий рейтинг: 67.40)
Кирилл Миловидов || рейтинг: 11.00 (общий рейтинг: 42.10)
Berkut Molodoy || рейтинг: 11.00 (общий рейтинг: 10292.70)
Александр Брунов || рейтинг: 11.00 (общий рейтинг: 281.70)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
