I was out of town this day, so the class was covered by Mo Hendon. Here's his report on what he covered: I covered Math 3200 today, emphasizing "and" and "or". In particular, we worked out truth tables for many statements like: A and B not(A and B) (not A) and B (not A) and (not B) A and B and C Several of these were designed to make them think about the use of parentheses. In particular, they assumed (correctly) that "and" is associative, so that we don't need parentheses in the last of those statements. We also looked at or, distinguishing it carefully from exclusive or, and looked at truth tables for: A or B not (A or B) At this point we noticed one of deMorgan's laws, and related it to the set theoretic version of deMorgan's (they said you'd already talked about intersections, unions and complements). Finally, we asked if parentheses are necessary in a statement like A and B or C (there is, as far as I know, no universally standard order of operation for the logical operators?) We talked a bit about the intuition behind this, and decided that it's probably not true that (A and B) or C has the same truth values as A and (B or C). I left them with the exercise of writing out the truth tables and deciding for sure.