|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Арсений Ждановский || рейтинг: 11.00 (общий рейтинг: 11.00)
Ксения Юрчук || рейтинг: 11.00 (общий рейтинг: 259.10)
Владимир Зайцев || рейтинг: 11.00 (общий рейтинг: 162.30)
Татьяна Нестеренко || рейтинг: 11.00 (общий рейтинг: 59.10)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Павел Дедеркал || рейтинг: 11.00 (общий рейтинг: 31.00)
Татьяна Климова || рейтинг: 11.00 (общий рейтинг: 303.00)
Denis Andreyanov || рейтинг: 11.00 (общий рейтинг: 23.00)
Ольга Мухина || рейтинг: 11.00 (общий рейтинг: 28.80)
Алексей Бобриков || рейтинг: 11.00 (общий рейтинг: 124.00)
Злата Борщева || рейтинг: 11.00 (общий рейтинг: 11.00)
Дмитрий Максимов || рейтинг: 11.00 (общий рейтинг: 54.00)
Елизавета Крамских || рейтинг: 11.00 (общий рейтинг: 77.50)
Дмитрий Никиша || рейтинг: 11.00 (общий рейтинг: 86.80)
Кирилл Сухарев || рейтинг: 11.00 (общий рейтинг: 11.00)
Никита Елисеев || рейтинг: 11.00 (общий рейтинг: 180.30)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)
Вадим Карчагин || рейтинг: 11.00 (общий рейтинг: 33.20)
Александра Путко || рейтинг: 11.00 (общий рейтинг: 11.00)
Анастасия Сидорова || рейтинг: 11.00 (общий рейтинг: 42.50)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?