Logic reasoning

A quick answer would be highly appreciated, I always give thumbs up :)

Valid Forms for Sentential Logic Valid Argument 1. Modus Ponens (MP): 5. Conjunction (Conj): Forms of Inference P p 1:. q 9 / :. P . q 2. Modus Tollens (MT): 6. Hypothetical Syllogism (HS): paq pq - q /:. - P qar /:. par 3. Disjunctive Syllogism (DS): 7. Addition (Add): pv q p / :. pvq - p /:. q 8. Constructive Dilemma (CD): pvq pv q - q /:. P 4. Simplification (Simp): qs /. rvs p . q /:. p p . q 1 .. q Valid Equivalence 9. Double Negation (DN): 14. Contraposition (Contra): Forms (Rule of p : -= P (p > q) :: (- q> ~ p) Replacement) 10. DeMorgan's Theorem (DeM): 15. Implication (Impl): - (p . q) : (-pv ~ q) (p > q) :: (- pv q - (pv q) :: (- p . ~ q) 16. Exportation (Exp): 11. Commutation (Comm): [( c b) c d] :: [/ c(b . d)] (p v q) :: (qv p) 17. Tautology (Taut): (p . q) :: (q . p) p :: (p . p) 12. Assocation (Assoc): p :: (pv p) [pv (qvril :: [(pv q) vr] 18. Equivalence (Equiv): [p . (q . r)] :: [(p . q) . r] (p = q) :: [(p > q) . (q > pl] 13. Distribution (Dist): (p = q) :: [(p . q) v (- p. ~ q)l Ip . (q vril : [(p . q) v (p . r)] [pv (q . r)] :: [(pv q) . (pvril\f