Форум » Логические уравнения » Очередное «доказательство» парадигмы Елены Mирончик » Ответить

Очередное «доказательство» парадигмы Елены Mирончик

dbaxps: Нет такой системы уравнений в булевых переменных,которую нельзя было бы решить с помощью метода отображения Например, https://mapping-metod.blogspot.com/2019/05/solution-problem-23-of-early.html ;) Метод Отображения - это как Восточные единоборства. Есть несколько уровней мастерства. Вы просто не всегда можете следовать Сенсэю. Но это Ваша проблема, а не проблема метода. Всегда найдется мастер, который выполнит связку, которая сейчас Вам кажется непостижимой (как решения Р-45,46 в технике 08.2016)

Ответов - 13

cabanov.alexey: Нет такой системы уравнений в булевых переменных,которую нельзя было бы решить с помощью метода отображения Очень смелое заявление. Некоторые системы потребуют большого числа отображений. Это вам для разминки. (x1=x2)->(x3+x4)=1 (x3=x4)->(x5+x6)=1 (x5=x6)->(x7+x8)=1 (x7=x8)->(x9+x10)=1 (x9=x10)->(x1+x2)=1

MEA: cabanov.alexey пишет: Очень смелое заявление. Некоторые системы потребуют большого числа отображений. Если честно, то всегда говорила, что "пока не попадалось" cabanov.alexey пишет: Некоторые системы потребуют большого числа отображений. Это вам для разминки. (x1=x2)->(x3+x4)=1 (x3=x4)->(x5+x6)=1 (x5=x6)->(x7+x8)=1 (x7=x8)->(x9+x10)=1 (x9=x10)->(x1+x2)=1 Отображение одно. Просчетов больше одного. Точнее два необходимо. Но таких случаев много. Так что версия первая опровергнуть не смогла

MEA: cabanov.alexey пишет: Очень смелое заявление. Некоторые системы потребуют большого числа отображений. Это вам для разминки. Еще одно предложение для тех, кто любит 23 задание. Интересно как его решить без стрелок? А как со стрелками?


MEA: Для тех кто заинтересовался решением системы в сообщении 222: Решение в комментарии

cabanov.alexey: Разминка v2. Тут уже можно понять о чём я. ((x1=x2)=x3)->(x4+x5+x6)=1 ((x4=x5)=x6)->(x7+x8+x9)=1 ((x7=x8)=x9)->(x1+x2+x3)=1

MEA: Можно попросить доставить скобки, чтобы быть уверенным, что понято правильно?

MEA: cabanov.alexey пишет: Разминка v2. Тут уже можно понять о чём я. ((x1=x2)=x3)->(x4+x5+x6)=1 ((x4=x5)=x6)->(x7+x8+x9)=1 ((x7=x8)=x9)->(x1+x2+x3)=1 Спасибо! Кажется, очень любопытное отображение нарисуется. Но это решение буду оформлять завтра. Россия большая, по часовым поясам я в центре (ночь давно)

dbaxps: Если нужны детали смотри https://vk.com/bderzhavets последний пост. Cat mus nulla bestia terribilis.

MEA: cabanov.alexey пишет: Разминка v2. Тут уже можно понять о чём я. Разминка v2 принципиально не отличается от известных систем и от версии 1. А вот второй способ решения методом отображения можете посмотреть в моей группе: Информатика. Логика. ЕГЭ И там же запись с Подробным решением Любопытно какой будет версия №3? Если только переходом от троек к четверкам и пятеркам, то сможете проверить технологию построения отображения по описанной схеме. Будете иметь в отображении 4 строки максимум.

cabanov.alexey: Доставил, в остальных местах думаю понятно.

MEA: Хочу предложить версию задания, которое без стрелок вообще мутное решение имеет, а со стрелочками очень даже... ((X1->X2)->((y1->y2)->y3))->(((z1->z2)->z3)->z4)= 1 В принципе можно и ещё продолжить, решение не принципиально изменится. И знак операции или смесь знаков никакой роли на объем рассуждений не оказывает. Только если не взять только плюс или только умножить, т.к. это совсем просто.

dbaxps: @Вниманию cabanov.alexey Решите, пожалуйста, систему ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1 ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1 ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=1

dbaxps: Рассмотрим систему выше ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1 ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1 ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=1 Исходная система описана диграммами в стиле 08.2016 и сразу же просчитана ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1 ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1 ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=1 Расчет системы ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1 ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1 в верхней половине таблицы Расчет системы ((x1≡x2)≡x3)=>((x4=>x5)=>x6)=1 ((x4≡x5)≡x6)=>((x7=>x8)=>x9)=1 ((x7≡x8)≡x9)=>((x1=>x2)=>x3)=0 в нижней половине таблицы Контроль по К.Ю. Полякову



полная версия страницы