Условие:
Для какого наименьшего целого неотрицательного числа A выражение
(3x + 4y ≠ 70) ∨ (A > x) ∨ (A > y)
тождественно истинно при любых целых неотрицательных x и y?
Решение:
Пусть нам дано логическое выражение
(3x + 4y ≠ 70) ∨ (A > x) ∨ (A > y)
мы хотим найти наименьшее целое неотрицательное A, при котором это выражение истинно для любых целых неотрицательных x и y.
Шаг 1. Определение условий ложности выражения
Выражение вида P ∨ Q ∨ R ложно только если все три утверждения одновременно ложны. Это означает, что если существует пара (x, y), для которой одновременно
1) 3x + 4y = 70,
2) A > x ложно, т.е. x ≥ A,
3) A > y ложно, т.е. y ≥ A,
то выражение будет ложным для...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи