Propositional Logic Examples In Ai