We discussed Boolean operations (andornot) and their use in more sophisticated Boolean functions. The notes are here: pdf and Maple. Hugo Touchette's notes from last year are here: pdf and Maple.

Lecture 2:

We covered Question 3 of the 2010 exam paper (to be uploaded shortly) and Question 3 of the 2010 mid-term test. The solutions cover Questions 1–4 are now here: pdf.

Lecture 3:

We covered 3 further logical operations: =>, XOR and Equivalent(). Notes here: pdf and Maple.