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