Форум » Логические выражения » Bitwise2 техника решения сложных задач ЕГЭ типа 18 с побитовой конъюнкцией » Ответить
Bitwise2 техника решения сложных задач ЕГЭ типа 18 с побитовой конъюнкцией
dbaxps: Работая над 209,210,212 (С.С.Поляков) из ege18.doc я был вынужден заменить "тождественно ложно для всех x ∈ N" на "ложно хотя бы для одного x ∈ N". Обоснование здесь :- http://mapping-metod.blogspot.ru/2017/08/bitwise2-18.html У меня нет 100% уверенности , что логика этого поста верна.
Ответов - 2
polyakovss: Здравствуйте! Не нужно ничего "заменять". Если Вам поможет, вот полный набор значений A в задачах 209,210,211: 2 8 10 16 18 24 26 32 34 40 42 48 50 56 58 Разбирайтесь. И не нужно нигде публиковать измененные условия, тем более, без разрешения автора!
dbaxps: Уважаемый Сергей Сергевич ! Я приношу Вам извинения за публикацию Я нашел у себя ошибку, тестируя 48 и 50. Похоже помогло :- http://mapping-metod.blogspot.ru/2017/08/bitwise2-18.html По крайней мере 209,210 ответы верны. ========= Case 1 (211) ========= Преобразование уравнения в стиль алгебры Z (k): - (Z(17) +A + ¬Z(58)) => Z(8)(¬A)Z(58) = 0 ¬(Z(17) +A + ¬Z(58)) v Z(8)(¬A)Z(58) = 0 Теперь отрицаем выражения в обеих частях уравнения (Z(17) +A + ¬Z(58)) ^(¬Z(8) +A + ¬Z(58)) = 1 Получаем систему :- (Z(58) => A ) + (Z(58) => Z(17)) =1 Z(58 or 8) => A 58 = 111010 v 8 = 001000 --------------------------- 58 = 111010 Z(58) => A(max) = 1 58 = 111010 ============ Все возможные подможества {1,0} в правильном порядке входящие в 111010 10 = 2 1000 = 8 1010 = 10 10000 = 16 10010 = 18 11000 = 24 11010 = 26 100000 = 32 100010 = 34 101000 = 40 101010 = 42 110000 = 48 110010 = 50 111000 = 56 111010 = 58 Answer = {2,8,10,16,18,24,26,32,34,40,42,48,50,56,58} Спасибо.
полная версия страницы