When studying for the final exam keep the following things in mind. Regarding point 2, I will tend to give you relevant definitions, so you can spend your time thinking about the problem, instead of searching through the text. As far as proofs are concerned, keep in mind that in class we focussed much more on derivations than on statement algebra, and the exam will keep this focus. I will not be asking any resolution proofs.
Old finals have a number of good problems.
Doing these problems is good practice, but be aware that the occasional problem requires material we haven't covered. They are all in postscript format. Old finals are also available from the SU exam registry. 6.1 The following are related to topics we've covered, but it would be far better to study these topics in HR, because the emphasis, and the notation is quite different.