Review (particularly of functional completeness). More boolean operators: IMPLIES, IFF, XOR, NAND, NOR.  Gates and circuits.  A formal treatment of boolean formulas: syntax, truth assignments, and recursive definitions.