Форум » Логические выражения » задание 18 онлайн тест с сайта поляова » Ответить
задание 18 онлайн тест с сайта поляова
ege2020_pzdc: Обозначим через ДЕЛ(n,m) утверждение "натуральное число n делится без остатка на натуральное число m". Для какого наибольшего натурального числа А формула ДЕЛ(x,18) → (ДЕЛ(x,54) → ДЕЛ(x, A)) тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)? Объясните дураку
Ответов - 4
cabanov.alexey: ДЕЛ(x,18) → (ДЕЛ(x,54) → ДЕЛ(x, A)) ¬ДЕЛ(x,18) ∨ ¬ДЕЛ(x,54) ∨ ДЕЛ(x, A) ¬ДЕЛ(x,18) ∨ ¬ДЕЛ(x,54) ложно для всех x, кратных 54. Значит ДЕЛ(x, A) должно для них быть истинным. Наибольшее A, подходящее под это требование - 54.
MEA: ege2020_pzdc пишет: Объясните Предлагаю свой способ решения, работающий "как автомат Калашникова" (не моя оценка ) Решение для битовых и для делителей используют одну и ту же идеологию. Самые сложные и самые обсуждаемые решаются как самые простые. https://vk.com/club180658320?w=wall-180658320_65%2Fall Если будут вопросы, с удовольствием отвечу
dbaxps: Попробуйте выполнить в стиле https://vk.com/club180658320?w=wall-180658320_65%2Fall его можно сравнить с решением из 132-ой http://kpolyakov.spb.ru/download/ege18del.pdf , которое использует некоторые не очень известные , но эффективные свойства импликации Последнее решение не акцентирует внимание на том, что D(k,x) по сути предикат.
dbaxps: See https://strategies18.blogspot.com/2019/10/algebra-of-predicates-dk-helen.html References 1. E.A. Mironchick ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE) , Informatics in school #3 2019
полная версия страницы