I need the answer as soon as possible

: (rq) (14) Horn. Question 1: Convert -(-pvq) = (r = q) to the Horn Clause phrase. : (*^q p (CNF) Question 2: Convert p (qr) to Conjunctive Normal Form (CNF). : (- pv) = ) (KB = (pv )1(-qw7 ( ) KB | = a Question 3: If a = ~(~p v ~r) and KB = (p v q)^(-qvr), prove by the analysis method (proof based on contradiction) whether KB= a is correct? : (- pv-) = ) (KB = (pvq) ^ (-qur ( ) KB | = a Question 4: If a=~(~p v ~r) and KB = (pv q)^(-qvr), prove by the analysis method (proof based on contradiction) whether KB I = a is correct? = KB ( - ( ) qv) p : ~ = c p- KB( = a - ( ( Question 5: If a = -q and KB = (p (qv contradiction) whether KB) = a is correct? (vr 9) -p, prove using the analysis method (proof based on