propositional logic problems and solutions