Форум » Логические уравнения » Задачи 153 - 156 » Ответить
Задачи 153 - 156
Романова: Пожалуйста, напишите решение одного из уравнений 153-156. Я предполагаю, что когда делаешь замену 1 части уравнения zi=(xi=yi), получается система уравнений (z1->z2)*(x1->x2)*(y1->y2)=1 (z2->z3)*(x2->x3)*(y2->y3)=1 и т.д Можно ли её переписать в 3 строки как: (z1->z2)*(x2->x3)*(z3->z4)*(x4->x5)*(z5->z6)*(x6->x7)=1 (x1->x2)*(x2->x3)*(x3->x4)*(x4->x5)*(x5->x6)*(x6->x7)=1 (y1->y2)*(y2->y3)*(y3->y4)*(y4->y5)*(y5->y6)*(y6->y7)=1 Если можно, то количество решений без замены будет 8*8*8=512, а замена должна каким то образом уменьшить количество решений до 22. Ну как это сделать? У меня, наоборот количество решений увеличивается???
Ответов - 2
Поляков: Романова пишет: Можно ли её переписать в 3 строки как: Лучше собрать в первом уравнении все импликации вида (x_i->x_(i+1)), во втором - все импликации по y, а в третьем - все ограничения (первые скобки в каждом из исходных уравнений). Тогда первые два уравнения будут независимыми, а третье определит ограничения на комбинации X и Y.
Романова: Спасибо
полная версия страницы