Основные понятия математической логики

• Название: Основные понятия математической логики
• Дата: 16.02.2022
• Размер: 2.32 Mb.
• Имя файла: ege15.doc
• Тип: Закон; #363571
• страница: 43 из 50

(x + 3y + 2z – 54 ≠ 0) ∨ (A < x + 10) ∨ (A < 5y – 4x) ∨ (A < z + x)

истинно при любых целых неотрицательных x, y, z?

330. 
     (С.С. Поляков) Для какого наибольшего целого неотрицательного числа А выражение 
     

(80 ≠ 5y + 2x + 4z) ∨ (A < 6x) ∨ (A < y) ∨ (A < 3z)

истинно при любых целых неотрицательных x, y, z?

331. 
     (С.С. Поляков) Для какого наибольшего целого неотрицательного числа А выражение 
     

(156 ≠ 4y + x² + 3z) ∨ (A < 8x²) ∨ (A < y) ∨ (A < 4z)

истинно при любых целых неотрицательных x, y, z?

332. 
     (С.С. Поляков) Укажите наибольшее целоезначение А, при котором выражение 
     

(3y – 4x – 29  0) ∨ (A < 2x² + 5) ∨ (A < y² – 1)

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

333. 
     (С.С. Поляков) Укажите наибольшее целоезначение А, при котором выражение 
     

(21y – 5x  – 99) ∨ (A < 2x – 7) ∨ (A < y² + 16)

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

334. 
     (С.С. Поляков) Укажите наибольшее целоезначение А, при котором выражение 
     

(17y – 13x  480) ∨ (A < (x+5)²) ∨ (A < 19y)

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

335. 
     (С.С. Поляков) Укажите наибольшее целоезначение А, при котором выражение 
     

(y – x²  – 80) ∨ (A < 13x – 14) ∨ (A < y² + 15)

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

336. 
     (С.С. Поляков) Укажите наибольшее целоезначение А, при котором выражение 
     

(y – x²  80) ∨ (A < 13x – 14) ∨ (A < y² + 15)