Go back to "Bit Operations" at end of sec 1.1 rosen discrete math
Go back to "Boolean Searches", "Logic Puzzles", "Logic Circuits" in sec 1.2 rosen discrete math (Applications of Propositional Logic)
Continue from P 33(ROSEN)
Make a crib sheet from p 76(ROSEN) (rules of inference table)