propositional logic solved examples