(3 marks) (Convertion to CNF) Convert sentence (X AY) #-W to conjunctive normal form. 1 (a) Trace execution of getCnf() algorithm with an execution tree in the format illustrated in lectures, To sim- ply labels, show each call of getCnf(s) as gc(s), where s is the sentence to convert, and omit algorithm line numbers. Show the sentence returned by each call. (b) Show the final CNF by removing each clause that is equivalent to true. (3 marks) (Convertion to CNF) Convert sentence (X AY) #-W to conjunctive normal form. 1 (a) Trace execution of getCnf() algorithm with an execution tree in the format illustrated in lectures, To sim- ply labels, show each call of getCnf(s) as gc(s), where s is the sentence to convert, and omit algorithm line numbers. Show the sentence returned by each call. (b) Show the final CNF by removing each clause that is equivalent to true