Here is a list of the logical operators which you can copy and paste to complete the below derivation:
~, • , v, ⊃, ≡
Use the first eight rules of inference to derive the conclusion of the following symbolized argument (please show your justification for each line):
a. ~A ⊃ (B ⊃ ~C)
b. ~D ⊃ (~C ⊃ A)
c. D v ~A
d. ~D / ~B