Автор | Сообщение |
|
Отправлено: 10.05.17 09:55. Заголовок: 18. 230
Пришли к виду (z113->Z4)+(Z113->Z2)+(Z113->ZA) , наибольшее значение А =113, а в ответе 65, поясните, пожалуйста
|
|
|
Новых ответов нет
[см. все]
|
|
|
| Администратор
|
Сообщение: 1430
|
|
Отправлено: 10.05.17 10:44. Заголовок: ученик2017 пишет: Пр..
ученик2017 пишет: цитата: | Пришли к виду (z113->Z4)+(Z113->Z2)+(Z113->ZA) |
|
Это неверно. Показывайте, как получили эту формулу.
|
|
|
|
Отправлено: 12.05.17 14:40. Заголовок: Константин Юрьевич, ..
Константин Юрьевич, здравствуйте. Пришли в тупик. Преобразовали с помощью формул до следующего вида. A+Z64*Z112+Z4+Z2=1 A+Z64*Z112+Z4=1 A+Z112=1 Т.о., наибольшее получается 112, а наименьшее 16. Верно?
|
|
|
|
| Администратор
|
Сообщение: 1436
|
|
Отправлено: 12.05.17 20:49. Заголовок: Милена пишет: A+Z64*..
Милена пишет: Это неверно. Показывайте выводы.
|
|
|
|
Отправлено: 25.05.17 23:07. Заголовок: получилось после пре..
получилось после преобразования А+неZ65 + Z4 + Z112*неZ2. Это правильно? А дальше что?
|
|
|
|
Отправлено: 26.05.17 06:53. Заголовок: После упрощения мы п..
После упрощения мы получили выражение A+НЕ(Z_65) + Z_4 + Z_112 И НЕ(Z_2) Не можем понять, почему Z_112 И НЕ(Z_2) будет ложным для некоторых x. Не могли бы Вы объяснить?
|
|
|
|
| Администратор
|
Сообщение: 1471
|
|
Отправлено: 26.05.17 07:41. Заголовок: Vfrc пишет: После уп..
Vfrc пишет: цитата: | После упрощения мы получили выражение A+НЕ(Z_65) + Z_4 + Z_112 И НЕ(Z_2) Не можем понять, почему Z_112 И НЕ(Z_2) будет ложным для некоторых x. |
|
Согласно методу доказательства в статье http://kpolyakov.spb.ru/download/bitwise2.pdf, полученное выражение сводится к импликации Z65->(A+Z_4+Z_112*!Z_2) и дальше к сумме импликаций (Z65->A)+(Z65->Z_4)+(Z65->Z_112*!Z_2) (Z65->A)+(Z65->Z_4)+(Z65->Z_112)*(Z65->!Z_2) Поскольку двоичная запись чисел 4 и 112 имеет единичные биты, которые не входят во множество единичных битов числа 65, имеем (Z65->Z_4) = 0 и (Z65->Z_112) = 0. Поэтому остается только (Z65->A) = 1.
|
|
|
|