CS 381 DISCRETE STRUCTURES Gongjun Yan Aug 25, 2008 * Introduction & Propositional Logic * Introduction & Propositional Logic CS381 Syllabus: http://www.cs.odu.edu/~ygongjun/courses/cs381fall08/instructions/syllabus/syllabus.html…