|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Вадим Карчагин || рейтинг: 11.00 (общий рейтинг: 33.20)
Александр Пеек || рейтинг: 11.00 (общий рейтинг: 23.00)
Ксения Юрчук || рейтинг: 11.00 (общий рейтинг: 259.10)
Анастасия Сидорова || рейтинг: 11.00 (общий рейтинг: 42.50)
Татьяна Климова || рейтинг: 11.00 (общий рейтинг: 303.00)
Альберт Сабитов || рейтинг: 11.00 (общий рейтинг: 38.43)
Ксения Шацких || рейтинг: 11.00 (общий рейтинг: 50.30)
Канат Ахметов || рейтинг: 11.00 (общий рейтинг: 46.00)
Александр Кузнецов || рейтинг: 11.00 (общий рейтинг: 418.00)
Александр Буслаев || рейтинг: 11.00 (общий рейтинг: 21.90)
Елена Пащенко || рейтинг: 11.00 (общий рейтинг: 75.30)
Алина Шумейко || рейтинг: 11.00 (общий рейтинг: 66.60)
Владислав Косенко || рейтинг: 11.00 (общий рейтинг: 11.00)
Константин Моисеенко || рейтинг: 11.00 (общий рейтинг: 77.80)
Irina Keda || рейтинг: 11.00 (общий рейтинг: 71.30)
Игорь Ищенко || рейтинг: 11.00 (общий рейтинг: 41.20)
Злата Борщева || рейтинг: 11.00 (общий рейтинг: 11.00)
Равшанбек Хайитов || рейтинг: 11.00 (общий рейтинг: 19.30)
Егор Занин || рейтинг: 11.00 (общий рейтинг: 269.70)
Александр Леонтьев || рейтинг: 11.00 (общий рейтинг: 6556.23)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
