Need c. and d. Only

(n) = (a) commutativity of A (a) = (Va) commutativity of V (( 03) 7) = (a (31) associativity of N (ov) = lav (BV) associativity of -(a) = a double-negation elimination (a) = (-) contraposition (3) = (V8) implication elimination (o 3) = (( a 3)(a)) biconditional elimination -(a) = ( -V-) De Morgan -la v = (-/-) De Morgan (OAV)) = (8) V(A)) distributivity of over V (VA)) = ((V3) (V)) distributivity of over A For example, -A-B) can be converted to AV-B) and then ( AB), which is a two clause sentence (15 Pts). a) AVB) b) X1 V (X2 AX3) c) (AA-B) C d) (CAD) - G c) CA (D=)