Для какого наименьшего целого неотрицательного числа A логическое выражение
(x + y < A) ∨ (x > 14) ∨ (y > 14)
тождественно истинно (т. е. принимает значение 1) при любых целых неотрицательных x и y?
Для какого наименьшего целого неотрицательного числа A логическое выражение
(x · y < A) ∨ (x > 12) ∨ (y > 5)
тождественно истинно (т. е. принимает значение 1) при любых целых неотрицательных x и y?
Для какого наименьшего целого неотрицательного числа A логическое выражение
(x ≥ 5) ∨ (3·x < y) ∨ (x · y < A)
тождественно истинно (т. е. принимает значение 1) при любых целых неотрицательных x и y?
Для какого наименьшего целого неотрицательного числа A логическое выражение
(x ≥ 3) ∨ (1·x < y) ∨ (x + y < A)
тождественно истинно (т. е. принимает значение 1) при любых целых неотрицательных x и y?
Для какого наименьшего целого неотрицательного числа A формула
¬((y > 11) → ((x ≤ 12) ∨ (x² ≤ A))) → ¬(x ≤ A)
тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?
Для какого наибольшего целого неотрицательного числа A формула
(((x² < A) ∨ ¬(x ≤ A)) ∨ (x < 12)) ∨ (y > 10)
тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?
