Use indirect truth tables to determine whether the following arguments are valid or invalid.

1. BC -C ~B 2. Ev F -E -F 3. PO (QR) ROS POS 4. ~(I= J) ~(101) 5 W> (X>Y) X (YZ) WU (XUZ) 6. A (BVC) C(DE) ~B AD E *7. GH HI ~JUG -I 10. (MvN) 0 0> (NvP) MU (-QUN) (QM)-P N = O 11. (AB) (CD) (-Av-B)E (-Cv-D)DE 12. F G ~HvI (GVI)>J ~J ~(Fv H) 13. (Av B) (CD) (Xv Y)(-C~W) (XvZ)>(AE) -X 14. G(~H~1) JUH K>(L.M) KvJ L.G 15. Nv-O PVO PJQ (NvQ)>(RS) S (ROT) () 0 8. J(-L-K) K(-LM) (LVM) N JUN 9. P(QvR) (PR) (SvT) (-Sv-T)~(PQ) S = T U