|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Екатерина Михеева || рейтинг: 11.00 (общий рейтинг: 72.00)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Александра Путко || рейтинг: 11.00 (общий рейтинг: 11.00)
Илья Тришин || рейтинг: 11.00 (общий рейтинг: 53.90)
Кирилл Миловидов || рейтинг: 11.00 (общий рейтинг: 42.10)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)
Айжан Хасенова || рейтинг: 11.00 (общий рейтинг: 80.70)
Максим Батинок || рейтинг: 11.00 (общий рейтинг: 33.50)
Александр Брунов || рейтинг: 11.00 (общий рейтинг: 281.70)
Александр Буркевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Егор Занин || рейтинг: 11.00 (общий рейтинг: 269.70)
Александр Чупин || рейтинг: 11.00 (общий рейтинг: 11.00)
Антон Голубков || рейтинг: 11.00 (общий рейтинг: 31.90)
Азиза Нуркеева || рейтинг: 11.00 (общий рейтинг: 83.30)
Александр Журавлев || рейтинг: 11.00 (общий рейтинг: 84.40)
Sergey Kyshoff || рейтинг: 11.00 (общий рейтинг: 21.90)
Дарья Маруськина || рейтинг: 11.00 (общий рейтинг: 100.70)
Юрий Тютрин || рейтинг: 11.00 (общий рейтинг: 801.84)
Леонид Иньков || рейтинг: 11.00 (общий рейтинг: 30.20)
Евгений Синявкин || рейтинг: 11.00 (общий рейтинг: 57.20)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
