 Since P is a conjunct, but also a unit clause, P must be true if the entire formula is to be true. Moreover, the value of ~P does not contribute to the truth of ~P ∨ Q ∨ R and P ∨ ~S is true regardless of S. Thus, the whole formula reduces to