Форум » Логические выражения » Вопросы по статье » Ответить
Вопросы по статье
oval: Не нашла в статье 1. №163 сводится к импликации A->(Z13+Z39)=(A->Z13)+(A->Z39) откуда следует, что в А должны быть единичными биты 0,2,3(13) или 0,1,2,5(39) или их комбинация. Нам необходимо наименьшее, значит А=13. 2. №173 сводится к импликации (Z26+Z13)->(Z78+A) что делать с Z26+Z13?
Ответов - 12
Поляков: oval пишет: №163 сводится к импликации A->(Z13+Z39)=(A->Z13)+(A->Z39) откуда следует, что в А должны быть единичными биты 0,2,3(13) или 0,1,2,5(39) или их комбинация. Нам необходимо наименьшее, значит А=13. Да, это верно. А в чем вопрос? Предлагаете еще пример добавить? №173 сводится к импликации (Z26+Z13)->(Z78+A) что делать с Z26+Z13? См. недавно добавленный пример 7 в статье.
oval: Можно еще добавить типа №163, а в № 173 сама дошла, не видела этого примера А, вообщем, супер метод Спасибо Вам и Здвижковой А.В.
Поляков: oval пишет: Можно еще добавить типа №163, Добавил. Там такое интересное продолжение...
oval: Да, поучительно. У меня написана программа, с помощью которой тоже получаю все возможные значения А. Самое интересное начинается, когда мой ответ не сходиться с тем, что выдает программа :))
human: Здравствуйте! Почему применение Утверждения 8 в A->(Z13 + Z39) к Z13 + Z39 как Z13 & 39 = Z5 дает неверный результат A->Z5 => Amin = 5 ? Почему раскрытие импликации к сумме по Свойству 1 приоритетнее применения Утверждения 8? Спасибо!
oval: human пишет: Почему раскрытие импликации к сумме по Свойству 1 приоритетнее применения Утверждения 8? применение Утверждения 8 уменьшает кол-во единиц, которые необходимо перекрыть с помощью А.
Поляков: human пишет: Почему раскрытие импликации к сумме по Свойству 1 приоритетнее применения Утверждения 8? Заметьте, что утверждение 8 действует только в одну сторону. То есть, из истинности ZK&M НЕ следует истинность ZK + ZM. Поэтому в правой части импликации применять такой переход, то есть заменять ZK + ZM на ZK&M, нельзя.
MEA: *PRIVAT*
Canode: Я тут мимо проходил.. и заинтересовался)) Скажите, люди, из какого сборника вы тут осуждаете задачи? Напр. 150) 163) - это откуда?) Хочу тоже порешать, мозги размять)
Поляков: Canode пишет: 150) 163) - это откуда?) Отсюда. Конкретно эти задачи - отсюда.
ien: Добрый день! Просмотрела статью. Однако не нашла ответа на свой вопрос: Как решать задачи 182-185?
Поляков: ien пишет: Как решать задачи 182-185? Если вам ясно, как решать остальные задачи, с этими тоже не должно быть проблем. Решать точно так же. Раскрыть импликации. Упростить. Свести к импликации без инверсий.
полная версия страницы