Slide 1Logic Stuff & FV Basics Erik Seligman CS 510, Lecture 2, January 2009 Slide 2 Goals of This Session Review basics of boolean logic, and some fundamental FV…