¬P ∨ P ∨ r