6. (Propositional Logic) Suppose we have the knowledge base: KB0=LMN, and the query: q= LVM (where implies negation) (1) Rewrite q=(LM) by applying De Morgan's law. (4pts) (2) Say we updated the knowledge base KB0 into KBupdated=KB0q. Is the KBupdated in the Horn form? Is every clause in KBupdated definite? (4pts) (3) Prove N is true. You can use the answer from question (1). (4pts) (4) Does the knowledgebase KB0 entails the query q ? (that is, KB0=q ?) (4pts)