Using the first four rules of inference to derive the conclusions of the following symbolized arguments.

Problem 1

1. F v (DT)
2. ~F
3. D /T

Problem 2

1. ~W[~W(XW)]
2. ~W/~X

Problem 3

1. J (K L)
2. L v J
3. ~L /~K