Please help me

(a) () Let po.P. 90. 91. ro, n be atoms capturing the states of three cells called p. q. and r, that can each either hold a 0 or a 1: p captures the fact that cell p holds the value i, and similarly for the other atoms. Consider the following formula: (po V p) ^ (9. V 9.) (no Vn) A(-Po -P.) A(-90 V-2)^(-Van) A(PO V 9. V ro) (P. V 9) (P. Vn) (q. Vn) Using DPLL, prove whether the above formula is satisfiable or not. Detail your answer. What property of the three cells p, q, and r, is this formula capturing? [4 marks) () Given a CNF (Conjunctive Normal Form) that contains a clause composed of a single literal, can it be proved using Natural Deduction? Justify your answer. [2 marks]