From the text do: Exercise 3.3.1, p. 38.
1b, 1c, 2b - 2e
Note: Use only the truth tree rules of the 'Hintikka Strategy' introduced in the lecture (i.e. MN, <>R, []R, []T, [][]R, [][]SymR.)