1.Explain the basic difference between the two subsets of inference rules. Derive the conclusion from the given premises for the 4 exercises below. (NB: these are extracted mainly from textbook Exercise 4-8 except the last one.) [43-2] C: ~B P1: A & (B -> C) P2: ~(C & A) [43-3] C: C P1: (A & B) V (C & D) P2: ~A [43-4] C: ~B P1: (A & B) -> C P2: A & ~C [43-5] (Hint: use Equiv to break P1, an equivalence, into a conjunction of 2 conditionals) C: ~U P1: (A & U) <-> ~R P2: ~(~R V ~A)