Question

На числовой прямой даны два отрезка: P = [13, 25] и Q = [23,
37]. Каким должен быть отрезок A, чтобы логическое выражение ( (x ∈
А) → (x ∈ P) ) / (x ∈ Q) / (x ∉ А) было бы тождественно истинным, то
есть принимало бы значение 1 при любом значении переменной х?