На числовой прямой даны два отрезка: Р = [10; 95] и Q = [48; 107]. Укажите наименьшую возможную длину такого отрезка A, что логическое выражение
¬(¬(х ∈ А) /\ (х ∈ Р)) \/ (х ∈ Q)
тождественно истинно, то есть принимает значение 1 при любом значении переменной х.
Answers & Comments
¬(¬A/\P)VQ
AV¬PVQ
Выражение ¬P ∨ Q истинно на множестве (−∞, 10] ∪ [48, ∞)
Поскольку все выражение должно быть истинно для любого x, выражение A должно быть истинно на полуинтервале (10;48)= > 36 длина