Week 1 - Friday. What did we talk about last time? Tautologies Contradictions Laws of Boolean algebra Implications Inverses Converses