Форум » Логические выражения » ege 18 » Ответить
ege 18
tavabar: Здравствуйте! Не могу решить задачу: Обозначим через ДЕЛ(n, m) утверждение«натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула ¬ДЕЛ(x, А) →(ДЕЛ(x,6) →¬ДЕЛ(x,4)) тождественно истинна(то есть принимает значение 1 при любом натуральном значении переменной х)? Введу обозначения: А -х делится на А 6 -х делится на 6 4 -х делится на 4 Получаю: !А-> (6-> !4)=1 Тогда: А+(!6+!4)=1 Значит, !А *6*4=0 Дальше как рассуждать? Как назвать НАИБОЛЬШЕЕ?
DragonflyLif: Не смогла доказать свой способ решения, но воспользовалась методом Филлипова В.И.. Получилось также 47 Прикрепляю 1 файл с решением(разными способами, т.к. иногда не открываются ссылки). Помогите пожалуйста разобраться. http://shot.qip.ru/00Sjot-4N7Lfc6uR/ <a href="http://shot.qip.ru/00Sjot-4N7Lfc6uR/" target="_blank" title="QIP Shot"><img src="http://f4.s.qip.ru/~N7Lfc6uR.jpg" /></a> URL=http://shot.qip.ru/00Sjot-4N7Lfc6uR/][/URL]
Поляков: DragonflyLif пишет: Не смогла доказать свой способ решения, но воспользовалась методом Филлипова В.И. К сожалению, метод Филиппова не всегда дает правильный ответ. Я убрал с сайта эту презентацию. Получилось также 47 Контрпример: при x = 20 и A = 47 выражение ложно.
DragonflyLif: Подставила вместо х число 20. Получилась для всех разрядов единица. Правильно ли я понимаю, что мы должны подобрать такое значение А, чтобы подставляя соответствующие биты (двоичные цифры) в заданное выражение получать только единицы. Если так, то я просто подставляю соответствующие биты числа 20 вместо х в выражение. Потом выполняю алгоритм. Возможно, я не до конца понимаю как применять поразрядную конъюнкцию... Но очень хочется разобраться http://shot.qip.ru/00Sjot-2N7Lfc6uY/ <a href="http://shot.qip.ru/00Sjot-2N7Lfc6uY/" target="_blank" title="QIP Shot"><img src="http://f2.s.qip.ru/~N7Lfc6uY.jpg" /></a>
Поляков: DragonflyLif пишет: Возможно, я не до конца понимаю как применять поразрядную конъюнкцию... Но очень хочется разобраться Посмотрите, я подробно разобрал пример в этой ветке.
DragonflyLif: Большое спасибо за пояснение! Теперь понятно. Не могли бы Вы добавить в файл с заданием 18 хотя бы одно полное условие задачи (с примером), в котором видно, что результатами поразрядной конъюнкции могут получиться не только 0 или 1? Т.о. больше никто не спутает математическое равенство с логическим.
Поляков: DragonflyLif пишет: Не могли бы Вы добавить в файл с заданием 18 хотя бы одно полное условие задачи (с примером), в котором видно, что результатами поразрядной конъюнкции могут получиться не только 0 или 1? Т.о. больше никто не спутает математическое равенство с логическим. Спасибо за предложение. Добавлено.
полная версия страницы