Экзамены и диагностики

Для какого наименьшего целого неотрицательного числа А выражение
(x·y < A) \/ (x < y) \/ (8 ≤ x)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y
 

Для какого наименьшего целого неотрицательного числа А выражение
(x + 2y < A) \/ (y > x) \/ (x > 30)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа А выражение
(x > A) \/ (y > A) \/ (x + 2y < 100)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Для какого наибольшего целого неотрицательного числа А выражение
(x > A) \/ (y > x) \/ (x + 2y < 110)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа А выражение
(x·y > A) \/ (x > y) \/ (8 ≥ x)
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа A выражение
 
(y + 3x > A) \/ (x < 20) \/ (y < 20)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа A выражение
 
(x > A) \/ (y > A) \/ (x + 2y < 110)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наименьшего целого неотрицательного числа А выражение
 
(x + 2y < A) \/ (y > x) \/ (x > 30)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?

Для какого наибольшего целого неотрицательного числа A выражение
 
(x + 2y > A) \/ (y < x) \/ (x < 33)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа A выражение
 
(x + 2y > A) \/ (y < x) \/ (x < 30)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наименьшего целого неотрицательного числа А выражение
 
(x + 2y < A) \/ (y > x) \/ (x > 20)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наименьшего целого неотрицательного числа A выражение
 
(y + 2x < A) \/ (x > 25) \/ (y > 30)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа A выражение
 
(x > A) \/ (y > A) \/ (x + 2y < 100)
 
тождественно истинно, т.е. принимает значение 1 при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа А логическое выражение
(2x + y ≠ 80) \/ (x < y) \/ (A < x)
истинно (т.е. принимает значение 1) при любых целых неотрицательных x и y?
 

На числовой прямой даны два отрезка: D = [17; 58] и C = [29; 80]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
(x ∈ D) → ((¬(x ∈ C) /\ ¬(x ∈ A)) → ¬(x ∈ D))
 
истинно (т.е. принимает значение 1) при любом значении переменной х.
 

Для какого наибольшего целого неотрицательного числа А логическое выражение
(39 ≠ y + 2x)  \/ (A < x) \/ (A < y)
истинно (т.е. принимает значение 1) при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа А логическое выражение
(39 ≠ y + 2x)  \/ (A < x) \/ (A < y)
истинно (т.е. принимает значение 1) при любых целых неотрицательных x и y?
 

Для какого наибольшего целого неотрицательного числа А логическое выражение
(2x + y ≠ 50) \/ (x < y) \/ (A < x)
истинно (т.е. принимает значение 1) при любых целых неотрицательных x и y?
 

На числовой прямой даны два отрезка: P = [17; 54] и Q = [37; 83]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение  
(x ∈ P) → (((x ∈ Q) /\ ¬(x ∈ A)) → ¬(x ∈ P))
 
истинно (т.е. принимает значение 1) при любом значении переменной х.
 

На числовой прямой даны два отрезка: P = [20; 67] и Q = [33; 98]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
(x ∈ P) → (((x ∈ Q) /\ ¬(x ∈ A)) → ¬(x ∈ P))
 
истинно (т.е. принимает значение 1) при любом значении переменной x.