propositional logic study tips for math exams