Алгебра логики. Задача 4-59

Укажите наибольшее целое значение А, при котором выражение

(y - 2x > A) ∨ (x > 20) ∨ (y > 20)

истинно для любых целых положительных значений x и y. 

Ответ
-40
Решение

Чтобы значение дизъюнкции \( (y - 2x > A) + (x > 20) + (y > 20) \) было бы истинно, необходимо, чтобы выражение \( y - 2x > A  \) было истинно, когда выражения \( x > 20 \) и \( y > 20 \) ложны, т.е \( x ≤ 20 \)  и \( y ≤ 20 \). Кроме того, по условиям задачи \( x > 0 \) и \(y > 0 \) , так как рассматриваются только целые положительные значения \(x\) и \(y\), поэтому область \( (x ≤ 20)⋅(y ≤ 20)⋅(x > 0)⋅(y > 0) \) должна быть включена в область, расположенную выше прямой \( y = 2x + A \):

График

Следовательно прямая \( y = 2x + A \) должна проходить не выше точки \( x = 20, y = 1 \). Подставим эти значения в  выражение  \( y - 2x > A \):

\( 1 - 2 ⋅ 20 > A  ⇒  A < -39 \). Ответ: -40