На числовой прямой даны два отрезка: P =
\(\(x ∉ А\) → \(x ∉ Q\)) ∨ \(x ∈ P\)
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.