Identify the logical rule used to derive QQQ from the premises P∨QP \lor QP∨Q and ¬P\neg P¬P.
Disjunctive Syllogism
Addition
Simplification
Modus Ponens