|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Рейтинг выпускников |
Поиск
Елизавета Крамских || рейтинг: 11.00 (общий рейтинг: 77.50)
Альберт Сабитов || рейтинг: 11.00 (общий рейтинг: 38.43)
Анастасия Шевелева || рейтинг: 11.00 (общий рейтинг: 67.40)
Елена Пащенко || рейтинг: 11.00 (общий рейтинг: 75.30)
Дмитрий Никиша || рейтинг: 11.00 (общий рейтинг: 86.80)
Александр Кузнецов || рейтинг: 11.00 (общий рейтинг: 418.00)
Татьяна Хисматулина || рейтинг: 11.00 (общий рейтинг: 58.00)
Никита Елисеев || рейтинг: 11.00 (общий рейтинг: 180.30)
V V || рейтинг: 11.00 (общий рейтинг: 11.00)
Вадим Карчагин || рейтинг: 11.00 (общий рейтинг: 33.20)
Игорь Хан || рейтинг: 11.00 (общий рейтинг: 2914.73)
Канат Ахметов || рейтинг: 11.00 (общий рейтинг: 46.00)
Анастасия Сидорова || рейтинг: 11.00 (общий рейтинг: 42.50)
Никита Гребенюк || рейтинг: 11.00 (общий рейтинг: 67.40)
Игорь Ищенко || рейтинг: 11.00 (общий рейтинг: 41.20)
Альфия Акбашева || рейтинг: 11.00 (общий рейтинг: 41.70)
Александр Леонтьев || рейтинг: 11.00 (общий рейтинг: 6556.23)
Анастасия Шеина || рейтинг: 11.00 (общий рейтинг: 77.40)
Виктор Нарушевич || рейтинг: 11.00 (общий рейтинг: 11.00)
Дмитрий Пурлин || рейтинг: 11.00 (общий рейтинг: 22.80)
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?