Lec-21 Propositional Logic In Artificial Intelligence Knowledge Representation All Imp Points