Здравствуйте решить эти задачи, желательно с объяснениями) 1 - Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула (¬ДЕЛ(x, А) ^ ДЕЛ(x, 6)) -> ¬ДЕЛ(x, 3)
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
2 - Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула (¬ДЕЛ(x, А) ^ ДЕЛ(x, 15)) -> (¬ДЕЛ(x, 18) ↓ ¬ДЕЛ(x, 15))
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
3 - Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула
(ДЕЛ(x, А) ^ ¬ДЕЛ(x, 16)) -> ДЕЛ(x, 23)
тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?
хотелось бы контекст увидеть, но заменить можно с такой идеей:
у нас я так понял так или иначе выполняется элементДвижения (влево или вправо). давайте я создам метод с типом возврата элементДвижения
и тогда в нем после выполнения первого неполного ветвления мы уже что-то вернем и выйдем из метода и на второе ветвление (которое тогда не очень-то и нужно мы попадаем как в ветку иначе) ну вот такая идея...
было
if(слева стена)
{
вправо;
}
else
{
влево;
}
стало
МойМетод(); // вызываю метод
// а вот и сам метод
элементДвижения МойМетод()
{
if(слева стена)
{
return вправо;
}
if(слева не стена) // вообще можно не писать
{
return влево;
}
}