مسئله 1: حول o q( )q= (r p~( = إلى عبارة شرط Horn. Question 1: Convert (~p v q) = (r = q) to the Horn Clause phrase. مسئله ۲: قم بتحويل p = (q )^r إلى وجه الطبيعي ل لموصول )CNF(. Question 2: Convert p...

Extracted text: مسئله 1: حول o q( )q= (r p~( = إلى عبارة شرط Horn. Question 1: Convert (~p v q) = (r = q) to the Horn Clause phrase. مسئله ۲: قم بتحويل p = (q )^r إلى وجه الطبيعي ل لموصول )CNF(. Question 2: Convert p e ~(g ^r) to Conjunctive Normal Form (CNF). مسئله ۳: إذا كانت )~rp_v~(~ = « و = (p KB، )rvq)^(~q v أثبت من خلال طريقة التحليل )إثبات قائم على التناقض( ما إذا كان = | KB صحيح؟ Question 3: If a = ~(~p v ~r) and KB = (p vq)^(~qvr), prove by the analysis method (proof based on contradiction) whether KB | = a is correct? مسئله ۴: إذا كانت )rp~( = « و = KB، (pvq)^(q )vrأثبت من خلال طريقة التحليل )إثبات قائم على التناقض( ما إذا كان KB | = a صحيح؟ Question 4: If a = ~(~p v ~r) and KB = (p v q)^(~q vr), prove by the analysis method (proof based on contradiction) whether KB | = a is correct? KB = p (r = (q ، أثبت باستخدام طريقة التحليل )إثبات قائم على التناقض( ما Lo ^~pg a = ~q iS 1:0 lim S KB | = a s5 1s! Question 5: If a = ~q and KB = ( p (q vr) p, prove using the analysis method (proof based on contradiction) whether KB | = a is correct?