How do you solve the following problem? Please show all the steps and follow the transformation rules of system P.

e submit a ticket at http://ctit-bl-resources.cut Course Operations technical support is available Monday to Friday, 9:00 AM to 4:30 PM 8 pts miex _Jenniex _Jennie |Jennie Question 20nielx] Jenniebal Z Jenmet Jennieka F Times Jennie JennieBT Jennielar Jenniex -_Jenniex]Jennies Jennies Part V Jennies _Jennie 3 Jennie Jennie Jennie-7 Jenniell Construct a proof for the following argument using the transformation rules of system P of propositional logic. Jennie x]- Jennials jennie x If needed, you may use the following sequences of symbols to represent the logical connectives: Jenniex Jennies] 7 "~A" stands for the logical negation( Jennies Jennie x "A & B" stands for the logical conjunction Jennies Jennie x "A V B"stands for the logical disjunction Jennies Jennie x "A -> B" stands for the logical implication / material conditional Jennie x 3 "A - B" stands for the logical equivalence / material biconditional Jennies V.2 - [SCORE 8] Jennies Jennielsa -THE Jennie Jennies Jenniels- Jenniex] 1. [(A & B) - C] PremiseJennie Jennies Jennie x 3 2. A= -(Z = D) Premise Jennie |Jennie Jennieka 3 3. B = [Y= (-C= D)] Premise 4 W -ZEX Premise /: -(X=Y)