Форум » Логические уравнения » крылов чуркина 5 вар. » Ответить
крылов чуркина 5 вар.
ELE: Здравствуйте.Каким способом лучше решать? -((X1Y1=X3Y3)->X2Y2 -((X2Y2=X4Y4)->-(X3Y3) ---------------------------- -(X6Y6=X8Y8)->-(X7Y7) Я преобразую -((X1Y1=X3Y3)->X2)*(-((X1Y1=X3Y3)->Y2) Подбираю 9 реш. в 1 ур-и 10 реш во 2 ур-и.Ответ 81.Помогите. Заранее спасибо!
Ответов - 12
Поляков: ELE пишет: Каким способом лучше решать? Начните с замены переменных: z1=x1*y1, z2=x2*y2, ...
ELE: после замены переменных получила: 1 ур 6 реш 2 ур 9 реш 3 ур 14 реш 4 ур 22 реш 5 ур 35 реш 6 ур 56 реш (т.е. +3 5 8 13 21(фибоначи) как же все же после возврата к xy можно получить ответ 81? не соображу никак!
Поляков: ELE пишет: как же все же после возврата к xy можно получить ответ 81? не соображу никак! В принципе, нужно выписывать все решения и переходить обратно к xy. Единичный бит в цепочке Z не меняет количество решений, так как Zi=Xi*Yi=1 только в одном случае. А нулевой бит увеличивает количество решений в 3 раза (3 варианта, когда Xi*Yi=0). Это нужно сделать для всех решений Z. Программа выдает ответ 7720, который далеко не равен 81. Как сделать вручную - наверное, лучше использовать метод отображений Е.А. Мирончик без замены переменных. Хотя там связь первых двух уравнений идет по 4-м переменным, так что вычислительных проблем и тут выше головы.
MEA: Поляков пишет: Как сделать вручную - наверное, лучше использовать метод отображений Е.А. Мирончик без замены переменных. Хотя там связь первых двух уравнений идет по 4-м переменным, так что вычислительных проблем и тут выше головы. Нет, не выше головы. На 4 переменные переходить не обязательно. Также как Вы предлагаете сначала замена, анализ через другую переменную и до выполнения вычислений переход обратно и анализ какие числа умножаются на 3 в ходе построения таблицы. Решение компактное получается. Стрелки или матрица смежности пара в пару. Исходное количество пар 00 - 9, 01 и 10 - 3, 11 - одна. Умножение на 3 там, где вычисляем количество пар 00 и 10. Собственно решение менее половины тетрадной страницы. Хотя, вычислений все равно не мало, но в 23-ем их всегда не мало.
ELE:
Gal: Здравствуйте, MEA спасибо за рекомендации, но все равно не все понятно. Может быть можно где-то посмотреть полное решение? Спасибо заранее.
MEA: Для подробного решения давайте сначала конкретизируем что решаем. В системе которая написана число скобок непарное. Если отрицание стоит перед всем выражением, то импликация равна 0, и все совсем просто ответ 3^8 (я видела похожую систему). То описание что давала выше для решения системы в которой нет отрицания. т.е. импликация равна 1.
ELE: -(X1Y1=X3Y3)->X2Y2 -(X2Y2=X4Y4)->-(X3Y3) ---------------------------- -(X6Y6=X8Y8)->-(X7Y7)
ELE: ОТВЕТ 81?
MEA: 2-ое и первое уравнение отличаются. третье уравнение такое же как первое по знакам? Или оно отличается от всех?
ELE: все нечетные ур-я правая часть без инверсий, все четные- правая часть с инверсией
MEA: Точно проверить можно в программе, я считала вручную даже без калькулятора :) Получился ответ 12382
полная версия страницы