Write the following arguments in vertical form and test the validity.
1. ((p →q) ^ (rs) ^ (p Vr)) ⇒ (q V s)
2. ((ij) ^ (j→ k) ^ (l → m) ^ (i v l)) ⇒ (~ k^ ~ m)
3. [((n Vm) →p) ^ ((p Vq) → r) ^ (q\n) ^ (~ q)] ⇒ r