Форум » Логические выражения » 18. 230 » Ответить
18. 230
ученик2017: Пришли к виду (z113->Z4)+(Z113->Z2)+(Z113->ZA) , наибольшее значение А =113, а в ответе 65, поясните, пожалуйста
Ответов - 6
Поляков: ученик2017 пишет: Пришли к виду (z113->Z4)+(Z113->Z2)+(Z113->ZA) Это неверно. Показывайте, как получили эту формулу.
Милена: Константин Юрьевич, здравствуйте. Пришли в тупик. Преобразовали с помощью формул до следующего вида. A+Z64*Z112+Z4+Z2=1 A+Z64*Z112+Z4=1 A+Z112=1 Т.о., наибольшее получается 112, а наименьшее 16. Верно?
Поляков: Милена пишет: A+Z64*Z112+Z4+Z2=1 Это неверно. Показывайте выводы.
SSV: получилось после преобразования А+неZ65 + Z4 + Z112*неZ2. Это правильно? А дальше что?
Vfrc: После упрощения мы получили выражение A+НЕ(Z_65) + Z_4 + Z_112 И НЕ(Z_2) Не можем понять, почему Z_112 И НЕ(Z_2) будет ложным для некоторых x. Не могли бы Вы объяснить?
Поляков: 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.
полная версия страницы