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