I enrolled in time for this week's class and tutorial! :D
This week we learned about conjunctions(AND), disjunctions(OR), and Negations(NOT). I think I've gotten a decent grasp on these concepts, though some negations might seem tricky to do. We've also learnt about truth tables, which I think are a neat way to keep track of expressions. The last things we learnt in lecture were a bunch of laws, starting with De Morgan's Law. Some were similar to mathematics (P ^ ( Q R) < = > (P ^ Q) (P ^ R), some seemed intuitive (P ^ P) < = > P, and some were pretty neat P (Q ^ ¬ Q) < = > P < = > P ^ (Q ¬ Q).