Форум » Логические выражения » 177 номер 18 задание » Ответить
177 номер 18 задание
greycat9515: Подскажите как решить 177 задачу с вашего сборника . Желательно способом который вы мне порекомендовали
Ответов - 6
Поляков: greycat9515 пишет: Подскажите как решить 177 задачу с вашего сборника . Желательно способом который вы мне порекомендовали Показывайте, как вы решаете и что у вас не получается.
greycat9515: Что же делать дальше?
Поляков: greycat9515 пишет: Что же делать дальше? В левой части импликации (только в левой!) можно использовать свойство [pre2]Za+Zb => Z(a*b) [/pre2]то есть Z38+Z57 заменяем на Z32 (32 = 38 & 57). Теперь две импликации: Z32->Z11 и Z32->A. Первая ложна (точнее, справедлива не для всех x), потому что часть единичных битов числа 11 не входят в двоичную запись числа 32, поэтому все выражение равносильно Z32 -> A. Отсюда Amax = 32.
greycat9515: Я немного недопонимаю утверждение 8 благодаря которому вы решили задачу.Напомню: Пусть выражение Zk + Zm истинно при некотором натуральном x.Тогда истинно выражение Zk&m.Выражение Zk&m истинно при любом X или при конкретном X?
Поляков: greycat9515 пишет:Выражение Zk&m истинно при любом X или при конкретном X? При любом X. Но обратное неверно, то есть из того, что Zk&m истинно для всех X, совершенно не следует, что для всех X истинно и Zk + Zm. Поэтому использовать это равенство можно только в левой части импликации, но не в правой.
greycat9515: Благодарю!
полная версия страницы