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