Отправлено: 28.08.17 17:03. Заголовок: Bitwise2 техника решения сложных задач ЕГЭ типа 18 с побитовой конъюнкцией

Работая над 209,210,212 (С.С.Поляков) из ege18.doc
я был вынужден заменить "тождественно ложно для всех x ∈ N"
на "ложно хотя бы для одного x ∈ N". Обоснование здесь :-
http://mapping-metod.blogspot.ru/2017/08/bitwise2-18.html
У меня нет 100% уверенности , что логика этого поста верна.

 Отправлено: 31.08.17 00:18. Заголовок: Ответ

Здравствуйте!

Не нужно ничего "заменять".

Если Вам поможет, вот полный набор значений A в задачах 209,210,211:

2 8 10 16 18 24 26 32 34 40 42 48 50 56 58

Разбирайтесь.

И не нужно нигде публиковать измененные условия, тем более, без разрешения автора!

 Отправлено: 31.08.17 01:32. Заголовок: Ответ

Уважаемый Сергей Сергевич !
Я приношу Вам извинения за публикацию
Я нашел у себя ошибку, тестируя 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}

Спасибо.