3. Let be the propositional logic knowledge base, which is expressed in conjunctive normal form (CNF) and includes the following logical propositions: ¬р₁ vр², ¬p³vp¹, p³, ¬р₂ vp4, p₁vp5 Where P1,

P2, P3, P4, P5 individual sentences. To study whether the above knowledge base logically covers proposition P5 Hint: The proof can be done by one of the following deduction methods • Application of the rule of analysis • Converting the disjunctive sentences into equivalent hypothetical sentences (inductions) applying a rule forward or backward of the chain of execution.