CMPS240, Spring 2013, Section 01: Lecture 16 05/28/2013

For the SAT final on JUne 11 you will need to know how to use:

Davis-Putnam, Resolution, Subtraction, Walk Thru SAT and Factoring.


You will also need to be able to prove theoerms in Propositional and Predicate Logic/


Today we illustrated how to do prrofs in Prop. Logic. and also

how to perform simple checkmates.


B+N+K versus K is a little more challenging...