• Logic (Rosen 1.1)
• What is a proposition?
• and, or, not, exclusive or
• implication, converse, contrapositive
• translation to and from English
• bit operations