Slide 1 3/19/2003copyright Brian Williams1 Propositional Logic and Satisfiability Brian C. Williams 16.410-13 November 22 nd, 2004 Slide 2 3/19/2003copyright Brian Williams2…