I need help solving these Symbolic Logic problems:

#1)

1. D v ~A 2. ~(A ~B) > ~C 3. ~D /~C

#2)

1. ~(~A~B) 2.B>C 3. ~A 4. ~(C~D) /D

#3)

1. (A v B) >C 2. (C v B) > (D v F) 3. A 4. ~F / D

#4)

1. A > B 2. C > D 3. (B v D) > E 4. ~E / ~(A v C)

#5)

1. H > [~E > (C > ~D)] 2. ~D > E 3. E v H 4. ~E / ~C

#6)

1. A > B 2. ~A > C 3. ~(B v C) / D

#7)

1. ~Q > (CB) 2. ~T > B (BH) 3.~(QT) / B