Форум » Логические уравнения » Как возможно решить методом цепочек » Ответить
Как возможно решить методом цепочек
Eugeny1984: Добрый день, друзья! Я решил систему методом цепочек. У меня ответ 5 получился. В ответах стоит 42. Подскажите, пожалуйста, как можно решить методом цепочек или если нельзя, то другим методом? https://yadi.sk/i/_0isdcC-OmSkpA
Ответов - 15
dbaxps: Это не битовые цепочки, но в самом файле по-моему есть и то, что Вас интересует (цепочки)
Eugeny1984: dbaxps пишет: Это не битовые цепочки, но в самом фай Спасибо, за разъяснение. Это вроде бы у Полякова Константина Юрьевича есть. Я к сожалению в этом решении понимаю процентов 20 или 30 всего. Этого не достаточно, чтобы решать подобные задания.
cabanov.alexey: Я к сожалению в этом решении понимаю процентов 20 или 30 всего. Тогда нужно начинать с заданий попроще. Начните с заданий без дополнительных условий. В данной системе последнее условие считаем "от противного".
Eugeny1984: cabanov.alexey пишет: Спасибо за разъяснение. Методом отображения, я знаю как решать, но не умею исключать последнее уравнение. У меня тоже 48 получилось, а потом как 6 вы исключили, я не понял. Вы могли бы подробней объяснить этот момент исключения неподходящего?
Eugeny1984: cabanov.alexey Спасибо за разъяснение. Методом отображения, я знаю как решать, но не умею исключать последнее уравнение. У меня тоже 48 получилось, а потом как 6 вы исключили, я не понял. Вы могли бы подробней объяснить этот момент исключения неподходящего?
dbaxps: @cabanov.alexey Можно решить цепочками систему ? (((x1=>y1)=>z1)⊕((z1=>y1)=>x1))=>((x2≡y2)≡z2)=1 (((x2=>y2)=>z2)⊕((z2=>y2)=>x2))=>((x3≡y3)≡z3)=1 (((x3=>y3)=>z3)⊕((z3=>y3)=>x3))=>((x4≡y4)=z4)=1 (((x4=>y4)=>z4)⊕((z4=>y4)=>x4))=>((x5≡y5)≡z5)=1 (((x5=>y5)=>z5)⊕((z5=>y5)=>x5))=>((x1≡y1)≡z1)=1
cabanov.alexey: Можно решить цепочками систему ? А зачем?
dbaxps: Я предполагаю , что решение цепочками будет существенно тяжелее чем предложенное в https://mapping-metod.blogspot.com/2019/10/setting-up-cross-reference-table-in.html https://informatics-ege.blogspot.com/2019/11/exercising-cross-reference-tables-with.html Но я не апостол могу и заблуждаться.
cabanov.alexey: Вы могли бы подробней объяснить этот момент исключения неподходящего? (x1≡4)∨(x5≡8)∨(x2≡10)=1 Уравнение не выполняется если x1x4, x5x8, x2x10 отличаются (01 или 10). Из найденных решений исключаем таковые. Принимаем x1x2 за 01 (и за 10) и остальные найденные пары подбираем так, чтобы x1x4, x5x8, x2x10 отличались.
Eugeny1984: cabanov.alexey Алексей, благодарю, Благодарю, почти все понятно ). Кроме одного. Почему за x5 и x6 вы взяли вариант только 01 и 10, а не взяли вариант еще 00? А в x9 и x10 вы взяли вариант двух нулей? Т.е. мне непонятно, если 01 и 10 только рассматриваем, то почему вы берете тогда в некоторых местах 00?
dbaxps: Ответ уже дан Я не решаю систем цепочками в принципе - только МО Классика либо продвинутая техника МО 08.2016 Продвинутая техника МО 08.2016 сейчас в печати (ИВШ) либо можно смотреть Окрытую группу Елены Александровны. Если касаться в принципе текущего статуса МО и уровня сложности решенных задач, скорее всего они также в печати, но я не в курсе какой журнал
cabanov.alexey: ¬(x1≡x2)→(x3≡x4)=0 x1x2 обязательно должны быть 10 или 01, иначе решений уравнение не имеет. Тоже самое для x3x4 x5x6 x7x8. Для x9x10 таких ограничений нет.
Eugeny1984: cabanov.alexey Профессионал просто супер! Начинаю вроде бы понимать. Сейчас еще потренируюсь на подобных заданиях...
Eugeny1984: cabanov.alexey а если бы в последнем уравнении стояла бы конъюнкция, вместо дизъюнкции, то я вот думаю, как бы изменилось решение? Наверно, раз все множители равны нулю при дизъюнкции были, то наверное никак. Алексей, а вы как думаете?
cabanov.alexey: (x1≡x4)∧(x5≡x8)∧(x2≡x10)=1 Тогда x1x4, x5x8, x2x10 должны совпадать, чтобы равенство выполнялось. А в предыдущих уравнениях x1x4, и x5x8 как сказано в сообщении #150, обязательно отличаются. Поэтому решений не будет 😀.
полная версия страницы