Answered You can hire a professional tutor to get the answer.

# Construct derivations that establish a. {A B, C A, D B} C D b. '[A (B C)] [(A amp; B) C]' is a theorem in SD c.

2. Construct derivations that establish

a. {∼A ∨∼B, ∼C ⊃A, ∼D ⊃B} ├C ∨D

b. ‘[A ⊃(B ⊃C)] ⊃[(A & B) ⊃C]’ is a theorem in SD

c. {A ≡B, ∼(A ∨∼B} is inconsistent in SD