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