|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Илья Тришин || рейтинг: 11.00 (общий рейтинг: 53.90)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Максим Батинок || рейтинг: 11.00 (общий рейтинг: 33.50)
Айжан Хасенова || рейтинг: 11.00 (общий рейтинг: 80.70)
Ольга Муравьева || рейтинг: 11.00 (общий рейтинг: 126.80)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Сергей Титенков || рейтинг: 11.00 (общий рейтинг: 11.00)
Владимир Зайцев || рейтинг: 11.00 (общий рейтинг: 162.30)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2995.33)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Павел Дедеркал || рейтинг: 11.00 (общий рейтинг: 31.00)
Азиза Нуркеева || рейтинг: 11.00 (общий рейтинг: 83.30)
Ольга Мухина || рейтинг: 11.00 (общий рейтинг: 28.80)
Александр Журавлев || рейтинг: 11.00 (общий рейтинг: 84.40)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Евгений Синявкин || рейтинг: 11.00 (общий рейтинг: 57.20)
Егор Занин || рейтинг: 11.00 (общий рейтинг: 269.70)
Дарья Маруськина || рейтинг: 11.00 (общий рейтинг: 100.70)
Александр Чупин || рейтинг: 11.00 (общий рейтинг: 11.00)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?