← B Exercises Exercise Sheet 1: Propositional Logic