1. Главная
  2. Библиотека
  3. Логика
  4. Для какого наибольшего целого неотрицательного числа А...
Разбор задачи

Для какого наибольшего целого неотрицательного числа А выражение (y+3x>A) V (х< 20) V (y>40) истинно при любых целых неотрицательных х и у?

  • Предмет: Логика
  • Автор: Кэмп
  • #Математическая логика
  • #Логика программирования
Для какого наибольшего целого неотрицательного числа А выражение (y+3x>A) V (х< 20) V (y>40) истинно при любых целых неотрицательных х и у?

Условие:

Для какого наибольшего целого неотрицательного числа А выражение

(y+3x>A) V (х< 20) V (y>40)

истинно при любых целых неотрицательных х и у?

Решение:

Шаг 1. Проанализируем два из условий, не зависящие от A:
• Если x < 20, то выражение истинно независимо от A.
• Если y > 40, то выражение истинно независимо от A.

Следовательно, потенциальные проблемы могут возникать только для x ≥ 20 и y ≤ 40, когда оба условия (x < 20) и (y > 40) ложны.

Шаг 2. Для случаев, когда x ≥ 20 и y ≤ 40, выражение должно быть истинно благодаря условию (y + 3x > A). То есть для всех пар (x, y), удовлетворяющих x ≥ 20 и y ≤ 40, должно выполняться:
...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое ключевое условие должно выполняться для выражения (y+3x>A) V (х< 20) V (y>40), чтобы оно было истинно при любых целых неотрицательных x и y?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Не нашел нужную задачу?

Воспользуйся поиском

Выбери предмет