На числовой прямой даны два отрезка: P = [11, 61] и Q = [31, 91]. Выберите из предложенных отрезков такой отрезок A, что логическое выражение
¬((x ∈ A) ∧ (x ∈ Q)) ∨ (x ∈P)
тождественно истинно, то есть принимает значение 1 при любом значении переменной х.
1) [10, 95]
2) [6, 40]
3) [55, 100]
4) [20, 70]
Введем обозначения:
(x ∈А) ≡ A; (x ∈ P) ≡ P; (x ∈ Q) ≡ Q.
Преобразовав, получаем:
¬(A ∧ Q) ∨ P = ¬A ∨ ¬Q ∨ P.
Логическое ИЛИ истинно, если истинно хотя бы одно утверждение. Условие ¬Q ∨ P = 1 истинно на множестве (−∞, 61) ∪ [91, ∞). Поскольку выражение ¬A ∨ ¬Q ∨ P должно быть тождественно истинным, выражение ¬A должно быть истинным на полуинтервале [61; 91). Из перечисленных отрезков только отрезок [6, 40] удовлетворяет этому условию.
Правильный ответ указан под номером 2.

